Documentation

Methods

toJSON ∷ Address → Value Source #

toEncoding ∷ Address → Encoding Source #

toJSONList ∷ [Address] → Value Source #

toEncodingList ∷ [Address] → Encoding Source #

omitField ∷ Address → Bool Source #

FromCBOR Address Source #

Instance details

Methods

fromCBOR ∷ Decoder s Address Source #

label ∷ Proxy Address → Text Source #

ToCBOR Address Source #

Instance details

Methods

toCBOR ∷ Address → Encoding Source #

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

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

DecCBOR Address Source #

Instance details

Methods

decCBOR ∷ Decoder s Address Source #

dropCBOR ∷ Proxy Address → Decoder s () Source #

label ∷ Proxy Address → Text Source #

EncCBOR Address Source #

Instance details

Methods

encCBOR ∷ Address → Encoding Source #

NFData Address Source #

Instance details

Methods

rnf ∷ Address → () #

Buildable Address Source #

Instance details

Methods

build ∷ Address → Builder Source #

Generic Address Source #

Instance details

Associated Types

type Rep Address

Instance details

type Rep Address = D1 ('MetaData "Address" "Cardano.Chain.Common.Address" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "Address" 'PrefixI 'True) (S1 ('MetaSel ('Just "addrRoot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AddressHash Address')) :*: (S1 ('MetaSel ('Just "addrAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Attributes AddrAttributes)) :*: S1 ('MetaSel ('Just "addrType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AddrType))))

Methods

from ∷ Address → Rep Address x #

to ∷ Rep Address x → Address #

Show Address Source #

Instance details

Methods

showsPrec ∷ Int → Address → ShowS #

show ∷ Address → String #

showList ∷ [Address] → ShowS #

Eq Address Source #

Instance details

Methods

(==) ∷ Address → Address → Bool #

(/=) ∷ Address → Address → Bool #

Ord Address Source #

Instance details

Methods

compare ∷ Address → Address → Ordering #

(<) ∷ Address → Address → Bool #

(<=) ∷ Address → Address → Bool #

(>) ∷ Address → Address → Bool #

(>=) ∷ Address → Address → Bool #

max ∷ Address → Address → Address #

min ∷ Address → Address → Address #

HeapWords Address Source #

Instance details

Methods

heapWords ∷ Address → Int Source #

NoThunks Address Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy Address → String Source #

MonadError SchemaError m ⇒ FromJSON m Address Source #

Instance details

Methods

fromJSON ∷ JSValue → m Address Source #

MonadError SchemaError m ⇒ FromObjectKey m Address Source #

Instance details

Methods

fromObjectKey ∷ JSString → m (Maybe Address) Source #

Monad m ⇒ ToJSON m Address Source #

Instance details

Methods

toJSON ∷ Address → m JSValue Source #

Monad m ⇒ ToObjectKey m Address Source #

Instance details

Methods

toObjectKey ∷ Address → m JSString Source #

Buildable [Address] Source #

Instance details

Methods

build ∷ [Address] → Builder Source #

type Rep Address Source #

Instance details

type Rep Address = D1 ('MetaData "Address" "Cardano.Chain.Common.Address" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "Address" 'PrefixI 'True) (S1 ('MetaSel ('Just "addrRoot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AddressHash Address')) :*: (S1 ('MetaSel ('Just "addrAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Attributes AddrAttributes)) :*: S1 ('MetaSel ('Just "addrType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AddrType))))

data Lovelace Source #

Lovelace is the least possible unit of currency

Instances

Instances details

ToJSON Lovelace Source #

Instance details

Methods

toJSON ∷ Lovelace → Value Source #

toEncoding ∷ Lovelace → Encoding Source #

toJSONList ∷ [Lovelace] → Value Source #

toEncodingList ∷ [Lovelace] → Encoding Source #

omitField ∷ Lovelace → Bool Source #

FromCBOR Lovelace Source #

Instance details

Methods

fromCBOR ∷ Decoder s Lovelace Source #

label ∷ Proxy Lovelace → Text Source #

ToCBOR Lovelace Source #

Instance details

Methods

toCBOR ∷ Lovelace → Encoding Source #

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

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

DecCBOR Lovelace Source #

Instance details

Methods

decCBOR ∷ Decoder s Lovelace Source #

dropCBOR ∷ Proxy Lovelace → Decoder s () Source #

label ∷ Proxy Lovelace → Text Source #

EncCBOR Lovelace Source #

Instance details

Methods

encCBOR ∷ Lovelace → Encoding Source #

NFData Lovelace Source #

Instance details

Methods

rnf ∷ Lovelace → () #

Buildable Lovelace Source #

Instance details

Methods

build ∷ Lovelace → Builder Source #

Data Lovelace Source #

Instance details

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Lovelace → c Lovelace #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Lovelace #

toConstr ∷ Lovelace → Constr #

dataTypeOf ∷ Lovelace → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Lovelace) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Lovelace) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Lovelace → Lovelace #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Lovelace → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Lovelace → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Lovelace → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Lovelace → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Lovelace → m Lovelace #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Lovelace → m Lovelace #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Lovelace → m Lovelace #

Bounded Lovelace Source #

Instance details

Methods

minBound ∷ Lovelace #

maxBound ∷ Lovelace #

Generic Lovelace Source #

Instance details

Associated Types

