cardano-crypto-wrapper-1.3.0: Cryptographic primitives used in the Cardano project
Safe Haskell None
Language Haskell2010

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 Source #

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

Show ProtocolMagicId Source #
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

showsPrec :: Int -> ProtocolMagicId -> ShowS Source #

show :: ProtocolMagicId -> String Source #

showList :: [ ProtocolMagicId ] -> ShowS Source #

Generic ProtocolMagicId Source #
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Associated Types

type Rep ProtocolMagicId :: Type -> Type Source #

Methods

from :: ProtocolMagicId -> Rep ProtocolMagicId x Source #

to :: Rep ProtocolMagicId x -> ProtocolMagicId Source #

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 -> () Source #

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-IHV099LYIDeGXjcjOEcwKY" ' 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 Source #

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

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

Defined in Cardano.Crypto.ProtocolMagic

Methods

showsPrec :: Int -> AProtocolMagic a -> ShowS Source #

show :: AProtocolMagic a -> String Source #

showList :: [ AProtocolMagic a] -> ShowS Source #

Generic ( AProtocolMagic a) Source #
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Associated Types

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

Methods

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

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

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

Defined in Cardano.Crypto.ProtocolMagic

Methods

rnf :: AProtocolMagic a -> () Source #

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-IHV099LYIDeGXjcjOEcwKY" ' 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 Source #

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

Show RequiresNetworkMagic Source #
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

showsPrec :: Int -> RequiresNetworkMagic -> ShowS Source #

show :: RequiresNetworkMagic -> String Source #

showList :: [ RequiresNetworkMagic ] -> ShowS Source #

Generic RequiresNetworkMagic Source #
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Associated Types

type Rep RequiresNetworkMagic :: Type -> Type Source #

Methods

from :: RequiresNetworkMagic -> Rep RequiresNetworkMagic x Source #

to :: Rep RequiresNetworkMagic x -> 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 #

FromJSON RequiresNetworkMagic Source #
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

parseJSON :: Value -> Parser RequiresNetworkMagic Source #

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

ToCBOR RequiresNetworkMagic Source #
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

toCBOR :: RequiresNetworkMagic -> Encoding Source #

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

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

FromCBOR RequiresNetworkMagic Source #
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

fromCBOR :: Decoder s RequiresNetworkMagic Source #

label :: Proxy RequiresNetworkMagic -> Text Source #

NFData RequiresNetworkMagic Source #
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Methods

rnf :: RequiresNetworkMagic -> () Source #

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-IHV099LYIDeGXjcjOEcwKY" ' 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 #