Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Delegation.Map

Contents

Query
Update
Conversion/traversal

Synopsis

newtype Map = Map {
- unMap ∷ Bimap KeyHash KeyHash
}
memberR ∷ KeyHash → Map → Bool
notMemberR ∷ KeyHash → Map → Bool
pairMember ∷ (KeyHash, KeyHash) → Map → Bool
lookupR ∷ KeyHash → Map → Maybe KeyHash
insert ∷ KeyHash → KeyHash → Map → Map
fromList ∷ [(KeyHash, KeyHash)] → Map
keysSet ∷ Map → Set KeyHash

Documentation

newtype Map Source #

Constructors

Map
Fields unMap ∷ Bimap KeyHash KeyHash

Instances

Instances details

Generic Map Source #
Instance details Defined in Cardano.Chain.Delegation.Map Associated Types type Rep Map ∷ Type → Type Source # Methods from ∷ Map → Rep Map x Source # to ∷ Rep Map x → Map Source #
Show Map Source #
Instance details Defined in Cardano.Chain.Delegation.Map Methods showsPrec ∷ Int → Map → ShowS Source # show ∷ Map → String Source # showList ∷ [Map] → ShowS Source #
FromCBOR Map Source #
Instance details Defined in Cardano.Chain.Delegation.Map Methods fromCBOR ∷ Decoder s Map Source # label ∷ Proxy Map → Text Source #
ToCBOR Map Source #
Instance details Defined in Cardano.Chain.Delegation.Map Methods toCBOR ∷ Map → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Map → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Map] → Size Source #
DecCBOR Map Source #
Instance details Defined in Cardano.Chain.Delegation.Map Methods decCBOR ∷ Decoder s Map Source # dropCBOR ∷ Proxy Map → Decoder s () Source # label ∷ Proxy Map → Text Source #
EncCBOR Map Source #
Instance details Defined in Cardano.Chain.Delegation.Map Methods encCBOR ∷ Map → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Map → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Map] → Size Source #
NFData Map Source #
Instance details Defined in Cardano.Chain.Delegation.Map Methods rnf ∷ Map → () Source #
Eq Map Source #
Instance details Defined in Cardano.Chain.Delegation.Map Methods (==) ∷ Map → Map → Bool Source # (/=) ∷ Map → Map → Bool Source #
NoThunks Map Source #	A `Bimap` contains two regular `Map`s, which are spine strict; we therefore have to worry about the elements only
Instance details Defined in Cardano.Chain.Delegation.Map Methods noThunks ∷ Context → Map → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Map → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Map → String Source #
type Rep Map Source #
Instance details Defined in Cardano.Chain.Delegation.Map type Rep Map = D1 ('MetaData "Map" "Cardano.Chain.Delegation.Map" "cardano-ledger-byron-1.0.1.0-inplace" 'True) (C1 ('MetaCons "Map" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bimap KeyHash KeyHash))))

Query

memberR ∷ KeyHash → Map → Bool Source #

notMemberR ∷ KeyHash → Map → Bool Source #

pairMember ∷ (KeyHash, KeyHash) → Map → Bool Source #

lookupR ∷ KeyHash → Map → Maybe KeyHash Source #

Update

insert ∷ KeyHash → KeyHash → Map → Map Source #

Conversion/traversal

fromList ∷ [(KeyHash, KeyHash)] → Map Source #

keysSet ∷ Map → Set KeyHash Source #