type Rep ProtocolMagicId
Instance details Defined in Cardano.Crypto.ProtocolMagic type Rep ProtocolMagicId = D1 ('MetaData "ProtocolMagicId" "Cardano.Crypto.ProtocolMagic" "cardano-crypto-wrapper-1.7.0.0-inplace" 'True) (C1 ('MetaCons "ProtocolMagicId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unProtocolMagicId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

Methods

from ∷ ProtocolMagicId → Rep ProtocolMagicId x #

to ∷ Rep ProtocolMagicId x → ProtocolMagicId #

Show ProtocolMagicId Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

showsPrec ∷ Int → ProtocolMagicId → ShowS #

show ∷ ProtocolMagicId → String #

showList ∷ [ProtocolMagicId] → ShowS #

Eq ProtocolMagicId Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

(==) ∷ ProtocolMagicId → ProtocolMagicId → Bool #

(/=) ∷ ProtocolMagicId → ProtocolMagicId → Bool #

NoThunks ProtocolMagicId Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

noThunks ∷ Context → ProtocolMagicId → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ProtocolMagicId → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ProtocolMagicId → String Source #

MonadError SchemaError m ⇒ FromJSON m ProtocolMagicId Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

fromJSON ∷ JSValue → m ProtocolMagicId Source #

Monad m ⇒ ToJSON m ProtocolMagicId Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

toJSON ∷ ProtocolMagicId → m JSValue Source #

type Rep ProtocolMagicId Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

type Rep ProtocolMagicId = D1 ('MetaData "ProtocolMagicId" "Cardano.Crypto.ProtocolMagic" "cardano-crypto-wrapper-1.7.0.0-inplace" 'True) (C1 ('MetaCons "ProtocolMagicId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unProtocolMagicId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

type ProtocolMagic = AProtocolMagic () Source #

data AProtocolMagic a Source #

Magic number which should differ for different clusters. It's defined here, because it's used for signing. It also used for other things (e. g. it's part of a serialized block).

mhueschen: As part of CO-353 I am adding getRequiresNetworkMagic in order to pipe configuration to functions which must generate & verify Addresses (which now must be aware of NetworkMagic).

Constructors

AProtocolMagic
Fields getAProtocolMagicId ∷ !(Annotated ProtocolMagicId a) getRequiresNetworkMagic ∷ !RequiresNetworkMagic

Instances

Instances details

FromJSON ProtocolMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

parseJSON ∷ Value → Parser ProtocolMagic Source #

parseJSONList ∷ Value → Parser [ProtocolMagic] Source #

omittedField ∷ Maybe ProtocolMagic Source #

ToJSON ProtocolMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

toJSON ∷ ProtocolMagic → Value Source #

toEncoding ∷ ProtocolMagic → Encoding Source #

toJSONList ∷ [ProtocolMagic] → Value Source #

toEncodingList ∷ [ProtocolMagic] → Encoding Source #

omitField ∷ ProtocolMagic → Bool Source #

NFData a ⇒ NFData (AProtocolMagic a) Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

rnf ∷ AProtocolMagic a → () #

Generic (AProtocolMagic a) Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Associated Types

type Rep (AProtocolMagic a)

Instance details

Defined in Cardano.Crypto.ProtocolMagic

type Rep (AProtocolMagic a) = D1 ('MetaData "AProtocolMagic" "Cardano.Crypto.ProtocolMagic" "cardano-crypto-wrapper-1.7.0.0-inplace" 'False) (C1 ('MetaCons "AProtocolMagic" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAProtocolMagicId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated ProtocolMagicId a)) :*: S1 ('MetaSel ('Just "getRequiresNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RequiresNetworkMagic)))

Methods

from ∷ AProtocolMagic a → Rep (AProtocolMagic a) x #

to ∷ Rep (AProtocolMagic a) x → AProtocolMagic a #

Show a ⇒ Show (AProtocolMagic a) Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

showsPrec ∷ Int → AProtocolMagic a → ShowS #

show ∷ AProtocolMagic a → String #

showList ∷ [AProtocolMagic a] → ShowS #

Eq a ⇒ Eq (AProtocolMagic a) Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

(==) ∷ AProtocolMagic a → AProtocolMagic a → Bool #

(/=) ∷ AProtocolMagic a → AProtocolMagic a → Bool #

NoThunks a ⇒ NoThunks (AProtocolMagic a) Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

noThunks ∷ Context → AProtocolMagic a → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AProtocolMagic a → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AProtocolMagic a) → String Source #

type Rep (AProtocolMagic a) Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

type Rep (AProtocolMagic a) = D1 ('MetaData "AProtocolMagic" "Cardano.Crypto.ProtocolMagic" "cardano-crypto-wrapper-1.7.0.0-inplace" 'False) (C1 ('MetaCons "AProtocolMagic" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAProtocolMagicId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated ProtocolMagicId a)) :*: S1 ('MetaSel ('Just "getRequiresNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RequiresNetworkMagic)))

data RequiresNetworkMagic Source #

Bool-isomorphic flag indicating whether we're on testnet or mainnet/staging.

Constructors

RequiresNoMagic
RequiresMagic

Instances

Instances details

FromJSON RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

parseJSON ∷ Value → Parser RequiresNetworkMagic Source #

parseJSONList ∷ Value → Parser [RequiresNetworkMagic] Source #

omittedField ∷ Maybe RequiresNetworkMagic Source #

ToJSON RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

toJSON ∷ RequiresNetworkMagic → Value Source #

toEncoding ∷ RequiresNetworkMagic → Encoding Source #

toJSONList ∷ [RequiresNetworkMagic] → Value Source #

toEncodingList ∷ [RequiresNetworkMagic] → Encoding Source #

omitField ∷ RequiresNetworkMagic → Bool Source #

FromCBOR RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

fromCBOR ∷ Decoder s RequiresNetworkMagic Source #

label ∷ Proxy RequiresNetworkMagic → Text Source #

ToCBOR RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

toCBOR ∷ RequiresNetworkMagic → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy RequiresNetworkMagic → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [RequiresNetworkMagic] → Size Source #

DecCBOR RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

decCBOR ∷ Decoder s RequiresNetworkMagic Source #

dropCBOR ∷ Proxy RequiresNetworkMagic → Decoder s () Source #

label ∷ Proxy RequiresNetworkMagic → Text Source #

EncCBOR RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

encCBOR ∷ RequiresNetworkMagic → Encoding Source #

NFData RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

rnf ∷ RequiresNetworkMagic → () #

Generic RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Associated Types

type Rep RequiresNetworkMagic
Instance details Defined in Cardano.Crypto.ProtocolMagic type Rep RequiresNetworkMagic = D1 ('MetaData "RequiresNetworkMagic" "Cardano.Crypto.ProtocolMagic" "cardano-crypto-wrapper-1.7.0.0-inplace" 'False) (C1 ('MetaCons "RequiresNoMagic" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RequiresMagic" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ RequiresNetworkMagic → Rep RequiresNetworkMagic x #

to ∷ Rep RequiresNetworkMagic x → RequiresNetworkMagic #

Show RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

showsPrec ∷ Int → RequiresNetworkMagic → ShowS #

show ∷ RequiresNetworkMagic → String #

showList ∷ [RequiresNetworkMagic] → ShowS #

Eq RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

(==) ∷ RequiresNetworkMagic → RequiresNetworkMagic → Bool #

(/=) ∷ RequiresNetworkMagic → RequiresNetworkMagic → Bool #

NoThunks RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

noThunks ∷ Context → RequiresNetworkMagic → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → RequiresNetworkMagic → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy RequiresNetworkMagic → String Source #

MonadError SchemaError m ⇒ FromJSON m RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

fromJSON ∷ JSValue → m RequiresNetworkMagic Source #

Monad m ⇒ ToJSON m RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

toJSON ∷ RequiresNetworkMagic → m JSValue Source #

type Rep RequiresNetworkMagic Source #

Instance details

Defined in Cardano.Crypto.ProtocolMagic

type Rep RequiresNetworkMagic = D1 ('MetaData "RequiresNetworkMagic" "Cardano.Crypto.ProtocolMagic" "cardano-crypto-wrapper-1.7.0.0-inplace" 'False) (C1 ('MetaCons "RequiresNoMagic" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RequiresMagic" 'PrefixI 'False) (U1 ∷ Type → Type))

getProtocolMagic ∷ AProtocolMagic a → Word32 Source #

getProtocolMagicId ∷ AProtocolMagic a → ProtocolMagicId Source #