shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.API.Types

Synopsis

Documentation

newtype Coin Source #

The amount of value held by a transaction output.

Constructors

Coin 

Fields

Instances

Instances details
Enum Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

succCoinCoin #

predCoinCoin #

toEnumIntCoin #

fromEnumCoinInt #

enumFromCoin → [Coin] #

enumFromThenCoinCoin → [Coin] #

enumFromToCoinCoin → [Coin] #

enumFromThenToCoinCoinCoin → [Coin] #

Eq Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

(==)CoinCoinBool #

(/=)CoinCoinBool #

Ord Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

compareCoinCoinOrdering #

(<)CoinCoinBool #

(<=)CoinCoinBool #

(>)CoinCoinBool #

(>=)CoinCoinBool #

maxCoinCoinCoin #

minCoinCoinCoin #

Show Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

showsPrecIntCoinShowS #

showCoinString #

showList ∷ [Coin] → ShowS #

Generic Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Associated Types

type Rep CoinTypeType #

Methods

fromCoinRep Coin x #

toRep Coin x → Coin #

Semigroup Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

(<>)CoinCoinCoin #

sconcatNonEmpty CoinCoin #

stimesIntegral b ⇒ b → CoinCoin #

Monoid Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

memptyCoin #

mappendCoinCoinCoin #

mconcat ∷ [Coin] → Coin #

NFData Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

rnfCoin → () #

ToCBOR Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

toCBORCoinEncoding Source #

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

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

FromCBOR Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Compactible Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Associated Types

data CompactForm Coin Source #

NoThunks Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

noThunks ∷ Context → CoinIO (Maybe ThunkInfo)

wNoThunks ∷ Context → CoinIO (Maybe ThunkInfo)

showTypeOfProxy CoinString

FromJSON Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

parseJSON ∷ Value → Parser Coin

parseJSONList ∷ Value → Parser [Coin]

ToJSON Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

toJSONCoin → Value

toEncodingCoin → Encoding

toJSONList ∷ [Coin] → Value

toEncodingList ∷ [Coin] → Encoding

Torsor Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Associated Types

type Delta Coin Source #

Abelian Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Group Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

invertCoinCoin

(~~)CoinCoinCoin

powIntegral x ⇒ Coin → x → Coin

PartialOrd Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

(<=)CoinCoinBool

(>=)CoinCoinBool

(==)CoinCoinBool

(/=)CoinCoinBool

(<)CoinCoinBool

(>)CoinCoinBool

compareCoinCoinMaybe Ordering

Val Coin Source # 
Instance details

Defined in Cardano.Ledger.Val

Methods

zeroCoin Source #

(<+>)CoinCoinCoin Source #

(<×>)Integral i ⇒ i → CoinCoin Source #

(<->)CoinCoinCoin Source #

isZeroCoinBool Source #

coinCoinCoin Source #

injectCoinCoin Source #

modifyCoin ∷ (CoinCoin) → CoinCoin Source #

sizeCoinInteger Source #

pointwise ∷ (IntegerIntegerBool) → CoinCoinBool Source #

HasField "txfee" (TxBody era) Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → Coin #

