Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Ledger.Tables.MapKind
- 6 types
- 6 classes
- 1 value
- Packageouroboros-consensus-4.2.1.0
- Exports13
- LicenceApache-2.0
Instances5CanMapKeysMK
CanMapKeysMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapKeysMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapKeysMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapKeysMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapKeysMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Methods
mapMK :: (v -> v') -> mk k v -> mk k v'
Instances5CanMapMK
CanMapMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Constructors
CodecMKencodeKey :: !k -> EncodingencodeValue :: !v -> EncodingdecodeKey :: !forall s. Decoder s kdecodeValue :: !forall s. Decoder s v
Instances12EqMK, NoThunksMK, ShowMK, CanMapMK, CanMapKeysMK, ZeroableMK, …
EqMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindNoThunksMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindShowMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapKeysMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindZeroableMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindFunctor (DiffMK k)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind(Eq k, Eq v) => Eq (DiffMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind(Show k, Show v) => Show (DiffMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindGeneric (DiffMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind(NoThunks k, NoThunks v) => NoThunks (DiffMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindtype Rep (DiffMK k v) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind"DiffMK"
"Ouroboros.Consensus.Ledger.Tables.MapKind"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons"DiffMK"
'PrefixI 'True) (S1 ('MetaSel ('Just"getDiffMK"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Diff k v))))
Instances13EqMK, NoThunksMK, ShowMK, CanMapMK, CanMapKeysMK, ZeroableMK, …
EqMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindNoThunksMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindShowMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapKeysMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindZeroableMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindSerialiseHFC xs => EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphanSerialiseHFC xs => DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphanEq (EmptyMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindShow (EmptyMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindGeneric (EmptyMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindNoThunks (EmptyMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindtype Rep (EmptyMK k v) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind"EmptyMK"
"Ouroboros.Consensus.Ledger.Tables.MapKind"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"EmptyMK"
'PrefixI 'False) U1)
Instances5EqMK
EqMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindEqMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindEqMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindEqMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindEqMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Instances13EqMK, NoThunksMK, ShowMK, CanMapMK, CanMapKeysMK, ZeroableMK, …
EqMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindNoThunksMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindShowMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapKeysMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindZeroableMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindEq k => Eq (KeysMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindShow k => Show (KeysMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindGeneric (KeysMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindOrd k => Semigroup (KeysMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindOrd k => Monoid (KeysMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindNoThunks k => NoThunks (KeysMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindtype Rep (KeysMK k v) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind"KeysMK"
"Ouroboros.Consensus.Ledger.Tables.MapKind"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons"KeysMK"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set k))))
class
class (forall k v. (NoThunks k, NoThunks v) => NoThunks (mk k v)) => NoThunksMK (mk :: MapKind)Instances5NoThunksMK
NoThunksMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindNoThunksMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindNoThunksMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindNoThunksMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindNoThunksMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Instances5ShowMK
ShowMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindShowMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindShowMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindShowMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindShowMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind
Constructors
TrackingMK !(Map k v) !(Diff k v)
Instances11EqMK, NoThunksMK, ShowMK, CanMapMK, CanMapKeysMK, ZeroableMK, …
EqMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindNoThunksMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindShowMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapKeysMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindZeroableMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind(Eq k, Eq v) => Eq (TrackingMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind(Show k, Show v) => Show (TrackingMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindGeneric (TrackingMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind(NoThunks k, NoThunks v) => NoThunks (TrackingMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindtype Rep (TrackingMK k v) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind"TrackingMK"
"Ouroboros.Consensus.Ledger.Tables.MapKind"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"TrackingMK"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map k v)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Diff k v))))
Constructors
ValuesMKgetValuesMK :: Map k v
Instances11EqMK, NoThunksMK, ShowMK, CanMapMK, CanMapKeysMK, ZeroableMK, …
EqMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindNoThunksMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindShowMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindCanMapKeysMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindZeroableMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind(Eq k, Eq v) => Eq (ValuesMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind(Show k, Show v) => Show (ValuesMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindGeneric (ValuesMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind(NoThunks k, NoThunks v) => NoThunks (ValuesMK k v)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindtype Rep (ValuesMK k v) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind"ValuesMK"
"Ouroboros.Consensus.Ledger.Tables.MapKind"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons"ValuesMK"
'PrefixI 'True) (S1 ('MetaSel ('Just"getValuesMK"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map k v))))
Instances5ZeroableMK
ZeroableMK DiffMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindZeroableMK EmptyMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindZeroableMK KeysMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindZeroableMK TrackingMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKindZeroableMK ValuesMKDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.MapKind