cardano-crypto-wrapper-1.3.0: Cryptographic primitives used in the Cardano project
Safe HaskellNone
LanguageHaskell2010

Cardano.Crypto.ProtocolMagic

Synopsis

Documentation

newtype ProtocolMagicId Source #

Constructors

ProtocolMagicId 

Fields

Instances

Instances details
Eq ProtocolMagicId Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

(==) :: ProtocolMagicId -> ProtocolMagicId -> Bool #

(/=) :: ProtocolMagicId -> ProtocolMagicId -> Bool #

Show ProtocolMagicId Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

showsPrec :: Int -> ProtocolMagicId -> ShowS #

show :: ProtocolMagicId -> String #

showList :: [ProtocolMagicId] -> ShowS #

Generic ProtocolMagicId Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Associated Types

type Rep ProtocolMagicId :: Type -> Type #

Methods

from :: ProtocolMagicId -> Rep ProtocolMagicId x #

to :: Rep ProtocolMagicId x -> ProtocolMagicId #

ToJSON ProtocolMagicId Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

toJSON :: ProtocolMagicId -> Value Source #

toEncoding :: ProtocolMagicId -> Encoding Source #

toJSONList :: [ProtocolMagicId] -> Value Source #

toEncodingList :: [ProtocolMagicId] -> Encoding Source #

FromJSON ProtocolMagicId Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

parseJSON :: Value -> Parser ProtocolMagicId Source #

parseJSONList :: Value -> Parser [ProtocolMagicId] Source #

ToCBOR ProtocolMagicId Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

toCBOR :: ProtocolMagicId -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ProtocolMagicId -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ProtocolMagicId] -> Size Source #

FromCBOR ProtocolMagicId Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

fromCBOR :: Decoder s ProtocolMagicId Source #

label :: Proxy ProtocolMagicId -> Text Source #

NFData ProtocolMagicId Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

rnf :: ProtocolMagicId -> () #

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 #

Monad m => ToJSON m ProtocolMagicId Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

toJSON :: ProtocolMagicId -> m JSValue Source #

MonadError SchemaError m => FromJSON m ProtocolMagicId Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

fromJSON :: JSValue -> m ProtocolMagicId 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.3.0-6xpOK9u3M8m70P8UdE8hNf" '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

Instances

Instances details
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 #

FromJSON ProtocolMagic Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

parseJSON :: Value -> Parser ProtocolMagic Source #

parseJSONList :: Value -> Parser [ProtocolMagic] Source #

Eq a => Eq (AProtocolMagic a) Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

(==) :: AProtocolMagic a -> AProtocolMagic a -> Bool #

(/=) :: AProtocolMagic a -> AProtocolMagic a -> Bool #

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 #

Generic (AProtocolMagic a) Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Associated Types

type Rep (AProtocolMagic a) :: Type -> Type #

Methods

from :: AProtocolMagic a -> Rep (AProtocolMagic a) x #

to :: Rep (AProtocolMagic a) x -> AProtocolMagic a #

NFData a => NFData (AProtocolMagic a) Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

rnf :: AProtocolMagic a -> () #

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.3.0-6xpOK9u3M8m70P8UdE8hNf" '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
Eq RequiresNetworkMagic Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

(==) :: RequiresNetworkMagic -> RequiresNetworkMagic -> Bool #

(/=) :: RequiresNetworkMagic -> RequiresNetworkMagic -> Bool #

Show RequiresNetworkMagic Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

showsPrec :: Int -> RequiresNetworkMagic -> ShowS #

show :: RequiresNetworkMagic -> String #

showList :: [RequiresNetworkMagic] -> ShowS #

Generic RequiresNetworkMagic Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Associated Types

type Rep RequiresNetworkMagic :: Type -> Type #

Methods

from :: RequiresNetworkMagic -> Rep RequiresNetworkMagic x #

to :: Rep RequiresNetworkMagic x -> RequiresNetworkMagic #

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 #

FromJSON RequiresNetworkMagic Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

parseJSON :: Value -> Parser RequiresNetworkMagic Source #

parseJSONList :: Value -> Parser [RequiresNetworkMagic] Source #

NFData RequiresNetworkMagic Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

rnf :: RequiresNetworkMagic -> () #

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 #

Monad m => ToJSON m RequiresNetworkMagic Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

toJSON :: RequiresNetworkMagic -> m JSValue Source #

MonadError SchemaError m => FromJSON m RequiresNetworkMagic Source # 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

fromJSON :: JSValue -> m RequiresNetworkMagic 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.3.0-6xpOK9u3M8m70P8UdE8hNf" '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 #