ToCBOR (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

Methods

toCBORCompactForm CoinEncoding Source #

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

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

FromCBOR (CompactForm Coin) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Rep Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Rep Coin = D1 ('MetaData "Coin" "Shelley.Spec.Ledger.Coin" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
newtype CompactForm Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Delta Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.Coin

type Hash c = Hash (HASH c) Source #

newtype GenDelegs crypto Source #

Constructors

GenDelegs 

Fields

Instances

Instances details
Eq (GenDelegs crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

(==)GenDelegs crypto → GenDelegs crypto → Bool #

(/=)GenDelegs crypto → GenDelegs crypto → Bool #

Show (GenDelegs crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

showsPrecIntGenDelegs crypto → ShowS #

showGenDelegs crypto → String #

showList ∷ [GenDelegs crypto] → ShowS #

Generic (GenDelegs crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Associated Types

type Rep (GenDelegs crypto) ∷ TypeType #

Methods

fromGenDelegs crypto → Rep (GenDelegs crypto) x #

toRep (GenDelegs crypto) x → GenDelegs crypto #

NFData (GenDelegs crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

rnfGenDelegs crypto → () #

Crypto crypto ⇒ ToCBOR (GenDelegs crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

toCBORGenDelegs crypto → Encoding Source #

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

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

Crypto crypto ⇒ FromCBOR (GenDelegs crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

fromCBORDecoder s (GenDelegs crypto) Source #

labelProxy (GenDelegs crypto) → Text Source #

NoThunks (GenDelegs crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

noThunks ∷ Context → GenDelegs crypto → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → GenDelegs crypto → IO (Maybe ThunkInfo)

showTypeOfProxy (GenDelegs crypto) → String

type Rep (GenDelegs crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

type Rep (GenDelegs crypto) = D1 ('MetaData "GenDelegs" "Shelley.Spec.Ledger.Keys" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "GenDelegs" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGenDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'Genesis crypto) (GenDelegPair crypto)))))

data GenDelegPair crypto Source #

Constructors

GenDelegPair 

Fields

Instances

Instances details
Eq (GenDelegPair crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

(==)GenDelegPair crypto → GenDelegPair crypto → Bool #

(/=)GenDelegPair crypto → GenDelegPair crypto → Bool #

Ord (GenDelegPair crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

compareGenDelegPair crypto → GenDelegPair crypto → Ordering #

(<)GenDelegPair crypto → GenDelegPair crypto → Bool #

(<=)GenDelegPair crypto → GenDelegPair crypto → Bool #

(>)GenDelegPair crypto → GenDelegPair crypto → Bool #

(>=)GenDelegPair crypto → GenDelegPair crypto → Bool #

maxGenDelegPair crypto → GenDelegPair crypto → GenDelegPair crypto #

minGenDelegPair crypto → GenDelegPair crypto → GenDelegPair crypto #

Show (GenDelegPair crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

showsPrecIntGenDelegPair crypto → ShowS #

showGenDelegPair crypto → String #

showList ∷ [GenDelegPair crypto] → ShowS #

Generic (GenDelegPair crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Associated Types

type Rep (GenDelegPair crypto) ∷ TypeType #

Methods

fromGenDelegPair crypto → Rep (GenDelegPair crypto) x #

toRep (GenDelegPair crypto) x → GenDelegPair crypto #

NFData (GenDelegPair crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

rnfGenDelegPair crypto → () #

Crypto crypto ⇒ ToCBOR (GenDelegPair crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

toCBORGenDelegPair crypto → Encoding Source #

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

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

Crypto crypto ⇒ FromCBOR (GenDelegPair crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

fromCBORDecoder s (GenDelegPair crypto) Source #

labelProxy (GenDelegPair crypto) → Text Source #

NoThunks (GenDelegPair crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

noThunks ∷ Context → GenDelegPair crypto → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → GenDelegPair crypto → IO (Maybe ThunkInfo)

showTypeOfProxy (GenDelegPair crypto) → String

Crypto crypto ⇒ FromJSON (GenDelegPair crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

parseJSON ∷ Value → Parser (GenDelegPair crypto)

parseJSONList ∷ Value → Parser [GenDelegPair crypto]

Crypto crypto ⇒ ToJSON (GenDelegPair crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

toJSONGenDelegPair crypto → Value

toEncodingGenDelegPair crypto → Encoding

toJSONList ∷ [GenDelegPair crypto] → Value

toEncodingList ∷ [GenDelegPair crypto] → Encoding

type Rep (GenDelegPair crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

type Rep (GenDelegPair crypto) = D1 ('MetaData "GenDelegPair" "Shelley.Spec.Ledger.Keys" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "GenDelegPair" 'PrefixI 'True) (S1 ('MetaSel ('Just "genDelegKeyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate crypto)) :*: S1 ('MetaSel ('Just "genDelegVrfHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash crypto (VerKeyVRF crypto)))))

newtype KeyHash (discriminator ∷ KeyRole) crypto Source #

Discriminated hash of public Key

Constructors

KeyHash (Hash (ADDRHASH crypto) (VerKeyDSIGN (DSIGN crypto))) 

Instances

Instances details
HasKeyRole KeyHash Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

coerceKeyRole ∷ ∀ (r ∷ KeyRole) crypto (r' ∷ KeyRole). KeyHash r crypto → KeyHash r' crypto Source #

Embed (PoolDistr crypto) (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

toBasePoolDistr crypto → Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto) Source #

fromBaseMap (KeyHash 'StakePool crypto) (IndividualPoolStake crypto) → PoolDistr crypto Source #

HasExp (PoolDistr crypto) (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

toExpPoolDistr crypto → Exp (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source #

Eq (KeyHash discriminator crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

(==)KeyHash discriminator crypto → KeyHash discriminator crypto → Bool #

(/=)KeyHash discriminator crypto → KeyHash discriminator crypto → Bool #

Ord (KeyHash discriminator crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

compareKeyHash discriminator crypto → KeyHash discriminator crypto → Ordering #

(<)KeyHash discriminator crypto → KeyHash discriminator crypto → Bool #

(<=)KeyHash discriminator crypto → KeyHash discriminator crypto → Bool #

(>)KeyHash discriminator crypto → KeyHash discriminator crypto → Bool #

(>=)KeyHash discriminator crypto → KeyHash discriminator crypto → Bool #

maxKeyHash discriminator crypto → KeyHash discriminator crypto → KeyHash discriminator crypto #

minKeyHash discriminator crypto → KeyHash discriminator crypto → KeyHash discriminator crypto #

Show (KeyHash discriminator crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

showsPrecIntKeyHash discriminator crypto → ShowS #

showKeyHash discriminator crypto → String #

showList ∷ [KeyHash discriminator crypto] → ShowS #

Generic (KeyHash discriminator crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Associated Types

type Rep (KeyHash discriminator crypto) ∷ TypeType #

Methods

fromKeyHash discriminator crypto → Rep (KeyHash discriminator crypto) x #

toRep (KeyHash discriminator crypto) x → KeyHash discriminator crypto #

NFData (KeyHash discriminator crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

rnfKeyHash discriminator crypto → () #

(Crypto crypto, Typeable disc) ⇒ ToCBOR (KeyHash disc crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

toCBORKeyHash disc crypto → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (KeyHash disc crypto) → Size Source #

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

(Crypto crypto, Typeable disc) ⇒ FromCBOR (KeyHash disc crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

fromCBORDecoder s (KeyHash disc crypto) Source #

labelProxy (KeyHash disc crypto) → Text Source #

NoThunks (KeyHash discriminator crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

noThunks ∷ Context → KeyHash discriminator crypto → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → KeyHash discriminator crypto → IO (Maybe ThunkInfo)

showTypeOfProxy (KeyHash discriminator crypto) → String

Crypto crypto ⇒ FromJSON (KeyHash disc crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

parseJSON ∷ Value → Parser (KeyHash disc crypto)

parseJSONList ∷ Value → Parser [KeyHash disc crypto]

ToJSON (KeyHash disc crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

toJSONKeyHash disc crypto → Value

toEncodingKeyHash disc crypto → Encoding

toJSONList ∷ [KeyHash disc crypto] → Value

toEncodingList ∷ [KeyHash disc crypto] → Encoding

Crypto crypto ⇒ FromJSONKey (KeyHash disc crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

fromJSONKey ∷ FromJSONKeyFunction (KeyHash disc crypto)

fromJSONKeyList ∷ FromJSONKeyFunction [KeyHash disc crypto]

ToJSONKey (KeyHash disc crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

toJSONKey ∷ ToJSONKeyFunction (KeyHash disc crypto)

toJSONKeyList ∷ ToJSONKeyFunction [KeyHash disc crypto]

type Rep (KeyHash discriminator crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

type Rep (KeyHash discriminator crypto) = Rep (Hash (ADDRHASH crypto) (VerKeyDSIGN (DSIGN crypto)))

data KeyPair (kd ∷ KeyRole) crypto Source #

Pair of signing key and verification key, with a usage role.

Constructors

KeyPair 

Fields

Instances

Instances details
HasKeyRole KeyPair Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

coerceKeyRole ∷ ∀ (r ∷ KeyRole) crypto (r' ∷ KeyRole). KeyPair r crypto → KeyPair r' crypto Source #

Crypto crypto ⇒ Show (KeyPair kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

showsPrecIntKeyPair kd crypto → ShowS #

showKeyPair kd crypto → String #

showList ∷ [KeyPair kd crypto] → ShowS #

Generic (KeyPair kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Associated Types

type Rep (KeyPair kd crypto) ∷ TypeType #

Methods

fromKeyPair kd crypto → Rep (KeyPair kd crypto) x #

toRep (KeyPair kd crypto) x → KeyPair kd crypto #

(Crypto crypto, NFData (VerKeyDSIGN (DSIGN crypto)), NFData (SignKeyDSIGN (DSIGN crypto))) ⇒ NFData (KeyPair kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

rnfKeyPair kd crypto → () #

Crypto crypto ⇒ NoThunks (KeyPair kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

noThunks ∷ Context → KeyPair kd crypto → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → KeyPair kd crypto → IO (Maybe ThunkInfo)

showTypeOfProxy (KeyPair kd crypto) → String

type Rep (KeyPair kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

type Rep (KeyPair kd crypto) = D1 ('MetaData "KeyPair" "Shelley.Spec.Ledger.Keys" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "KeyPair" 'PrefixI 'True) (S1 ('MetaSel ('Just "vKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey kd crypto)) :*: S1 ('MetaSel ('Just "sKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyDSIGN (DSIGN crypto)))))

newtype VKey (kd ∷ KeyRole) crypto Source #

Discriminated verification key

We wrap the basic VerKeyDSIGN in order to add the key role.

Constructors

VKey 

Fields

Instances

Instances details
HasKeyRole VKey Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

coerceKeyRole ∷ ∀ (r ∷ KeyRole) crypto (r' ∷ KeyRole). VKey r crypto → VKey r' crypto Source #

Crypto crypto ⇒ Eq (VKey kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

(==)VKey kd crypto → VKey kd crypto → Bool #

(/=)VKey kd crypto → VKey kd crypto → Bool #

Crypto crypto ⇒ Show (VKey kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

showsPrecIntVKey kd crypto → ShowS #

showVKey kd crypto → String #

showList ∷ [VKey kd crypto] → ShowS #

Generic (VKey kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Associated Types

type Rep (VKey kd crypto) ∷ TypeType #

Methods

fromVKey kd crypto → Rep (VKey kd crypto) x #

toRep (VKey kd crypto) x → VKey kd crypto #

(Crypto crypto, NFData (VerKeyDSIGN (DSIGN crypto))) ⇒ NFData (VKey kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

rnfVKey kd crypto → () #

(Crypto crypto, Typeable kd) ⇒ ToCBOR (VKey kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

toCBORVKey kd crypto → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VKey kd crypto) → Size Source #

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

(Crypto crypto, Typeable kd) ⇒ FromCBOR (VKey kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

fromCBORDecoder s (VKey kd crypto) Source #

labelProxy (VKey kd crypto) → Text Source #

Crypto crypto ⇒ NoThunks (VKey kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

noThunks ∷ Context → VKey kd crypto → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → VKey kd crypto → IO (Maybe ThunkInfo)

showTypeOfProxy (VKey kd crypto) → String

type Rep (VKey kd crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

type Rep (VKey kd crypto) = D1 ('MetaData "VKey" "Shelley.Spec.Ledger.Keys" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "VKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN (DSIGN crypto)))))

coerceKeyRoleHasKeyRole a ⇒ a r crypto → a r' crypto Source #

General coercion of key roles.

The presence of this function is mostly to help the user realise where they are converting key roles.

data KeyRole Source #

The role of a key.

Note that a role is not _fixed_, nor is it unique. In particular, keys may variously be used as witnesses, and so in many case we will change the role of a key to the Witness role.

It is also perfectly allowable for a key to be used in many roles; there is nothing prohibiting somebody using the same underlying key as their payment and staking key, as well as the key for their stake pool. So these roles are more intended for two purposes:

  • To make explicit how we are using a key in the specifications
  • To provide a guide to downstream implementors, for whom the profusion of keys may be confusing.

Instances

Instances details
Show KeyRole Source # 
Instance details

Defined in Shelley.Spec.Ledger.Keys

Methods

showsPrecIntKeyRoleShowS #

showKeyRoleString #

showList ∷ [KeyRole] → ShowS #

hashKeyCrypto crypto ⇒ VKey kd crypto → KeyHash kd crypto Source #

Hash a given public key

data MetaData where Source #

Bundled Patterns

pattern MetaDataMap Word64 MetaDatumMetaData 

Instances

Instances details
Eq MetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

(==)MetaDataMetaDataBool #

(/=)MetaDataMetaDataBool #

Show MetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

showsPrecIntMetaDataShowS #

showMetaDataString #

showList ∷ [MetaData] → ShowS #

Generic MetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Associated Types

type Rep MetaDataTypeType #

Methods

fromMetaDataRep MetaData x #

toRep MetaData x → MetaData #

ToCBOR MetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

toCBORMetaDataEncoding Source #

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

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

NoThunks MetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

noThunks ∷ Context → MetaDataIO (Maybe ThunkInfo)

wNoThunks ∷ Context → MetaDataIO (Maybe ThunkInfo)

showTypeOfProxy MetaDataString

FromCBOR (Annotator MetaData) Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

type Rep MetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

type Rep MetaData = D1 ('MetaData "MetaData" "Shelley.Spec.Ledger.MetaData" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "MetaData'" 'PrefixI 'True) (S1 ('MetaSel ('Just "mdMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Word64 MetaDatum)) :*: S1 ('MetaSel ('Just "mdBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data MetaDatum Source #

A generic metadatum type.

Instances

Instances details
Eq MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

(==)MetaDatumMetaDatumBool #

(/=)MetaDatumMetaDatumBool #

Ord MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Show MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

showsPrecIntMetaDatumShowS #

showMetaDatumString #

showList ∷ [MetaDatum] → ShowS #

Generic MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Associated Types

type Rep MetaDatumTypeType #

Methods

fromMetaDatumRep MetaDatum x #

toRep MetaDatum x → MetaDatum #

ToCBOR MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

toCBORMetaDatumEncoding Source #

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

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

FromCBOR MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

NoThunks MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

noThunks ∷ Context → MetaDatumIO (Maybe ThunkInfo)

wNoThunks ∷ Context → MetaDatumIO (Maybe ThunkInfo)

showTypeOfProxy MetaDatumString

type Rep MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

data Network Source #

Constructors

Testnet 
Mainnet 

Instances

Instances details
Bounded Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Enum Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Eq Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(==)NetworkNetworkBool #

(/=)NetworkNetworkBool #

Ord Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

compareNetworkNetworkOrdering #

(<)NetworkNetworkBool #

(<=)NetworkNetworkBool #

(>)NetworkNetworkBool #

(>=)NetworkNetworkBool #

maxNetworkNetworkNetwork #

minNetworkNetworkNetwork #

Show Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

showsPrecIntNetworkShowS #

showNetworkString #

showList ∷ [Network] → ShowS #

Generic Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep NetworkTypeType #

Methods

fromNetworkRep Network x #

toRep Network x → Network #

NFData Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnfNetwork → () #

ToCBOR Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORNetworkEncoding Source #

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

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

FromCBOR Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → NetworkIO (Maybe ThunkInfo)

wNoThunks ∷ Context → NetworkIO (Maybe ThunkInfo)

showTypeOfProxy NetworkString

FromJSON Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Network

parseJSONList ∷ Value → Parser [Network]

ToJSON Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toJSONNetwork → Value

toEncodingNetwork → Encoding

toJSONList ∷ [Network] → Value

toEncodingList ∷ [Network] → Encoding

type Rep Network Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep Network = D1 ('MetaData "Network" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Testnet" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Mainnet" 'PrefixI 'False) (U1TypeType))

data Globals Source #

Constructors

Globals 

Fields

Instances

Instances details
Generic Globals Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep GlobalsTypeType #

Methods

fromGlobalsRep Globals x #

toRep Globals x → Globals #

NoThunks Globals Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → GlobalsIO (Maybe ThunkInfo)

wNoThunks ∷ Context → GlobalsIO (Maybe ThunkInfo)

showTypeOfProxy GlobalsString

type Rep Globals Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

newtype Port Source #

Constructors

Port 

Fields

Instances

Instances details
Eq Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(==)PortPortBool #

(/=)PortPortBool #

Num Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(+)PortPortPort #

(-)PortPortPort #

(*)PortPortPort #

negatePortPort #

absPortPort #

signumPortPort #

fromIntegerIntegerPort #

Ord Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

comparePortPortOrdering #

(<)PortPortBool #

(<=)PortPortBool #

(>)PortPortBool #

(>=)PortPortBool #

maxPortPortPort #

minPortPortPort #

Show Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

showsPrecIntPortShowS #

showPortString #

showList ∷ [Port] → ShowS #

Generic Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep PortTypeType #

Methods

fromPortRep Port x #

toRep Port x → Port #

NFData Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnfPort → () #

ToCBOR Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORPortEncoding Source #

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

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

FromCBOR Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → PortIO (Maybe ThunkInfo)

wNoThunks ∷ Context → PortIO (Maybe ThunkInfo)

showTypeOfProxy PortString

FromJSON Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Port

parseJSONList ∷ Value → Parser [Port]

ToJSON Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toJSONPort → Value

toEncodingPort → Encoding

toJSONList ∷ [Port] → Value

toEncodingList ∷ [Port] → Encoding

type Rep Port Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep Port = D1 ('MetaData "Port" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Port" 'PrefixI 'True) (S1 ('MetaSel ('Just "portToWord16") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data StrictMaybe a Source #

Strict Maybe.

TODO move to cardano-prelude

Constructors

SNothing 
SJust !a 

Instances

Instances details
Monad StrictMaybe Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(>>=)StrictMaybe a → (a → StrictMaybe b) → StrictMaybe b #

(>>)StrictMaybe a → StrictMaybe b → StrictMaybe b #

return ∷ a → StrictMaybe a #

Functor StrictMaybe Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

fmap ∷ (a → b) → StrictMaybe a → StrictMaybe b #

(<$) ∷ a → StrictMaybe b → StrictMaybe a #

MonadFail StrictMaybe Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

failStringStrictMaybe a #

Applicative StrictMaybe Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

pure ∷ a → StrictMaybe a #

(<*>)StrictMaybe (a → b) → StrictMaybe a → StrictMaybe b #

liftA2 ∷ (a → b → c) → StrictMaybe a → StrictMaybe b → StrictMaybe c #

(*>)StrictMaybe a → StrictMaybe b → StrictMaybe b #

(<*)StrictMaybe a → StrictMaybe b → StrictMaybe a #

Foldable StrictMaybe Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

foldMonoid m ⇒ StrictMaybe m → m #

foldMapMonoid m ⇒ (a → m) → StrictMaybe a → m #

foldMap'Monoid m ⇒ (a → m) → StrictMaybe a → m #

foldr ∷ (a → b → b) → b → StrictMaybe a → b #

foldr' ∷ (a → b → b) → b → StrictMaybe a → b #

foldl ∷ (b → a → b) → b → StrictMaybe a → b #

foldl' ∷ (b → a → b) → b → StrictMaybe a → b #

foldr1 ∷ (a → a → a) → StrictMaybe a → a #

foldl1 ∷ (a → a → a) → StrictMaybe a → a #

toListStrictMaybe a → [a] #

nullStrictMaybe a → Bool #

lengthStrictMaybe a → Int #

elemEq a ⇒ a → StrictMaybe a → Bool #

maximumOrd a ⇒ StrictMaybe a → a #

minimumOrd a ⇒ StrictMaybe a → a #

sumNum a ⇒ StrictMaybe a → a #

productNum a ⇒ StrictMaybe a → a #

Traversable StrictMaybe Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

traverseApplicative f ⇒ (a → f b) → StrictMaybe a → f (StrictMaybe b) #

sequenceAApplicative f ⇒ StrictMaybe (f a) → f (StrictMaybe a) #

mapMMonad m ⇒ (a → m b) → StrictMaybe a → m (StrictMaybe b) #

sequenceMonad m ⇒ StrictMaybe (m a) → m (StrictMaybe a) #

HasField "mdHash" (TxBody era) (StrictMaybe (MetaDataHash era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictMaybe (MetaDataHash era) #

HasField "update" (TxBody era) (StrictMaybe (Update era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictMaybe (Update era) #

Eq a ⇒ Eq (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(==)StrictMaybe a → StrictMaybe a → Bool #

(/=)StrictMaybe a → StrictMaybe a → Bool #

Ord a ⇒ Ord (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Show a ⇒ Show (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

showsPrecIntStrictMaybe a → ShowS #

showStrictMaybe a → String #

showList ∷ [StrictMaybe a] → ShowS #

Generic (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep (StrictMaybe a) ∷ TypeType #

Methods

fromStrictMaybe a → Rep (StrictMaybe a) x #

toRep (StrictMaybe a) x → StrictMaybe a #

NFData a ⇒ NFData (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnfStrictMaybe a → () #

ToCBOR a ⇒ ToCBOR (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORStrictMaybe a → Encoding Source #

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

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

Era era ⇒ ToCBOR (PParamsUpdate era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBORPParamsUpdate era → Encoding Source #

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

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

FromCBOR a ⇒ FromCBOR (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Era era ⇒ FromCBOR (PParamsUpdate era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

NoThunks a ⇒ NoThunks (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo)

showTypeOfProxy (StrictMaybe a) → String

NoThunks (PParamsUpdate era) 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

noThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo)

showTypeOfProxy (PParamsUpdate era) → String

FromJSON a ⇒ FromJSON (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser (StrictMaybe a)

parseJSONList ∷ Value → Parser [StrictMaybe a]

ToJSON a ⇒ ToJSON (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toJSONStrictMaybe a → Value

toEncodingStrictMaybe a → Encoding

toJSONList ∷ [StrictMaybe a] → Value

toEncodingList ∷ [StrictMaybe a] → Encoding

Eq (PParams' StrictMaybe era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Ord (PParams' StrictMaybe era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Show (PParams' StrictMaybe era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

NFData (PParams' StrictMaybe era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

rnfPParams' StrictMaybe era → () #

type Rep (StrictMaybe a) Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

data Nonce Source #

Evolving nonce type.

Constructors

Nonce !(Hash Blake2b_256 Nonce) 
NeutralNonce

Identity element

Instances

Instances details
Eq Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

(==)NonceNonceBool #

(/=)NonceNonceBool #

Ord Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

compareNonceNonceOrdering #

(<)NonceNonceBool #

(<=)NonceNonceBool #

(>)NonceNonceBool #

(>=)NonceNonceBool #

maxNonceNonceNonce #

minNonceNonceNonce #

Show Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

showsPrecIntNonceShowS #

showNonceString #

showList ∷ [Nonce] → ShowS #

Generic Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Associated Types

type Rep NonceTypeType #

Methods

fromNonceRep Nonce x #

toRep Nonce x → Nonce #

NFData Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

rnfNonce → () #

ToCBOR Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toCBORNonceEncoding Source #

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

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

FromCBOR Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

NoThunks Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

noThunks ∷ Context → NonceIO (Maybe ThunkInfo)

wNoThunks ∷ Context → NonceIO (Maybe ThunkInfo)

showTypeOfProxy NonceString

FromJSON Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Nonce

parseJSONList ∷ Value → Parser [Nonce]

ToJSON Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

Methods

toJSONNonce → Value

toEncodingNonce → Encoding

toJSONList ∷ [Nonce] → Value

toEncodingList ∷ [Nonce] → Encoding

type Rep Nonce Source # 
Instance details

Defined in Shelley.Spec.Ledger.BaseTypes

type Rep Nonce = D1 ('MetaData "Nonce" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Nonce" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Blake2b_256 Nonce))) :+: C1 ('MetaCons "NeutralNonce" 'PrefixI 'False) (U1TypeType))

newtype ScriptHash era Source #

Constructors

ScriptHash (Hash (ADDRHASH (Crypto era)) (Script era)) 

Instances

Instances details
Eq (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

(==)ScriptHash era → ScriptHash era → Bool #

(/=)ScriptHash era → ScriptHash era → Bool #

Ord (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

compareScriptHash era → ScriptHash era → Ordering #

(<)ScriptHash era → ScriptHash era → Bool #

(<=)ScriptHash era → ScriptHash era → Bool #

(>)ScriptHash era → ScriptHash era → Bool #

(>=)ScriptHash era → ScriptHash era → Bool #

maxScriptHash era → ScriptHash era → ScriptHash era #

minScriptHash era → ScriptHash era → ScriptHash era #

Show (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

showsPrecIntScriptHash era → ShowS #

showScriptHash era → String #

showList ∷ [ScriptHash era] → ShowS #

Generic (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Associated Types

type Rep (ScriptHash era) ∷ TypeType #

Methods

fromScriptHash era → Rep (ScriptHash era) x #

toRep (ScriptHash era) x → ScriptHash era #

NFData (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

rnfScriptHash era → () #

(Era era, Typeable (Script era)) ⇒ ToCBOR (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

toCBORScriptHash era → Encoding Source #

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

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

(Era era, Typeable (Script era)) ⇒ FromCBOR (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

fromCBORDecoder s (ScriptHash era) Source #

labelProxy (ScriptHash era) → Text Source #

NoThunks (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

noThunks ∷ Context → ScriptHash era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → ScriptHash era → IO (Maybe ThunkInfo)

showTypeOfProxy (ScriptHash era) → String

Era era ⇒ FromJSON (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

parseJSON ∷ Value → Parser (ScriptHash era)

parseJSONList ∷ Value → Parser [ScriptHash era]

Era era ⇒ ToJSON (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

toJSONScriptHash era → Value

toEncodingScriptHash era → Encoding

toJSONList ∷ [ScriptHash era] → Value

toEncodingList ∷ [ScriptHash era] → Encoding

type Rep (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

type Rep (ScriptHash era) = D1 ('MetaData "ScriptHash" "Shelley.Spec.Ledger.Scripts" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash (ADDRHASH (Crypto era)) (Script era)))))

data MultiSig era where Source #

Bundled Patterns

pattern RequireMOfEra era ⇒ Int → [MultiSig era] → MultiSig era 
pattern RequireSignatureEra era ⇒ KeyHash 'Witness (Crypto era) → MultiSig era 
pattern RequireAllOfEra era ⇒ [MultiSig era] → MultiSig era 
pattern RequireAnyOfEra era ⇒ [MultiSig era] → MultiSig era 

Instances

Instances details
Eq (MultiSig era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

(==)MultiSig era → MultiSig era → Bool #

(/=)MultiSig era → MultiSig era → Bool #

Ord (MultiSig era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

compareMultiSig era → MultiSig era → Ordering #

(<)MultiSig era → MultiSig era → Bool #

(<=)MultiSig era → MultiSig era → Bool #

(>)MultiSig era → MultiSig era → Bool #

(>=)MultiSig era → MultiSig era → Bool #

maxMultiSig era → MultiSig era → MultiSig era #

minMultiSig era → MultiSig era → MultiSig era #

Show (MultiSig era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

showsPrecIntMultiSig era → ShowS #

showMultiSig era → String #

showList ∷ [MultiSig era] → ShowS #

Generic (MultiSig era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Associated Types

type Rep (MultiSig era) ∷ TypeType #

Methods

fromMultiSig era → Rep (MultiSig era) x #

toRep (MultiSig era) x → MultiSig era #

Typeable era ⇒ ToCBOR (MultiSig era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

toCBORMultiSig era → Encoding Source #

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

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

Era era ⇒ FromCBOR (Annotator (MultiSig era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Typeable era ⇒ NoThunks (MultiSig era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

noThunks ∷ Context → MultiSig era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → MultiSig era → IO (Maybe ThunkInfo)

showTypeOfProxy (MultiSig era) → String

type Rep (MultiSig era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

type Rep (MultiSig era)

data TicknPredicateFailure Source #

Instances

Instances details
Eq TicknPredicateFailure Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

Show TicknPredicateFailure Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

Generic TicknPredicateFailure Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

Associated Types

type Rep TicknPredicateFailureTypeType #

NoThunks TicknPredicateFailure Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

Methods

noThunks ∷ Context → TicknPredicateFailureIO (Maybe ThunkInfo)

wNoThunks ∷ Context → TicknPredicateFailureIO (Maybe ThunkInfo)

showTypeOfProxy TicknPredicateFailureString

type Rep TicknPredicateFailure Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

type Rep TicknPredicateFailure = D1 ('MetaData "TicknPredicateFailure" "Shelley.Spec.Ledger.STS.Tickn" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (V1TypeType)

data TicknState Source #

Instances

Instances details
Eq TicknState Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

Methods

(==)TicknStateTicknStateBool #

(/=)TicknStateTicknStateBool #

Show TicknState Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

Generic TicknState Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

Associated Types

type Rep TicknStateTypeType #

ToCBOR TicknState Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

Methods

toCBORTicknStateEncoding Source #

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

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

FromCBOR TicknState Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

NoThunks TicknState Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

Methods

noThunks ∷ Context → TicknStateIO (Maybe ThunkInfo)

wNoThunks ∷ Context → TicknStateIO (Maybe ThunkInfo)

showTypeOfProxy TicknStateString

type Rep TicknState Source # 
Instance details

Defined in Shelley.Spec.Ledger.STS.Tickn

type Rep TicknState = D1 ('MetaData "TicknState" "Shelley.Spec.Ledger.STS.Tickn" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TicknState" 'PrefixI 'True) (S1 ('MetaSel ('Just "ticknStateEpochNonce") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :*: S1 ('MetaSel ('Just "ticknStatePrevHashNonce") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce)))

data TicknEnv Source #

Constructors

TicknEnv 

Fields

data BootstrapWitness era where Source #

Bundled Patterns

pattern BootstrapWitnessEra era ⇒ VKey 'Witness (Crypto era) → SignedDSIGN (Crypto era) (Hash (Crypto era) EraIndependentTxBody) → ChainCodeByteStringBootstrapWitness era 

Instances

Instances details
Era era ⇒ Eq (BootstrapWitness era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address.Bootstrap

Methods

(==)BootstrapWitness era → BootstrapWitness era → Bool #

(/=)BootstrapWitness era → BootstrapWitness era → Bool #

Era era ⇒ Ord (BootstrapWitness era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address.Bootstrap

Era era ⇒ Show (BootstrapWitness era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address.Bootstrap

Generic (BootstrapWitness era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address.Bootstrap

Associated Types

type Rep (BootstrapWitness era) ∷ TypeType #

Methods

fromBootstrapWitness era → Rep (BootstrapWitness era) x #

toRep (BootstrapWitness era) x → BootstrapWitness era #

Era era ⇒ ToCBOR (BootstrapWitness era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address.Bootstrap

Methods

toCBORBootstrapWitness era → Encoding Source #

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

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

Era era ⇒ FromCBOR (Annotator (BootstrapWitness era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address.Bootstrap

Era era ⇒ NoThunks (BootstrapWitness era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address.Bootstrap

Methods

noThunks ∷ Context → BootstrapWitness era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → BootstrapWitness era → IO (Maybe ThunkInfo)

showTypeOfProxy (BootstrapWitness era) → String

type Rep (BootstrapWitness era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Address.Bootstrap

type Rep (BootstrapWitness era) = D1 ('MetaData "BootstrapWitness" "Shelley.Spec.Ledger.Address.Bootstrap" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "BootstrapWitness'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey 'Witness (Crypto era))) :*: S1 ('MetaSel ('Just "bwSig'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN (Crypto era) (Hash (Crypto era) EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "bwChainCode'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainCode) :*: (S1 ('MetaSel ('Just "bwAttributes'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "bwBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))

data OBftSlot crypto Source #

Constructors

NonActiveSlot 
ActiveSlot !(KeyHash 'Genesis crypto) 

Instances

Instances details
Eq (OBftSlot crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OverlaySchedule

Methods

(==)OBftSlot crypto → OBftSlot crypto → Bool #

(/=)OBftSlot crypto → OBftSlot crypto → Bool #

Ord (OBftSlot crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OverlaySchedule

Methods

compareOBftSlot crypto → OBftSlot crypto → Ordering #

(<)OBftSlot crypto → OBftSlot crypto → Bool #

(<=)OBftSlot crypto → OBftSlot crypto → Bool #

(>)OBftSlot crypto → OBftSlot crypto → Bool #

(>=)OBftSlot crypto → OBftSlot crypto → Bool #

maxOBftSlot crypto → OBftSlot crypto → OBftSlot crypto #

minOBftSlot crypto → OBftSlot crypto → OBftSlot crypto #

Show (OBftSlot crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OverlaySchedule

Methods

showsPrecIntOBftSlot crypto → ShowS #

showOBftSlot crypto → String #

showList ∷ [OBftSlot crypto] → ShowS #

Generic (OBftSlot crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OverlaySchedule

Associated Types

type Rep (OBftSlot crypto) ∷ TypeType #

Methods

fromOBftSlot crypto → Rep (OBftSlot crypto) x #

toRep (OBftSlot crypto) x → OBftSlot crypto #

NFData (OBftSlot crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OverlaySchedule

Methods

rnfOBftSlot crypto → () #

Crypto crypto ⇒ ToCBOR (OBftSlot crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OverlaySchedule

Methods

toCBOROBftSlot crypto → Encoding Source #

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

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

Crypto crypto ⇒ FromCBOR (OBftSlot crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OverlaySchedule

Methods

fromCBORDecoder s (OBftSlot crypto) Source #

labelProxy (OBftSlot crypto) → Text Source #

NoThunks (OBftSlot crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OverlaySchedule

Methods

noThunks ∷ Context → OBftSlot crypto → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → OBftSlot crypto → IO (Maybe ThunkInfo)

showTypeOfProxy (OBftSlot crypto) → String

type Rep (OBftSlot crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OverlaySchedule

type Rep (OBftSlot crypto) = D1 ('MetaData "OBftSlot" "Shelley.Spec.Ledger.OverlaySchedule" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "NonActiveSlot" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ActiveSlot" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis crypto))))

newtype ProposedPPUpdates era Source #

Update operation for protocol parameters structure @PParams

Constructors

ProposedPPUpdates (Map (KeyHash 'Genesis (Crypto era)) (PParamsUpdate era)) 

Instances

Instances details
Eq (ProposedPPUpdates era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Show (ProposedPPUpdates era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Generic (ProposedPPUpdates era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Associated Types

type Rep (ProposedPPUpdates era) ∷ TypeType #

Methods

fromProposedPPUpdates era → Rep (ProposedPPUpdates era) x #

toRep (ProposedPPUpdates era) x → ProposedPPUpdates era #

NFData (ProposedPPUpdates era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

rnfProposedPPUpdates era → () #

Era era ⇒ ToCBOR (ProposedPPUpdates era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBORProposedPPUpdates era → Encoding Source #

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

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

Era era ⇒ FromCBOR (ProposedPPUpdates era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

NoThunks (ProposedPPUpdates era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

noThunks ∷ Context → ProposedPPUpdates era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → ProposedPPUpdates era → IO (Maybe ThunkInfo)

showTypeOfProxy (ProposedPPUpdates era) → String

type Rep (ProposedPPUpdates era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

type Rep (ProposedPPUpdates era) = D1 ('MetaData "ProposedPPUpdates" "Shelley.Spec.Ledger.PParams" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "ProposedPPUpdates" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'Genesis (Crypto era)) (PParamsUpdate era)))))

data Update era Source #

Update Proposal

Constructors

Update !(ProposedPPUpdates era) !EpochNo 

Instances

Instances details
HasField "update" (TxBody era) (StrictMaybe (Update era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictMaybe (Update era) #

Eq (Update era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

(==)Update era → Update era → Bool #

(/=)Update era → Update era → Bool #

Show (Update era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

showsPrecIntUpdate era → ShowS #

showUpdate era → String #

showList ∷ [Update era] → ShowS #

Generic (Update era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Associated Types

type Rep (Update era) ∷ TypeType #

Methods

fromUpdate era → Rep (Update era) x #

toRep (Update era) x → Update era #

Era era ⇒ ToCBOR (Update era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBORUpdate era → Encoding Source #

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

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

Era era ⇒ FromCBOR (Update era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

fromCBORDecoder s (Update era) Source #

labelProxy (Update era) → Text Source #

NoThunks (Update era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

noThunks ∷ Context → Update era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → Update era → IO (Maybe ThunkInfo)

showTypeOfProxy (Update era) → String

type Rep (Update era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

type Rep (Update era) = D1 ('MetaData "Update" "Shelley.Spec.Ledger.PParams" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Update" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)))

data ProtVer Source #

Constructors

ProtVer 

Fields

Instances

Instances details
Eq ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

(==)ProtVerProtVerBool #

(/=)ProtVerProtVerBool #

Ord ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

compareProtVerProtVerOrdering #

(<)ProtVerProtVerBool #

(<=)ProtVerProtVerBool #

(>)ProtVerProtVerBool #

(>=)ProtVerProtVerBool #

maxProtVerProtVerProtVer #

minProtVerProtVerProtVer #

Show ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

showsPrecIntProtVerShowS #

showProtVerString #

showList ∷ [ProtVer] → ShowS #

Generic ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Associated Types

type Rep ProtVerTypeType #

Methods

fromProtVerRep ProtVer x #

toRep ProtVer x → ProtVer #

NFData ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

rnfProtVer → () #

ToCBOR ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBORProtVerEncoding Source #

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

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

FromCBOR ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

NoThunks ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

noThunks ∷ Context → ProtVerIO (Maybe ThunkInfo)

wNoThunks ∷ Context → ProtVerIO (Maybe ThunkInfo)

showTypeOfProxy ProtVerString

FromJSON ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

parseJSON ∷ Value → Parser ProtVer

parseJSONList ∷ Value → Parser [ProtVer]

ToJSON ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toJSONProtVer → Value

toEncodingProtVer → Encoding

toJSONList ∷ [ProtVer] → Value

toEncodingList ∷ [ProtVer] → Encoding

FromCBORGroup ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

ToCBORGroup ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

type Rep ProtVer Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

type Rep ProtVer = D1 ('MetaData "ProtVer" "Shelley.Spec.Ledger.PParams" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)))

data PParams' f era Source #

Protocol parameters.

We use the HKD type family so that the protocol parameters type and the type for the updates to the protocol parameters can share records fields. The protocol parameters will have type PParams' Identity, and the updates will have type PParams' StrictMaybe, though Identity will be hidden from use.

For example:

  myParameters =
    PParams
      { _minfeeA = 0,
        _minfeeB = 0,
        ...
      }

  myUpdate =
    PParamsUpdate
      { _minfeeA = SNothing,
        _minfeeB = SJust 42,
        ...
      }

Constructors

PParams 

Fields

Instances

Instances details
Era era ⇒ ToCBOR (PParamsUpdate era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBORPParamsUpdate era → Encoding Source #

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

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

Era era ⇒ ToCBOR (PParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toCBORPParams era → Encoding Source #

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

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

Era era ⇒ FromCBOR (PParamsUpdate era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Era era ⇒ FromCBOR (PParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

fromCBORDecoder s (PParams era) Source #

labelProxy (PParams era) → Text Source #

NoThunks (PParamsUpdate era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

noThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo)

showTypeOfProxy (PParamsUpdate era) → String

NoThunks (PParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

noThunks ∷ Context → PParams era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → PParams era → IO (Maybe ThunkInfo)

showTypeOfProxy (PParams era) → String

FromJSON (PParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

parseJSON ∷ Value → Parser (PParams era)

parseJSONList ∷ Value → Parser [PParams era]

ToJSON (PParams era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

toJSONPParams era → Value

toEncodingPParams era → Encoding

toJSONList ∷ [PParams era] → Value

toEncodingList ∷ [PParams era] → Encoding

Eq (PParams' Identity era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

(==)PParams' Identity era → PParams' Identity era → Bool #

(/=)PParams' Identity era → PParams' Identity era → Bool #

Eq (PParams' StrictMaybe era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Ord (PParams' StrictMaybe era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Show (PParams' Identity era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

showsPrecIntPParams' Identity era → ShowS #

showPParams' Identity era → String #

showList ∷ [PParams' Identity era] → ShowS #

Show (PParams' StrictMaybe era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Generic (PParams' f era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Associated Types

type Rep (PParams' f era) ∷ TypeType #

Methods

fromPParams' f era → Rep (PParams' f era) x #

toRep (PParams' f era) x → PParams' f era #

NFData (PParams' Identity era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

rnfPParams' Identity era → () #

NFData (PParams' StrictMaybe era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

Methods

rnfPParams' StrictMaybe era → () #

type Rep (PParams' f era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.PParams

type Rep (PParams' f era)

data OCert crypto Source #

Constructors

OCert 

Fields

Instances

Instances details
Crypto crypto ⇒ Eq (OCert crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

(==)OCert crypto → OCert crypto → Bool #

(/=)OCert crypto → OCert crypto → Bool #

Crypto crypto ⇒ Show (OCert crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

showsPrecIntOCert crypto → ShowS #

showOCert crypto → String #

showList ∷ [OCert crypto] → ShowS #

Generic (OCert crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Associated Types

type Rep (OCert crypto) ∷ TypeType #

Methods

fromOCert crypto → Rep (OCert crypto) x #

toRep (OCert crypto) x → OCert crypto #

Crypto crypto ⇒ ToCBOR (OCert crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

toCBOROCert crypto → Encoding Source #

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

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

Crypto crypto ⇒ NoThunks (OCert crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

noThunks ∷ Context → OCert crypto → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → OCert crypto → IO (Maybe ThunkInfo)

showTypeOfProxy (OCert crypto) → String

Crypto crypto ⇒ FromCBORGroup (OCert crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

fromCBORGroupDecoder s (OCert crypto) Source #

Crypto crypto ⇒ ToCBORGroup (OCert crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

toCBORGroupOCert crypto → Encoding Source #

encodedGroupSizeExpr ∷ (∀ x. ToCBOR x ⇒ Proxy x → Size) → Proxy (OCert crypto) → Size Source #

listLenOCert crypto → Word Source #

listLenBoundProxy (OCert crypto) → Word Source #

type Rep (OCert crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

type Rep (OCert crypto) = D1 ('MetaData "OCert" "Shelley.Spec.Ledger.OCert" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "OCert" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ocertVkHot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyKES crypto)) :*: S1 ('MetaSel ('Just "ocertN") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "ocertKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 KESPeriod) :*: S1 ('MetaSel ('Just "ocertSigma") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN crypto (OCertSignable crypto))))))

newtype KESPeriod Source #

Constructors

KESPeriod 

Fields

Instances

Instances details
Eq KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

(==)KESPeriodKESPeriodBool #

(/=)KESPeriodKESPeriodBool #

Ord KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Show KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

showsPrecIntKESPeriodShowS #

showKESPeriodString #

showList ∷ [KESPeriod] → ShowS #

Generic KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Associated Types

type Rep KESPeriodTypeType #

Methods

fromKESPeriodRep KESPeriod x #

toRep KESPeriod x → KESPeriod #

ToCBOR KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

toCBORKESPeriodEncoding Source #

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

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

FromCBOR KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

NoThunks KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

noThunks ∷ Context → KESPeriodIO (Maybe ThunkInfo)

wNoThunks ∷ Context → KESPeriodIO (Maybe ThunkInfo)

showTypeOfProxy KESPeriodString

type Rep KESPeriod Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

type Rep KESPeriod = D1 ('MetaData "KESPeriod" "Shelley.Spec.Ledger.OCert" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "KESPeriod" 'PrefixI 'True) (S1 ('MetaSel ('Just "unKESPeriod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

data OCertEnv crypto Source #

Constructors

OCertEnv 

Instances

Instances details
Eq (OCertEnv crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

(==)OCertEnv crypto → OCertEnv crypto → Bool #

(/=)OCertEnv crypto → OCertEnv crypto → Bool #

Show (OCertEnv crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.OCert

Methods

showsPrecIntOCertEnv crypto → ShowS #

showOCertEnv crypto → String #

showList ∷ [OCertEnv crypto] → ShowS #

data Ptr Source #

Pointer to a slot, transaction index and index in certificate list.

Constructors

Ptr !SlotNo !Ix !Ix 

Instances

Instances details
Eq Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

(==)PtrPtrBool #

(/=)PtrPtrBool #

Ord Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

comparePtrPtrOrdering #

(<)PtrPtrBool #

(<=)PtrPtrBool #

(>)PtrPtrBool #

(>=)PtrPtrBool #

maxPtrPtrPtr #

minPtrPtrPtr #

Show Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

showsPrecIntPtrShowS #

showPtrString #

showList ∷ [Ptr] → ShowS #

Generic Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Associated Types

type Rep PtrTypeType #

Methods

fromPtrRep Ptr x #

toRep Ptr x → Ptr #

NFData Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

rnfPtr → () #

ToCBOR Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

toCBORPtrEncoding Source #

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

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

FromCBOR Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

NoThunks Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

noThunks ∷ Context → PtrIO (Maybe ThunkInfo)

wNoThunks ∷ Context → PtrIO (Maybe ThunkInfo)

showTypeOfProxy PtrString

FromCBORGroup Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

ToCBORGroup Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

type Rep Ptr Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

data StakeReference era Source #

Instances

Instances details
Eq (StakeReference era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

(==)StakeReference era → StakeReference era → Bool #

(/=)StakeReference era → StakeReference era → Bool #

Ord (StakeReference era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Show (StakeReference era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

showsPrecIntStakeReference era → ShowS #

showStakeReference era → String #

showList ∷ [StakeReference era] → ShowS #

Generic (StakeReference era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Associated Types

type Rep (StakeReference era) ∷ TypeType #

Methods

fromStakeReference era → Rep (StakeReference era) x #

toRep (StakeReference era) x → StakeReference era #

NFData (StakeReference era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

rnfStakeReference era → () #

NoThunks (StakeReference era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

noThunks ∷ Context → StakeReference era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → StakeReference era → IO (Maybe ThunkInfo)

showTypeOfProxy (StakeReference era) → String

type Rep (StakeReference era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

type Rep (StakeReference era) = D1 ('MetaData "StakeReference" "Shelley.Spec.Ledger.Credential" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "StakeRefBase" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential era))) :+: (C1 ('MetaCons "StakeRefPtr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ptr)) :+: C1 ('MetaCons "StakeRefNull" 'PrefixI 'False) (U1TypeType)))

data Credential (kr ∷ KeyRole) era Source #

Script hash or key hash for a payment or a staking object.

Note that credentials (unlike raw key hashes) do appear to vary from era to era, since they reference the hash of a script, which can change. This parameter is a phantom, however, so in actuality the instances will remain the same.

Constructors

ScriptHashObj !(ScriptHash era) 
KeyHashObj !(KeyHash kr (Crypto era)) 

Instances

Instances details
HasKeyRole Credential Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

coerceKeyRole ∷ ∀ (r ∷ KeyRole) crypto (r' ∷ KeyRole). Credential r crypto → Credential r' crypto Source #

Embed (StakeCreds era) (Map (Credential 'Staking era) SlotNo) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

HasExp (StakeCreds era) (Map (Credential 'Staking era) SlotNo) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toExpStakeCreds era → Exp (Map (Credential 'Staking era) SlotNo) Source #

Eq (Credential kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

(==)Credential kr era → Credential kr era → Bool #

(/=)Credential kr era → Credential kr era → Bool #

Ord (Credential kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Credential

Methods

compareCredential kr era → Credential kr era → Ordering #

(<)Credential kr era → Credential kr era → Bool #

(<=)Credential kr era → Credential kr era →