type Rep Lovelace
Instance details Defined in Cardano.Chain.Common.Lovelace type Rep Lovelace = D1 ('MetaData "Lovelace" "Cardano.Chain.Common.Lovelace" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "Lovelace" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLovelace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ Lovelace → Rep Lovelace x #

to ∷ Rep Lovelace x → Lovelace #

Show Lovelace Source #

Instance details

Methods

showsPrec ∷ Int → Lovelace → ShowS #

show ∷ Lovelace → String #

showList ∷ [Lovelace] → ShowS #

Eq Lovelace Source #

Instance details

Methods

(==) ∷ Lovelace → Lovelace → Bool #

(/=) ∷ Lovelace → Lovelace → Bool #

Ord Lovelace Source #

Instance details

Methods

compare ∷ Lovelace → Lovelace → Ordering #

(<) ∷ Lovelace → Lovelace → Bool #

(<=) ∷ Lovelace → Lovelace → Bool #

(>) ∷ Lovelace → Lovelace → Bool #

(>=) ∷ Lovelace → Lovelace → Bool #

max ∷ Lovelace → Lovelace → Lovelace #

min ∷ Lovelace → Lovelace → Lovelace #

NoThunks Lovelace Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy Lovelace → String Source #

ReportSchemaErrors m ⇒ FromJSON m Lovelace Source #

Instance details

Methods

fromJSON ∷ JSValue → m Lovelace Source #

Monad m ⇒ ToJSON m Lovelace Source #

Instance details

Methods

toJSON ∷ Lovelace → m JSValue Source #

type Rep Lovelace Source #

Instance details

type Rep Lovelace = D1 ('MetaData "Lovelace" "Cardano.Chain.Common.Lovelace" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "Lovelace" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLovelace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data AddrAttributes Source #

Additional information stored along with address. It's intended to be put into Attributes data type to make it extensible with softfork.

Constructors

AddrAttributes
Fields aaVKDerivationPath ∷ !(Maybe HDAddressPayload) aaNetworkMagic ∷ !NetworkMagic

Instances

Instances details

ToJSON AddrAttributes Source #

Instance details

Methods

toJSON ∷ AddrAttributes → Value Source #

toEncoding ∷ AddrAttributes → Encoding Source #

toJSONList ∷ [AddrAttributes] → Value Source #

toEncodingList ∷ [AddrAttributes] → Encoding Source #

omitField ∷ AddrAttributes → Bool Source #

NFData AddrAttributes Source #

Instance details

Methods

rnf ∷ AddrAttributes → () #

Buildable AddrAttributes Source #

Instance details

Methods

build ∷ AddrAttributes → Builder Source #

Generic AddrAttributes Source #

Instance details

Associated Types

type Rep AddrAttributes

Instance details

type Rep AddrAttributes = D1 ('MetaData "AddrAttributes" "Cardano.Chain.Common.AddrAttributes" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "AddrAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "aaVKDerivationPath") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe HDAddressPayload)) :*: S1 ('MetaSel ('Just "aaNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NetworkMagic)))

Methods

from ∷ AddrAttributes → Rep AddrAttributes x #

to ∷ Rep AddrAttributes x → AddrAttributes #

Show AddrAttributes Source #

Instance details

Methods

showsPrec ∷ Int → AddrAttributes → ShowS #

show ∷ AddrAttributes → String #

showList ∷ [AddrAttributes] → ShowS #

Eq AddrAttributes Source #

Instance details

Methods

(==) ∷ AddrAttributes → AddrAttributes → Bool #

(/=) ∷ AddrAttributes → AddrAttributes → Bool #

Ord AddrAttributes Source #

Instance details

Methods

compare ∷ AddrAttributes → AddrAttributes → Ordering #

(<) ∷ AddrAttributes → AddrAttributes → Bool #

(<=) ∷ AddrAttributes → AddrAttributes → Bool #

(>) ∷ AddrAttributes → AddrAttributes → Bool #

(>=) ∷ AddrAttributes → AddrAttributes → Bool #

max ∷ AddrAttributes → AddrAttributes → AddrAttributes #

min ∷ AddrAttributes → AddrAttributes → AddrAttributes #

HeapWords AddrAttributes Source #

Instance details

Methods

heapWords ∷ AddrAttributes → Int Source #

NoThunks AddrAttributes Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy AddrAttributes → String Source #

FromCBOR (Attributes AddrAttributes) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (Attributes AddrAttributes) Source #

label ∷ Proxy (Attributes AddrAttributes) → Text Source #

ToCBOR (Attributes AddrAttributes) Source #

Instance details

Methods

toCBOR ∷ Attributes AddrAttributes → Encoding Source #

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

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

DecCBOR (Attributes AddrAttributes) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Attributes AddrAttributes) Source #

dropCBOR ∷ Proxy (Attributes AddrAttributes) → Decoder s () Source #

label ∷ Proxy (Attributes AddrAttributes) → Text Source #

EncCBOR (Attributes AddrAttributes) Source #

Instance details

Methods

encCBOR ∷ Attributes AddrAttributes → Encoding Source #

type Rep AddrAttributes Source #

Instance details

type Rep AddrAttributes = D1 ('MetaData "AddrAttributes" "Cardano.Chain.Common.AddrAttributes" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "AddrAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "aaVKDerivationPath") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe HDAddressPayload)) :*: S1 ('MetaSel ('Just "aaNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NetworkMagic)))

data AddrSpendingData Source #

Data which is bound to an address and must be revealed in order to spend lovelace belonging to this address.

Constructors

VerKeyASD !VerificationKey	Funds can be spent by revealing a `VerificationKey` and providing a valid signature
RedeemASD !RedeemVerificationKey	Funds can be spent by revealing a `RedeemVerificationKey` and providing a valid signature

Instances

Instances details

FromCBOR AddrSpendingData Source #

Instance details

Methods

fromCBOR ∷ Decoder s AddrSpendingData Source #

label ∷ Proxy AddrSpendingData → Text Source #

ToCBOR AddrSpendingData Source #

Instance details

Methods

toCBOR ∷ AddrSpendingData → Encoding Source #

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

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

DecCBOR AddrSpendingData Source #

Instance details

Methods

decCBOR ∷ Decoder s AddrSpendingData Source #

dropCBOR ∷ Proxy AddrSpendingData → Decoder s () Source #

label ∷ Proxy AddrSpendingData → Text Source #

EncCBOR AddrSpendingData Source #

Instance details

Methods

encCBOR ∷ AddrSpendingData → Encoding Source #

NFData AddrSpendingData Source #

Instance details

Methods

rnf ∷ AddrSpendingData → () #

Buildable AddrSpendingData Source #

Instance details

Methods

build ∷ AddrSpendingData → Builder Source #

Generic AddrSpendingData Source #

Instance details

Associated Types

type Rep AddrSpendingData

Instance details

type Rep AddrSpendingData = D1 ('MetaData "AddrSpendingData" "Cardano.Chain.Common.AddrSpendingData" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "VerKeyASD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey)) :+: C1 ('MetaCons "RedeemASD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RedeemVerificationKey)))

Methods

from ∷ AddrSpendingData → Rep AddrSpendingData x #

to ∷ Rep AddrSpendingData x → AddrSpendingData #

Show AddrSpendingData Source #

Instance details

Methods

showsPrec ∷ Int → AddrSpendingData → ShowS #

show ∷ AddrSpendingData → String #

showList ∷ [AddrSpendingData] → ShowS #

Eq AddrSpendingData Source #

Instance details

Methods

(==) ∷ AddrSpendingData → AddrSpendingData → Bool #

(/=) ∷ AddrSpendingData → AddrSpendingData → Bool #

type Rep AddrSpendingData Source #

Instance details

type Rep AddrSpendingData = D1 ('MetaData "AddrSpendingData" "Cardano.Chain.Common.AddrSpendingData" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "VerKeyASD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey)) :+: C1 ('MetaCons "RedeemASD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RedeemVerificationKey)))

type AddressHash = AbstractHash Blake2b_224 Source #

Hash used to identify address.

data Attributes h Source #

Convenient wrapper for the datatype to represent it (in binary format) as k-v map

Constructors

Attributes
Fields attrData ∷ !h Data, containing known keys (deserialized) attrRemain ∷ !UnparsedFields Remaining, unparsed fields

Instances

Instances details

ToJSON a ⇒ ToJSON (Attributes a) Source #

Instance details

Methods

toJSON ∷ Attributes a → Value Source #

toEncoding ∷ Attributes a → Encoding Source #

toJSONList ∷ [Attributes a] → Value Source #

toEncodingList ∷ [Attributes a] → Encoding Source #

omitField ∷ Attributes a → Bool Source #

FromCBOR (Attributes AddrAttributes) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (Attributes AddrAttributes) Source #

label ∷ Proxy (Attributes AddrAttributes) → Text Source #

FromCBOR (Attributes ()) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (Attributes ()) Source #

label ∷ Proxy (Attributes ()) → Text Source #

ToCBOR (Attributes AddrAttributes) Source #

Instance details

Methods

toCBOR ∷ Attributes AddrAttributes → Encoding Source #

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

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

ToCBOR (Attributes ()) Source #

Instance details

Methods

toCBOR ∷ Attributes () → Encoding Source #

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

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

DecCBOR (Attributes AddrAttributes) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Attributes AddrAttributes) Source #

dropCBOR ∷ Proxy (Attributes AddrAttributes) → Decoder s () Source #

label ∷ Proxy (Attributes AddrAttributes) → Text Source #

DecCBOR (Attributes ()) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Attributes ()) Source #

dropCBOR ∷ Proxy (Attributes ()) → Decoder s () Source #

label ∷ Proxy (Attributes ()) → Text Source #

EncCBOR (Attributes AddrAttributes) Source #

Instance details

Methods

encCBOR ∷ Attributes AddrAttributes → Encoding Source #

EncCBOR (Attributes ()) Source #

Instance details

Methods

encCBOR ∷ Attributes () → Encoding Source #

NFData h ⇒ NFData (Attributes h) Source #

Instance details

Methods

rnf ∷ Attributes h → () #

Buildable (Attributes ()) Source #

Instance details

Methods

build ∷ Attributes () → Builder Source #

Buildable h ⇒ Buildable (Attributes h) Source #

Instance details

Methods

build ∷ Attributes h → Builder Source #

Generic (Attributes h) Source #

Instance details

Associated Types

type Rep (Attributes h)

Instance details

type Rep (Attributes h) = D1 ('MetaData "Attributes" "Cardano.Chain.Common.Attributes" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "Attributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "attrData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 h) :*: S1 ('MetaSel ('Just "attrRemain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnparsedFields)))

Methods

from ∷ Attributes h → Rep (Attributes h) x #

to ∷ Rep (Attributes h) x → Attributes h #

Show h ⇒ Show (Attributes h) Source #

Instance details

Methods

showsPrec ∷ Int → Attributes h → ShowS #

show ∷ Attributes h → String #

showList ∷ [Attributes h] → ShowS #

Eq h ⇒ Eq (Attributes h) Source #

Instance details

Methods

(==) ∷ Attributes h → Attributes h → Bool #

(/=) ∷ Attributes h → Attributes h → Bool #

Ord h ⇒ Ord (Attributes h) Source #

Instance details

Methods

compare ∷ Attributes h → Attributes h → Ordering #

(<) ∷ Attributes h → Attributes h → Bool #

(<=) ∷ Attributes h → Attributes h → Bool #

(>) ∷ Attributes h → Attributes h → Bool #

(>=) ∷ Attributes h → Attributes h → Bool #

max ∷ Attributes h → Attributes h → Attributes h #

min ∷ Attributes h → Attributes h → Attributes h #

HeapWords h ⇒ HeapWords (Attributes h) Source #

Instance details

Methods

heapWords ∷ Attributes h → Int Source #

NoThunks h ⇒ NoThunks (Attributes h) Source #

Instance details

Methods

noThunks ∷ Context → Attributes h → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Attributes h → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Attributes h) → String Source #

type Rep (Attributes h) Source #

Instance details

type Rep (Attributes h) = D1 ('MetaData "Attributes" "Cardano.Chain.Common.Attributes" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "Attributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "attrData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 h) :*: S1 ('MetaSel ('Just "attrRemain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnparsedFields)))

newtype BlockCount Source #

Constructors

BlockCount
Fields unBlockCount ∷ Word64

Instances

Instances details

FromCBOR BlockCount Source #

Instance details

Methods

fromCBOR ∷ Decoder s BlockCount Source #

label ∷ Proxy BlockCount → Text Source #

ToCBOR BlockCount Source #

Instance details

Methods

toCBOR ∷ BlockCount → Encoding Source #

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

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

DecCBOR BlockCount Source #

Instance details

Methods

decCBOR ∷ Decoder s BlockCount Source #

dropCBOR ∷ Proxy BlockCount → Decoder s () Source #

label ∷ Proxy BlockCount → Text Source #

EncCBOR BlockCount Source #

Instance details

Methods

encCBOR ∷ BlockCount → Encoding Source #

NFData BlockCount Source #

Instance details

Methods

rnf ∷ BlockCount → () #

Buildable BlockCount Source #

Instance details

Methods

build ∷ BlockCount → Builder Source #

Enum BlockCount Source #

Instance details

Methods

succ ∷ BlockCount → BlockCount #

pred ∷ BlockCount → BlockCount #

toEnum ∷ Int → BlockCount #

fromEnum ∷ BlockCount → Int #

enumFrom ∷ BlockCount → [BlockCount] #

enumFromThen ∷ BlockCount → BlockCount → [BlockCount] #

enumFromTo ∷ BlockCount → BlockCount → [BlockCount] #

enumFromThenTo ∷ BlockCount → BlockCount → BlockCount → [BlockCount] #

Generic BlockCount Source #

Instance details

Associated Types

type Rep BlockCount
Instance details Defined in Cardano.Chain.Common.BlockCount type Rep BlockCount = D1 ('MetaData "BlockCount" "Cardano.Chain.Common.BlockCount" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "BlockCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ BlockCount → Rep BlockCount x #

to ∷ Rep BlockCount x → BlockCount #

Read BlockCount Source #

Instance details

Methods

readsPrec ∷ Int → ReadS BlockCount #

readList ∷ ReadS [BlockCount] #

readPrec ∷ ReadPrec BlockCount #

readListPrec ∷ ReadPrec [BlockCount] #

Show BlockCount Source #

Instance details

Methods

showsPrec ∷ Int → BlockCount → ShowS #

show ∷ BlockCount → String #

showList ∷ [BlockCount] → ShowS #

Eq BlockCount Source #

Instance details

Methods

(==) ∷ BlockCount → BlockCount → Bool #

(/=) ∷ BlockCount → BlockCount → Bool #

Ord BlockCount Source #

Instance details

Methods

compare ∷ BlockCount → BlockCount → Ordering #

(<) ∷ BlockCount → BlockCount → Bool #

(<=) ∷ BlockCount → BlockCount → Bool #

(>) ∷ BlockCount → BlockCount → Bool #

(>=) ∷ BlockCount → BlockCount → Bool #

max ∷ BlockCount → BlockCount → BlockCount #

min ∷ BlockCount → BlockCount → BlockCount #

NoThunks BlockCount Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy BlockCount → String Source #

type Rep BlockCount Source #

Instance details

type Rep BlockCount = D1 ('MetaData "BlockCount" "Cardano.Chain.Common.BlockCount" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "BlockCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype ChainDifficulty Source #

Chain difficulty represents necessary effort to generate a chain. In the simplest case it can be number of blocks in chain.

Constructors

ChainDifficulty
Fields unChainDifficulty ∷ Word64

Instances

Instances details

ToJSON ChainDifficulty Source #

Instance details

Methods

toJSON ∷ ChainDifficulty → Value Source #

toEncoding ∷ ChainDifficulty → Encoding Source #

toJSONList ∷ [ChainDifficulty] → Value Source #

toEncodingList ∷ [ChainDifficulty] → Encoding Source #

omitField ∷ ChainDifficulty → Bool Source #

FromCBOR ChainDifficulty Source #

Instance details

Methods

fromCBOR ∷ Decoder s ChainDifficulty Source #

label ∷ Proxy ChainDifficulty → Text Source #

ToCBOR ChainDifficulty Source #

Instance details

Methods

toCBOR ∷ ChainDifficulty → Encoding Source #

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

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

DecCBOR ChainDifficulty Source #

Instance details

Methods

decCBOR ∷ Decoder s ChainDifficulty Source #

dropCBOR ∷ Proxy ChainDifficulty → Decoder s () Source #

label ∷ Proxy ChainDifficulty → Text Source #

EncCBOR ChainDifficulty Source #

Instance details

Methods

encCBOR ∷ ChainDifficulty → Encoding Source #

NFData ChainDifficulty Source #

Instance details

Methods

rnf ∷ ChainDifficulty → () #

Buildable ChainDifficulty Source #

Instance details

Methods

build ∷ ChainDifficulty → Builder Source #

Enum ChainDifficulty Source #

Instance details

Methods

succ ∷ ChainDifficulty → ChainDifficulty #

pred ∷ ChainDifficulty → ChainDifficulty #

toEnum ∷ Int → ChainDifficulty #

fromEnum ∷ ChainDifficulty → Int #

enumFrom ∷ ChainDifficulty → [ChainDifficulty] #

enumFromThen ∷ ChainDifficulty → ChainDifficulty → [ChainDifficulty] #

enumFromTo ∷ ChainDifficulty → ChainDifficulty → [ChainDifficulty] #

enumFromThenTo ∷ ChainDifficulty → ChainDifficulty → ChainDifficulty → [ChainDifficulty] #

Generic ChainDifficulty Source #

Instance details

Associated Types

type Rep ChainDifficulty
Instance details Defined in Cardano.Chain.Common.ChainDifficulty type Rep ChainDifficulty = D1 ('MetaData "ChainDifficulty" "Cardano.Chain.Common.ChainDifficulty" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "ChainDifficulty" 'PrefixI 'True) (S1 ('MetaSel ('Just "unChainDifficulty") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ ChainDifficulty → Rep ChainDifficulty x #

to ∷ Rep ChainDifficulty x → ChainDifficulty #

Show ChainDifficulty Source #

Instance details

Methods

showsPrec ∷ Int → ChainDifficulty → ShowS #

show ∷ ChainDifficulty → String #

showList ∷ [ChainDifficulty] → ShowS #

Eq ChainDifficulty Source #

Instance details

Methods

(==) ∷ ChainDifficulty → ChainDifficulty → Bool #

(/=) ∷ ChainDifficulty → ChainDifficulty → Bool #

Ord ChainDifficulty Source #

Instance details

Methods

compare ∷ ChainDifficulty → ChainDifficulty → Ordering #

(<) ∷ ChainDifficulty → ChainDifficulty → Bool #

(<=) ∷ ChainDifficulty → ChainDifficulty → Bool #

(>) ∷ ChainDifficulty → ChainDifficulty → Bool #

(>=) ∷ ChainDifficulty → ChainDifficulty → Bool #

max ∷ ChainDifficulty → ChainDifficulty → ChainDifficulty #

min ∷ ChainDifficulty → ChainDifficulty → ChainDifficulty #

NoThunks ChainDifficulty Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy ChainDifficulty → String Source #

type Rep ChainDifficulty Source #

Instance details

type Rep ChainDifficulty = D1 ('MetaData "ChainDifficulty" "Cardano.Chain.Common.ChainDifficulty" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "ChainDifficulty" 'PrefixI 'True) (S1 ('MetaSel ('Just "unChainDifficulty") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype KeyHash Source #

A KeyHash refers to a VerificationKey

Constructors

KeyHash
Fields unKeyHash ∷ AddressHash VerificationKey

Instances

Instances details

FromCBOR KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods fromCBOR ∷ Decoder s KeyHash Source # label ∷ Proxy KeyHash → Text Source #
ToCBOR KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods toCBOR ∷ KeyHash → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy KeyHash → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [KeyHash] → Size Source #
DecCBOR KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods decCBOR ∷ Decoder s KeyHash Source # dropCBOR ∷ Proxy KeyHash → Decoder s () Source # label ∷ Proxy KeyHash → Text Source #
EncCBOR KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods encCBOR ∷ KeyHash → Encoding Source #
NFData KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods rnf ∷ KeyHash → () #
Buildable KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods build ∷ KeyHash → Builder Source #
Show KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods showsPrec ∷ Int → KeyHash → ShowS # show ∷ KeyHash → String # showList ∷ [KeyHash] → ShowS #
Eq KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods (==) ∷ KeyHash → KeyHash → Bool # (/=) ∷ KeyHash → KeyHash → Bool #
Ord KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods compare ∷ KeyHash → KeyHash → Ordering # (<) ∷ KeyHash → KeyHash → Bool # (<=) ∷ KeyHash → KeyHash → Bool # (>) ∷ KeyHash → KeyHash → Bool # (>=) ∷ KeyHash → KeyHash → Bool # max ∷ KeyHash → KeyHash → KeyHash # min ∷ KeyHash → KeyHash → KeyHash #
HeapWords KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods heapWords ∷ KeyHash → Int Source #
NoThunks KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods noThunks ∷ Context → KeyHash → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → KeyHash → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy KeyHash → String Source #
MonadError SchemaError m ⇒ FromObjectKey m KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods fromObjectKey ∷ JSString → m (Maybe KeyHash) Source #
Monad m ⇒ ToObjectKey m KeyHash Source #
Instance details Defined in Cardano.Chain.Common.KeyHash Methods toObjectKey ∷ KeyHash → m JSString Source #

data LovelacePortion Source #

LovelacePortion is a legacy Byron type that we keep only for compatibility. It was originally intended to represent a fraction of stake in the system. It is used only for the thresholds used in the update system rules, most of which are now themselves unused. The remaining case is no longer interpreted as a fraction of all stake, but as a fraction of the number of genesis keys.

It has enormous precision, due to the fact that it was originally intended to represent a fraction of all stake and can cover the precision of all the Lovelace in the system.

It is represented as a rational nominator with a fixed implicit denominator of 1e15. So the nominator must be in the range [0..1e15]. This is also the representation used on-chain (in update proposals) and in the JSON genesis file.

It is interpreted as a Rational via the provided conversion functions.

Instances

Instances details

ToJSON LovelacePortion Source #

Instance details

Methods

toJSON ∷ LovelacePortion → Value Source #

toEncoding ∷ LovelacePortion → Encoding Source #

toJSONList ∷ [LovelacePortion] → Value Source #

toEncodingList ∷ [LovelacePortion] → Encoding Source #

omitField ∷ LovelacePortion → Bool Source #

FromCBOR LovelacePortion Source #

Instance details

Methods

fromCBOR ∷ Decoder s LovelacePortion Source #

label ∷ Proxy LovelacePortion → Text Source #

ToCBOR LovelacePortion Source #

Instance details

Methods

toCBOR ∷ LovelacePortion → Encoding Source #

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

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

DecCBOR LovelacePortion Source #

Instance details

Methods

decCBOR ∷ Decoder s LovelacePortion Source #

dropCBOR ∷ Proxy LovelacePortion → Decoder s () Source #

label ∷ Proxy LovelacePortion → Text Source #

EncCBOR LovelacePortion Source #

Instance details

Methods

encCBOR ∷ LovelacePortion → Encoding Source #

NFData LovelacePortion Source #

Instance details

Methods

rnf ∷ LovelacePortion → () #

Buildable LovelacePortion Source #

Instance details

Methods

build ∷ LovelacePortion → Builder Source #

Generic LovelacePortion Source #

Instance details

Associated Types

type Rep LovelacePortion
Instance details Defined in Cardano.Chain.Common.LovelacePortion type Rep LovelacePortion = D1 ('MetaData "LovelacePortion" "Cardano.Chain.Common.LovelacePortion" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "LovelacePortion" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLovelacePortion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ LovelacePortion → Rep LovelacePortion x #

to ∷ Rep LovelacePortion x → LovelacePortion #

Show LovelacePortion Source #

Instance details

Methods

showsPrec ∷ Int → LovelacePortion → ShowS #

show ∷ LovelacePortion → String #

showList ∷ [LovelacePortion] → ShowS #

Eq LovelacePortion Source #

Instance details

Methods

(==) ∷ LovelacePortion → LovelacePortion → Bool #

(/=) ∷ LovelacePortion → LovelacePortion → Bool #

Ord LovelacePortion Source #

Instance details

Methods

compare ∷ LovelacePortion → LovelacePortion → Ordering #

(<) ∷ LovelacePortion → LovelacePortion → Bool #

(<=) ∷ LovelacePortion → LovelacePortion → Bool #

(>) ∷ LovelacePortion → LovelacePortion → Bool #

(>=) ∷ LovelacePortion → LovelacePortion → Bool #

max ∷ LovelacePortion → LovelacePortion → LovelacePortion #

min ∷ LovelacePortion → LovelacePortion → LovelacePortion #

HeapWords LovelacePortion Source #

Instance details

Methods

heapWords ∷ LovelacePortion → Int Source #

NoThunks LovelacePortion Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy LovelacePortion → String Source #

MonadError SchemaError m ⇒ FromJSON m LovelacePortion Source #

Instance details

Methods

fromJSON ∷ JSValue → m LovelacePortion Source #

Monad m ⇒ ToJSON m LovelacePortion Source #

Instance details

Methods

toJSON ∷ LovelacePortion → m JSValue Source #

type Rep LovelacePortion Source #

Instance details

type Rep LovelacePortion = D1 ('MetaData "LovelacePortion" "Cardano.Chain.Common.LovelacePortion" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "LovelacePortion" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLovelacePortion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data NetworkMagic Source #

Constructors

NetworkMainOrStage
NetworkTestnet !Word32

Instances

Instances details

ToJSON NetworkMagic Source #

Instance details

Methods

toJSON ∷ NetworkMagic → Value Source #

toEncoding ∷ NetworkMagic → Encoding Source #

toJSONList ∷ [NetworkMagic] → Value Source #

toEncodingList ∷ [NetworkMagic] → Encoding Source #

omitField ∷ NetworkMagic → Bool Source #

FromCBOR NetworkMagic Source #

Instance details

Methods

fromCBOR ∷ Decoder s NetworkMagic Source #

label ∷ Proxy NetworkMagic → Text Source #

ToCBOR NetworkMagic Source #

Instance details

Methods

toCBOR ∷ NetworkMagic → Encoding Source #

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

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

DecCBOR NetworkMagic Source #

Instance details

Methods

decCBOR ∷ Decoder s NetworkMagic Source #

dropCBOR ∷ Proxy NetworkMagic → Decoder s () Source #

label ∷ Proxy NetworkMagic → Text Source #

EncCBOR NetworkMagic Source #

Instance details

Methods

encCBOR ∷ NetworkMagic → Encoding Source #

NFData NetworkMagic Source #

Instance details

Methods

rnf ∷ NetworkMagic → () #

Buildable NetworkMagic Source #

Instance details

Methods

build ∷ NetworkMagic → Builder Source #

Generic NetworkMagic Source #

Instance details

Associated Types

type Rep NetworkMagic

Instance details

type Rep NetworkMagic = D1 ('MetaData "NetworkMagic" "Cardano.Chain.Common.NetworkMagic" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "NetworkMainOrStage" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NetworkTestnet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32)))

Methods

from ∷ NetworkMagic → Rep NetworkMagic x #

to ∷ Rep NetworkMagic x → NetworkMagic #

Show NetworkMagic Source #

Instance details

Methods

showsPrec ∷ Int → NetworkMagic → ShowS #

show ∷ NetworkMagic → String #

showList ∷ [NetworkMagic] → ShowS #

Eq NetworkMagic Source #

Instance details

Methods

(==) ∷ NetworkMagic → NetworkMagic → Bool #

(/=) ∷ NetworkMagic → NetworkMagic → Bool #

Ord NetworkMagic Source #

Instance details

Methods

compare ∷ NetworkMagic → NetworkMagic → Ordering #

(<) ∷ NetworkMagic → NetworkMagic → Bool #

(<=) ∷ NetworkMagic → NetworkMagic → Bool #

(>) ∷ NetworkMagic → NetworkMagic → Bool #

(>=) ∷ NetworkMagic → NetworkMagic → Bool #

max ∷ NetworkMagic → NetworkMagic → NetworkMagic #

min ∷ NetworkMagic → NetworkMagic → NetworkMagic #

HeapWords NetworkMagic Source #

Instance details

Methods

heapWords ∷ NetworkMagic → Int Source #

NoThunks NetworkMagic Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy NetworkMagic → String Source #

type Rep NetworkMagic Source #

Instance details

TxFeePolicyTxSizeLinear !TxSizeLinear

type Rep NetworkMagic = D1 ('MetaData "NetworkMagic" "Cardano.Chain.Common.NetworkMagic" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "NetworkMainOrStage" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NetworkTestnet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word32)))

data TxFeePolicy Source #

Transaction fee policy represents a formula to compute the minimal allowed Fee for a transaction. Transactions with lesser fees won't be accepted. The Minimal fee may depend on the properties of a transaction (for example, its Size in bytes), so the policy can't be represented simply as a number.

Recall that a transaction fee is the difference between the sum of its Inputs and the sum of its outputs. The transaction is accepted when minimal_fee(tx) <= fee(tx), where minimal_fee is the function defined By the policy.

The policy can change during the lifetime of the blockchain (using the Update mechanism). At the moment we have just one policy type (a linear Equation on the transaction size), but in the future other policies may Be added. To make this future-proof, we also have an "unknown" policy used By older node versions (the ones that haven't updated yet).

Constructors

Instances

Instances details

ToJSON TxFeePolicy Source #

Instance details

Methods

toJSON ∷ TxFeePolicy → Value Source #

toEncoding ∷ TxFeePolicy → Encoding Source #

toJSONList ∷ [TxFeePolicy] → Value Source #

toEncodingList ∷ [TxFeePolicy] → Encoding Source #

omitField ∷ TxFeePolicy → Bool Source #

FromCBOR TxFeePolicy Source #

Instance details

Methods

fromCBOR ∷ Decoder s TxFeePolicy Source #

label ∷ Proxy TxFeePolicy → Text Source #

ToCBOR TxFeePolicy Source #

Instance details

Methods

toCBOR ∷ TxFeePolicy → Encoding Source #

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

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

DecCBOR TxFeePolicy Source #

Instance details

Methods

decCBOR ∷ Decoder s TxFeePolicy Source #

dropCBOR ∷ Proxy TxFeePolicy → Decoder s () Source #

label ∷ Proxy TxFeePolicy → Text Source #

EncCBOR TxFeePolicy Source #

Instance details

Methods

encCBOR ∷ TxFeePolicy → Encoding Source #

NFData TxFeePolicy Source #

Instance details

Methods

rnf ∷ TxFeePolicy → () #

Buildable TxFeePolicy Source #

Instance details

Methods

build ∷ TxFeePolicy → Builder Source #

Generic TxFeePolicy Source #

Instance details

Associated Types

type Rep TxFeePolicy
Instance details Defined in Cardano.Chain.Common.TxFeePolicy type Rep TxFeePolicy = D1 ('MetaData "TxFeePolicy" "Cardano.Chain.Common.TxFeePolicy" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "TxFeePolicyTxSizeLinear" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxSizeLinear)))

Methods

from ∷ TxFeePolicy → Rep TxFeePolicy x #

to ∷ Rep TxFeePolicy x → TxFeePolicy #

Show TxFeePolicy Source #

Instance details

Methods

showsPrec ∷ Int → TxFeePolicy → ShowS #

show ∷ TxFeePolicy → String #

showList ∷ [TxFeePolicy] → ShowS #

Eq TxFeePolicy Source #

Instance details

Methods

(==) ∷ TxFeePolicy → TxFeePolicy → Bool #

(/=) ∷ TxFeePolicy → TxFeePolicy → Bool #

Ord TxFeePolicy Source #

Instance details

Methods

compare ∷ TxFeePolicy → TxFeePolicy → Ordering #

(<) ∷ TxFeePolicy → TxFeePolicy → Bool #

(<=) ∷ TxFeePolicy → TxFeePolicy → Bool #

(>) ∷ TxFeePolicy → TxFeePolicy → Bool #

(>=) ∷ TxFeePolicy → TxFeePolicy → Bool #

max ∷ TxFeePolicy → TxFeePolicy → TxFeePolicy #

min ∷ TxFeePolicy → TxFeePolicy → TxFeePolicy #

NoThunks TxFeePolicy Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy TxFeePolicy → String Source #

MonadError SchemaError m ⇒ FromJSON m TxFeePolicy Source #

Instance details

Methods

fromJSON ∷ JSValue → m TxFeePolicy Source #

Monad m ⇒ ToJSON m TxFeePolicy Source #

Instance details

Methods

toJSON ∷ TxFeePolicy → m JSValue Source #

type Rep TxFeePolicy Source #

Instance details

type Rep TxFeePolicy = D1 ('MetaData "TxFeePolicy" "Cardano.Chain.Common.TxFeePolicy" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "TxFeePolicyTxSizeLinear" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxSizeLinear)))

data TxSizeLinear Source #

A linear equation on the transaction size. Represents the s -> a + b*s function where s is the transaction size in bytes, a and b are constant coefficients.

Constructors

TxSizeLinear !Lovelace !Rational

Instances

Instances details

ToJSON TxSizeLinear Source #

Instance details

Methods

toJSON ∷ TxSizeLinear → Value Source #

toEncoding ∷ TxSizeLinear → Encoding Source #

toJSONList ∷ [TxSizeLinear] → Value Source #

toEncodingList ∷ [TxSizeLinear] → Encoding Source #

omitField ∷ TxSizeLinear → Bool Source #

FromCBOR TxSizeLinear Source #

Instance details

Methods

fromCBOR ∷ Decoder s TxSizeLinear Source #

label ∷ Proxy TxSizeLinear → Text Source #

ToCBOR TxSizeLinear Source #

Instance details

Methods

toCBOR ∷ TxSizeLinear → Encoding Source #

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

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

DecCBOR TxSizeLinear Source #

Instance details

Methods

decCBOR ∷ Decoder s TxSizeLinear Source #

dropCBOR ∷ Proxy TxSizeLinear → Decoder s () Source #

label ∷ Proxy TxSizeLinear → Text Source #

EncCBOR TxSizeLinear Source #

Instance details

Methods

encCBOR ∷ TxSizeLinear → Encoding Source #

NFData TxSizeLinear Source #

Instance details

Methods

rnf ∷ TxSizeLinear → () #

Buildable TxSizeLinear Source #

Instance details

Methods

build ∷ TxSizeLinear → Builder Source #

Generic TxSizeLinear Source #

Instance details

Associated Types

type Rep TxSizeLinear

Instance details

type Rep TxSizeLinear = D1 ('MetaData "TxSizeLinear" "Cardano.Chain.Common.TxSizeLinear" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "TxSizeLinear" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Lovelace) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational)))

Methods

from ∷ TxSizeLinear → Rep TxSizeLinear x #

to ∷ Rep TxSizeLinear x → TxSizeLinear #

Show TxSizeLinear Source #

Instance details

Methods

showsPrec ∷ Int → TxSizeLinear → ShowS #

show ∷ TxSizeLinear → String #

showList ∷ [TxSizeLinear] → ShowS #

Eq TxSizeLinear Source #

Instance details

Methods

(==) ∷ TxSizeLinear → TxSizeLinear → Bool #

(/=) ∷ TxSizeLinear → TxSizeLinear → Bool #

Ord TxSizeLinear Source #

Instance details

Methods

compare ∷ TxSizeLinear → TxSizeLinear → Ordering #

(<) ∷ TxSizeLinear → TxSizeLinear → Bool #

(<=) ∷ TxSizeLinear → TxSizeLinear → Bool #

(>) ∷ TxSizeLinear → TxSizeLinear → Bool #

(>=) ∷ TxSizeLinear → TxSizeLinear → Bool #

max ∷ TxSizeLinear → TxSizeLinear → TxSizeLinear #

min ∷ TxSizeLinear → TxSizeLinear → TxSizeLinear #

NoThunks TxSizeLinear Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy TxSizeLinear → String Source #

type Rep TxSizeLinear Source #

Instance details

type Rep TxSizeLinear = D1 ('MetaData "TxSizeLinear" "Cardano.Chain.Common.TxSizeLinear" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "TxSizeLinear" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Lovelace) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational)))

hashKey ∷ VerificationKey → KeyHash Source #

data LovelaceError Source #

Constructors

LovelaceOverflow Word64
LovelaceTooLarge Integer
LovelaceTooSmall Integer
LovelaceUnderflow Word64 Word64

Instances

Instances details

FromCBOR LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods fromCBOR ∷ Decoder s LovelaceError Source # label ∷ Proxy LovelaceError → Text Source #
ToCBOR LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods toCBOR ∷ LovelaceError → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy LovelaceError → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LovelaceError] → Size Source #
DecCBOR LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods decCBOR ∷ Decoder s LovelaceError Source # dropCBOR ∷ Proxy LovelaceError → Decoder s () Source # label ∷ Proxy LovelaceError → Text Source #
EncCBOR LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods encCBOR ∷ LovelaceError → Encoding Source #
Buildable LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods build ∷ LovelaceError → Builder Source #
Data LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → LovelaceError → c LovelaceError # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c LovelaceError # toConstr ∷ LovelaceError → Constr # dataTypeOf ∷ LovelaceError → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c LovelaceError) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c LovelaceError) # gmapT ∷ (∀ b. Data b ⇒ b → b) → LovelaceError → LovelaceError # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → LovelaceError → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → LovelaceError → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → LovelaceError → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → LovelaceError → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → LovelaceError → m LovelaceError # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → LovelaceError → m LovelaceError # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → LovelaceError → m LovelaceError #
Show LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods showsPrec ∷ Int → LovelaceError → ShowS # show ∷ LovelaceError → String # showList ∷ [LovelaceError] → ShowS #
Eq LovelaceError Source #
Instance details Defined in Cardano.Chain.Common.Lovelace Methods (==) ∷ LovelaceError → LovelaceError → Bool # (/=) ∷ LovelaceError → LovelaceError → Bool #

isRedeemAddress ∷ Address → Bool Source #

Check whether an Address is redeem address

sumLovelace ∷ (Foldable t, Functor t) ⇒ t Lovelace → Either LovelaceError Lovelace Source #

Compute sum of all lovelace in container. Result is Integer as a protection against possible overflow.

addrNetworkMagic ∷ Address → NetworkMagic Source #

Get NetworkMagic from Address

calculateTxSizeLinear ∷ TxSizeLinear → Natural → Either LovelaceError Lovelace Source #

checkRedeemAddress ∷ RedeemVerificationKey → Address → Bool Source #

Check if given Address is created from given RedeemVerificationKey

checkVerKeyAddress ∷ VerificationKey → Address → Bool Source #

Check if given Address is created from given VerificationKey

makeNetworkMagic ∷ AProtocolMagic a → NetworkMagic Source #

mkKnownLovelace ∷ ∀ (n ∷ Nat). (KnownNat n, n <= 45000000000000000) ⇒ Lovelace Source #

Construct a Lovelace from a KnownNat, known to be less than maxLovelaceVal

subLovelace ∷ Lovelace → Lovelace → Either LovelaceError Lovelace Source #

Subtraction of lovelace, returning LovelaceError on underflow

unknownAttributesLength ∷ Attributes a → Int Source #

dropEmptyAttributes ∷ Dropper s Source #

Drop `Attributes ()` making sure that the UnparsedFields are empty

addressHash ∷ EncCBOR a ⇒ a → AddressHash a Source #

decCBORAttributes ∷ t → (Word8 → ByteString → t → Decoder s (Maybe t)) → Decoder s (Attributes t) Source #

dropAttributes ∷ Dropper s Source #

newtype HDAddressPayload Source #

HDAddressPayload is a specific address attribute that was used by the Cardano wallet at mainnet launch, prior to moving to a BIP-44 style scheme.

It consisted of

serialized and encrypted using HDPassphrase derivation path from the root key to given descendant key (using ChaChaPoly1305 algorithm)
cryptographic tag

It is still distinguished as an attribute, but not used by the ledger, because the attributes size limits treat this attribute specially.

Constructors

HDAddressPayload
Fields getHDAddressPayload ∷ ByteString

Instances

Instances details

ToJSON HDAddressPayload Source #

Instance details

Methods

toJSON ∷ HDAddressPayload → Value Source #

toEncoding ∷ HDAddressPayload → Encoding Source #

toJSONList ∷ [HDAddressPayload] → Value Source #

toEncodingList ∷ [HDAddressPayload] → Encoding Source #

omitField ∷ HDAddressPayload → Bool Source #

FromCBOR HDAddressPayload Source #

Instance details

Methods

fromCBOR ∷ Decoder s HDAddressPayload Source #

label ∷ Proxy HDAddressPayload → Text Source #

ToCBOR HDAddressPayload Source #

Instance details

Methods

toCBOR ∷ HDAddressPayload → Encoding Source #

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

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

DecCBOR HDAddressPayload Source #

Instance details

Methods

decCBOR ∷ Decoder s HDAddressPayload Source #

dropCBOR ∷ Proxy HDAddressPayload → Decoder s () Source #

label ∷ Proxy HDAddressPayload → Text Source #

EncCBOR HDAddressPayload Source #

Instance details

Methods

encCBOR ∷ HDAddressPayload → Encoding Source #

NFData HDAddressPayload Source #

Instance details

Methods

rnf ∷ HDAddressPayload → () #

Generic HDAddressPayload Source #

Instance details

Associated Types

type Rep HDAddressPayload
Instance details Defined in Cardano.Chain.Common.AddrAttributes type Rep HDAddressPayload = D1 ('MetaData "HDAddressPayload" "Cardano.Chain.Common.AddrAttributes" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "HDAddressPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHDAddressPayload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Methods

from ∷ HDAddressPayload → Rep HDAddressPayload x #

to ∷ Rep HDAddressPayload x → HDAddressPayload #

Show HDAddressPayload Source #

Instance details

Methods

showsPrec ∷ Int → HDAddressPayload → ShowS #

show ∷ HDAddressPayload → String #

showList ∷ [HDAddressPayload] → ShowS #

Eq HDAddressPayload Source #

Instance details

Methods

(==) ∷ HDAddressPayload → HDAddressPayload → Bool #

(/=) ∷ HDAddressPayload → HDAddressPayload → Bool #

Ord HDAddressPayload Source #

Instance details

Methods

compare ∷ HDAddressPayload → HDAddressPayload → Ordering #

(<) ∷ HDAddressPayload → HDAddressPayload → Bool #

(<=) ∷ HDAddressPayload → HDAddressPayload → Bool #

(>) ∷ HDAddressPayload → HDAddressPayload → Bool #

(>=) ∷ HDAddressPayload → HDAddressPayload → Bool #

max ∷ HDAddressPayload → HDAddressPayload → HDAddressPayload #

min ∷ HDAddressPayload → HDAddressPayload → HDAddressPayload #

HeapWords HDAddressPayload Source #

Instance details

Methods

heapWords ∷ HDAddressPayload → Int Source #

NoThunks HDAddressPayload Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy HDAddressPayload → String Source #

type Rep HDAddressPayload Source #

Instance details

type Rep HDAddressPayload = D1 ('MetaData "HDAddressPayload" "Cardano.Chain.Common.AddrAttributes" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "HDAddressPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHDAddressPayload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

encCBORAttributes ∷ [(Word8, t → ByteString)] → Attributes t → Encoding Source #

data AddrType Source #

Type of an address. It corresponds to constructors of AddrSpendingData. It's separated, because Address doesn't store AddrSpendingData, but we want to know its type.

Constructors

ATVerKey
ATRedeem

Instances

Instances details

ToJSON AddrType Source #

Instance details

Methods

toJSON ∷ AddrType → Value Source #

toEncoding ∷ AddrType → Encoding Source #

toJSONList ∷ [AddrType] → Value Source #

toEncodingList ∷ [AddrType] → Encoding Source #

omitField ∷ AddrType → Bool Source #

FromCBOR AddrType Source #

Instance details

Methods

fromCBOR ∷ Decoder s AddrType Source #

label ∷ Proxy AddrType → Text Source #

ToCBOR AddrType Source #

Instance details

Methods

toCBOR ∷ AddrType → Encoding Source #

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

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

DecCBOR AddrType Source #

Instance details

Methods

decCBOR ∷ Decoder s AddrType Source #

dropCBOR ∷ Proxy AddrType → Decoder s () Source #

label ∷ Proxy AddrType → Text Source #

EncCBOR AddrType Source #

Instance details

Methods

encCBOR ∷ AddrType → Encoding Source #

NFData AddrType Source #

Instance details

Methods

rnf ∷ AddrType → () #

Generic AddrType Source #

Instance details

Associated Types

type Rep AddrType
Instance details Defined in Cardano.Chain.Common.AddrSpendingData type Rep AddrType = D1 ('MetaData "AddrType" "Cardano.Chain.Common.AddrSpendingData" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "ATVerKey" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ATRedeem" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ AddrType → Rep AddrType x #

to ∷ Rep AddrType x → AddrType #

Show AddrType Source #

Instance details

Methods

showsPrec ∷ Int → AddrType → ShowS #

show ∷ AddrType → String #

showList ∷ [AddrType] → ShowS #

Eq AddrType Source #

Instance details

Methods

(==) ∷ AddrType → AddrType → Bool #

(/=) ∷ AddrType → AddrType → Bool #

Ord AddrType Source #

Instance details

Methods

compare ∷ AddrType → AddrType → Ordering #

(<) ∷ AddrType → AddrType → Bool #

(<=) ∷ AddrType → AddrType → Bool #

(>) ∷ AddrType → AddrType → Bool #

(>=) ∷ AddrType → AddrType → Bool #

max ∷ AddrType → AddrType → AddrType #

min ∷ AddrType → AddrType → AddrType #

HeapWords AddrType Source #

Instance details

Methods

heapWords ∷ AddrType → Int Source #

NoThunks AddrType Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy AddrType → String Source #

type Rep AddrType Source #

Instance details

type Rep AddrType = D1 ('MetaData "AddrType" "Cardano.Chain.Common.AddrSpendingData" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "ATVerKey" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ATRedeem" 'PrefixI 'False) (U1 ∷ Type → Type))

addrSpendingDataToType ∷ AddrSpendingData → AddrType Source #

Convert AddrSpendingData to the corresponding AddrType

newtype Address' Source #

Hash of this data is stored in Address. This type exists mostly for internal usage.

Constructors

Address'
Fields unAddress' ∷ (AddrType, AddrSpendingData, Attributes AddrAttributes)

Instances

Instances details

FromCBOR Address' Source #

Instance details

Methods

fromCBOR ∷ Decoder s Address' Source #

label ∷ Proxy Address' → Text Source #

ToCBOR Address' Source #

Instance details

Methods

toCBOR ∷ Address' → Encoding Source #

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

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

DecCBOR Address' Source #

Instance details

Methods

decCBOR ∷ Decoder s Address' Source #

dropCBOR ∷ Proxy Address' → Decoder s () Source #

label ∷ Proxy Address' → Text Source #

EncCBOR Address' Source #

Instance details

Methods

encCBOR ∷ Address' → Encoding Source #

Generic Address' Source #

Instance details

Associated Types

type Rep Address'
Instance details Defined in Cardano.Chain.Common.Address type Rep Address' = D1 ('MetaData "Address'" "Cardano.Chain.Common.Address" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "Address'" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAddress'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AddrType, AddrSpendingData, Attributes AddrAttributes))))

Methods

from ∷ Address' → Rep Address' x #

to ∷ Rep Address' x → Address' #

Show Address' Source #

Instance details

Methods

showsPrec ∷ Int → Address' → ShowS #

show ∷ Address' → String #

showList ∷ [Address'] → ShowS #

Eq Address' Source #

Instance details

Methods

(==) ∷ Address' → Address' → Bool #

(/=) ∷ Address' → Address' → Bool #

type Rep Address' Source #

Instance details

makeVerKeyHdwAddress Source #

type Rep Address' = D1 ('MetaData "Address'" "Cardano.Chain.Common.Address" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "Address'" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAddress'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AddrType, AddrSpendingData, Attributes AddrAttributes))))

addressF ∷ Format r (Address → r) Source #

Specialized formatter for Address

addressDetailedF ∷ Format r (Address → r) Source #

A formatter showing guts of an Address

checkAddrSpendingData ∷ AddrSpendingData → Address → Bool Source #

Check whether given AddrSpendingData corresponds to given Address

addrToBase58 ∷ Address → ByteString Source #

encCBORAddr ∷ Address → Encoding Source #

encCBORAddrCRC32 ∷ Address → Encoding Source #

decodeAddressBase58 ∷ Text → Either DecoderError Address Source #

Decode an address from Base58 encoded Text.

encodeAddressBase58 ∷ Address → Text Source #

Encode an address to Text. `decodeAddressBase58 (encodeAddressBase58 x) === Right x`

addrAttributesUnwrapped ∷ Address → AddrAttributes Source #

Get AddrAttributes from Address

makeAddress ∷ AddrSpendingData → AddrAttributes → Address Source #

Make an Address from spending data and attributes.

makeVerKeyAddress ∷ NetworkMagic → VerificationKey → Address Source #

A function for making an address from VerificationKey

Arguments

∷ NetworkMagic
→ HDAddressPayload	Derivation path
→ VerificationKey
→ Address

A function for making an HDW address

makeRedeemAddress ∷ NetworkMagic → RedeemVerificationKey → Address Source #

A function for making an address from RedeemVerificationKey

mkAttributes ∷ h → Attributes h Source #

decodeCrcProtected ∷ ∀ s a. DecCBOR a ⇒ Decoder s a Source #

Decodes a CBOR blob into a value of type a, checking the serialised CRC corresponds to the computed one

encodeCrcProtected ∷ ToCBOR a ⇒ a → Encoding Source #

Encodes a value of type a, protecting it from accidental corruption by protecting it with a CRC.

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

unsafeAddressHash ∷ EncCBOR a ⇒ a → AddressHash b Source #

newtype UnparsedFields Source #

Representation of unparsed fields in Attributes. Newtype wrapper is used for clear backward compatibility between previous representation (which was just a single ByteString) during transition from Store to CBOR.

Constructors

UnparsedFields (Map Word8 ByteString)

Instances

Instances details

ToJSON UnparsedFields Source #

Instance details

Methods

toJSON ∷ UnparsedFields → Value Source #

toEncoding ∷ UnparsedFields → Encoding Source #

toJSONList ∷ [UnparsedFields] → Value Source #

toEncodingList ∷ [UnparsedFields] → Encoding Source #

omitField ∷ UnparsedFields → Bool Source #

NFData UnparsedFields Source #

Instance details

Methods

rnf ∷ UnparsedFields → () #

Generic UnparsedFields Source #

Instance details

Associated Types

type Rep UnparsedFields
Instance details Defined in Cardano.Chain.Common.Attributes type Rep UnparsedFields = D1 ('MetaData "UnparsedFields" "Cardano.Chain.Common.Attributes" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "UnparsedFields" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Word8 ByteString))))

Methods

from ∷ UnparsedFields → Rep UnparsedFields x #

to ∷ Rep UnparsedFields x → UnparsedFields #

Show UnparsedFields Source #

Instance details

Methods

showsPrec ∷ Int → UnparsedFields → ShowS #

show ∷ UnparsedFields → String #

showList ∷ [UnparsedFields] → ShowS #

Eq UnparsedFields Source #

Instance details

Methods

(==) ∷ UnparsedFields → UnparsedFields → Bool #

(/=) ∷ UnparsedFields → UnparsedFields → Bool #

Ord UnparsedFields Source #

Instance details

Methods

compare ∷ UnparsedFields → UnparsedFields → Ordering #

(<) ∷ UnparsedFields → UnparsedFields → Bool #

(<=) ∷ UnparsedFields → UnparsedFields → Bool #

(>) ∷ UnparsedFields → UnparsedFields → Bool #

(>=) ∷ UnparsedFields → UnparsedFields → Bool #

max ∷ UnparsedFields → UnparsedFields → UnparsedFields #

min ∷ UnparsedFields → UnparsedFields → UnparsedFields #

HeapWords UnparsedFields Source #

Instance details

Methods

heapWords ∷ UnparsedFields → Int Source #

NoThunks UnparsedFields Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy UnparsedFields → String Source #

type Rep UnparsedFields Source #

Instance details

type Rep UnparsedFields = D1 ('MetaData "UnparsedFields" "Cardano.Chain.Common.Attributes" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "UnparsedFields" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Word8 ByteString))))

attributesAreKnown ∷ Attributes a → Bool Source #

Check whether all data from Attributes is known, i. e. was successfully parsed into some structured data

encodeKnownCborDataItem ∷ EncCBOR a ⇒ a → Encoding Source #

This is an alias for encodeNestedCbor.

This function is used to handle the case of a known type, but compatible with the encoding used by encodeUnknownCborDataItem.

encodeUnknownCborDataItem ∷ LByteString → Encoding Source #

This is an alias for encodeNestedCborBytes, so all its details apply.

This function is used to handle the case of an unknown type, so it takes an opaque blob that is the representation of the value of the unknown type.

knownCborDataItemSizeExpr ∷ Size → Size Source #

unknownCborDataItemSizeExpr ∷ Size → Size Source #

decodeKnownCborDataItem ∷ DecCBOR a ⇒ Decoder s a Source #

This is an alias for decodeNestedCbor.

This function is used to handle the case of a known type, but compatible with the encoding used by decodeUnknownCborDataItem.

decodeUnknownCborDataItem ∷ Decoder s ByteString Source #

This is an alias for decodeNestedCborBytes, so all its details apply.

This function is used to handle the case of an unknown type, so it returns an opaque blob that is the representation of the value of the unknown type.

dropChainDifficulty ∷ Dropper s Source #

data CompactAddress Source #

A compact in-memory representation for an Address.

Convert using toCompactAddress and fromCompactAddress.

Instances

Instances details

FromCBOR CompactAddress Source #

Instance details

Methods

fromCBOR ∷ Decoder s CompactAddress Source #

label ∷ Proxy CompactAddress → Text Source #

ToCBOR CompactAddress Source #

Instance details

Methods

toCBOR ∷ CompactAddress → Encoding Source #

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

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

DecCBOR CompactAddress Source #

Instance details

Methods

decCBOR ∷ Decoder s CompactAddress Source #

dropCBOR ∷ Proxy CompactAddress → Decoder s () Source #

label ∷ Proxy CompactAddress → Text Source #

EncCBOR CompactAddress Source #

Instance details

Methods

encCBOR ∷ CompactAddress → Encoding Source #

NFData CompactAddress Source #

Instance details

Methods

rnf ∷ CompactAddress → () #

Generic CompactAddress Source #

Instance details

Associated Types

type Rep CompactAddress
Instance details Defined in Cardano.Chain.Common.Compact type Rep CompactAddress = D1 ('MetaData "CompactAddress" "Cardano.Chain.Common.Compact" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "CompactAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))

Methods

from ∷ CompactAddress → Rep CompactAddress x #

to ∷ Rep CompactAddress x → CompactAddress #

Show CompactAddress Source #

Instance details

Methods

showsPrec ∷ Int → CompactAddress → ShowS #

show ∷ CompactAddress → String #

showList ∷ [CompactAddress] → ShowS #

Eq CompactAddress Source #

Instance details

Methods

(==) ∷ CompactAddress → CompactAddress → Bool #

(/=) ∷ CompactAddress → CompactAddress → Bool #

Ord CompactAddress Source #

Instance details

Methods

compare ∷ CompactAddress → CompactAddress → Ordering #

(<) ∷ CompactAddress → CompactAddress → Bool #

(<=) ∷ CompactAddress → CompactAddress → Bool #

(>) ∷ CompactAddress → CompactAddress → Bool #

(>=) ∷ CompactAddress → CompactAddress → Bool #

max ∷ CompactAddress → CompactAddress → CompactAddress #

min ∷ CompactAddress → CompactAddress → CompactAddress #

HeapWords CompactAddress Source #

Instance details

Methods

heapWords ∷ CompactAddress → Int Source #

NoThunks CompactAddress Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy CompactAddress → String Source #

type Rep CompactAddress Source #

Instance details

type Rep CompactAddress = D1 ('MetaData "CompactAddress" "Cardano.Chain.Common.Compact" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "CompactAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))

toCompactAddress ∷ Address → CompactAddress Source #

fromCompactAddress ∷ CompactAddress → Address Source #

unsafeGetCompactAddress ∷ CompactAddress → ShortByteString Source #

maxLovelaceVal ∷ Word64 Source #

Maximal possible value of Lovelace

mkLovelace ∷ Word64 → Either LovelaceError Lovelace Source #

Constructor for Lovelace returning LovelaceError when c exceeds maxLovelaceVal

lovelaceF ∷ Format r (Lovelace → r) Source #

Lovelace formatter which restricts type.

unsafeGetLovelace ∷ Lovelace → Word64 Source #

Unwraps Lovelace. It's called “unsafe” so that people wouldn't use it willy-nilly if they want to sum lovelace or something. It's actually safe.

lovelaceToInteger ∷ Lovelace → Integer Source #

integerToLovelace ∷ Integer → Either LovelaceError Lovelace Source #

addLovelace ∷ Lovelace → Lovelace → Either LovelaceError Lovelace Source #

Addition of lovelace, returning LovelaceError in case of overflow

scaleLovelace ∷ Integral b ⇒ Lovelace → b → Either LovelaceError Lovelace Source #

Scale a Lovelace by an Integral factor, returning LovelaceError when the result is too large

scaleLovelaceRational ∷ Lovelace → Rational → Lovelace Source #

Scale a Lovelace by a rational factor, rounding down.

scaleLovelaceRationalUp ∷ Lovelace → Rational → Lovelace Source #

Scale a Lovelace by a rational factor, rounding up.

divLovelace ∷ Integral b ⇒ Lovelace → b → Either LovelaceError Lovelace Source #

Integer division of a Lovelace by an Integral factor

modLovelace ∷ Integral b ⇒ Lovelace → b → Either LovelaceError Lovelace Source #

Integer modulus of a Lovelace by an Integral factor

rationalToLovelacePortion ∷ Rational → LovelacePortion Source #

Make a LovelacePortion from a Rational which must be in the range [0..1].

lovelacePortionToRational ∷ LovelacePortion → Rational Source #

Turn a LovelacePortion into a Rational in the range [0..1].

newtype MerkleRoot a Source #

Data type for root of Merkle tree

Constructors

MerkleRoot
Fields getMerkleRoot ∷ Hash Raw returns root `Hash` of Merkle Tree

Instances

Instances details

ToJSON a ⇒ ToJSON (MerkleRoot a) Source #

Instance details

Methods

toJSON ∷ MerkleRoot a → Value Source #

toEncoding ∷ MerkleRoot a → Encoding Source #

toJSONList ∷ [MerkleRoot a] → Value Source #

toEncodingList ∷ [MerkleRoot a] → Encoding Source #

omitField ∷ MerkleRoot a → Bool Source #

DecCBOR a ⇒ FromCBOR (MerkleRoot a) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (MerkleRoot a) Source #

label ∷ Proxy (MerkleRoot a) → Text Source #

(EncCBOR a, Typeable a) ⇒ ToCBOR (MerkleRoot a) Source #

Instance details

Methods

toCBOR ∷ MerkleRoot a → Encoding Source #

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

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

DecCBOR a ⇒ DecCBOR (MerkleRoot a) Source #

Instance details

Methods

decCBOR ∷ Decoder s (MerkleRoot a) Source #

dropCBOR ∷ Proxy (MerkleRoot a) → Decoder s () Source #

label ∷ Proxy (MerkleRoot a) → Text Source #

EncCBOR a ⇒ EncCBOR (MerkleRoot a) Source #

Instance details

Methods

encCBOR ∷ MerkleRoot a → Encoding Source #

NFData (MerkleRoot a) Source #

Instance details

Methods

rnf ∷ MerkleRoot a → () #

Buildable (MerkleRoot a) Source #

Instance details

Methods

build ∷ MerkleRoot a → Builder Source #

Generic (MerkleRoot a) Source #

Instance details