cardano-ledger-core-1.19.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.BaseTypes

Synopsis

Documentation

module Cardano.Slotting.Block

newtype EpochInterval Source #

Constructors

EpochInterval 

Fields

Instances

Instances details
FromJSON EpochInterval 
Instance details

Defined in Cardano.Slotting.Slot

Methods

parseJSON ∷ Value → Parser EpochInterval Source #

parseJSONList ∷ Value → Parser [EpochInterval] Source #

omittedField ∷ Maybe EpochInterval Source #

ToJSON EpochInterval 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toJSON ∷ EpochInterval → Value Source #

toEncoding ∷ EpochInterval → Encoding Source #

toJSONList ∷ [EpochInterval] → Value Source #

toEncodingList ∷ [EpochInterval] → Encoding Source #

omitField ∷ EpochInterval → Bool Source #

FromCBOR EpochInterval 
Instance details

Defined in Cardano.Slotting.Slot

Methods

fromCBOR ∷ Decoder s EpochInterval Source #

label ∷ Proxy EpochInterval → Text Source #

ToCBOR EpochInterval 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBOR ∷ EpochInterval → Encoding Source #

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

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

DecCBOR EpochInterval 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s EpochInterval Source #

dropCBOR ∷ Proxy EpochInterval → Decoder s () Source #

label ∷ Proxy EpochInterval → Text Source #

EncCBOR EpochInterval 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ EpochInterval → Encoding Source #

ToPlutusData EpochInterval Source # 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ EpochInterval → Data Source #

fromPlutusData ∷ Data → Maybe EpochInterval Source #

NFData EpochInterval 
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf ∷ EpochInterval → () #

Generic EpochInterval 
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep EpochInterval 
Instance details

Defined in Cardano.Slotting.Slot

type Rep EpochInterval = D1 ('MetaData "EpochInterval" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.1-4d0bfcfba3d9e3f6ef7b2bd9f293abc4a2d1cad218e4dd80655496f988d12019" 'True) (C1 ('MetaCons "EpochInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochInterval") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

Methods

from ∷ EpochInterval → Rep EpochInterval x #

to ∷ Rep EpochInterval x → EpochInterval #

Show EpochInterval 
Instance details

Defined in Cardano.Slotting.Slot

Methods

showsPrec ∷ Int → EpochInterval → ShowS #

show ∷ EpochInterval → String #

showList ∷ [EpochInterval] → ShowS #

Eq EpochInterval 
Instance details

Defined in Cardano.Slotting.Slot

Methods

(==) ∷ EpochInterval → EpochInterval → Bool #

(/=) ∷ EpochInterval → EpochInterval → Bool #

Ord EpochInterval 
Instance details

Defined in Cardano.Slotting.Slot

Methods

compare ∷ EpochInterval → EpochInterval → Ordering #

(<) ∷ EpochInterval → EpochInterval → Bool #

(<=) ∷ EpochInterval → EpochInterval → Bool #

(>) ∷ EpochInterval → EpochInterval → Bool #

(>=) ∷ EpochInterval → EpochInterval → Bool #

max ∷ EpochInterval → EpochInterval → EpochInterval #

min ∷ EpochInterval → EpochInterval → EpochInterval #

NoThunks EpochInterval 
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

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

showTypeOf ∷ Proxy EpochInterval → String Source #

type Rep EpochInterval 
Instance details

Defined in Cardano.Slotting.Slot

type Rep EpochInterval = D1 ('MetaData "EpochInterval" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.1-4d0bfcfba3d9e3f6ef7b2bd9f293abc4a2d1cad218e4dd80655496f988d12019" 'True) (C1 ('MetaCons "EpochInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochInterval") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

newtype EpochSize Source #

Constructors

EpochSize 

Fields

Instances

Instances details
FromJSON EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

Methods

parseJSON ∷ Value → Parser EpochSize Source #

parseJSONList ∷ Value → Parser [EpochSize] Source #

omittedField ∷ Maybe EpochSize Source #

ToJSON EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toJSON ∷ EpochSize → Value Source #

toEncoding ∷ EpochSize → Encoding Source #

toJSONList ∷ [EpochSize] → Value Source #

toEncodingList ∷ [EpochSize] → Encoding Source #

omitField ∷ EpochSize → Bool Source #

FromCBOR EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

Methods

fromCBOR ∷ Decoder s EpochSize Source #

label ∷ Proxy EpochSize → Text Source #

ToCBOR EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBOR ∷ EpochSize → Encoding Source #

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

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

DecCBOR EpochSize 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s EpochSize Source #

dropCBOR ∷ Proxy EpochSize → Decoder s () Source #

label ∷ Proxy EpochSize → Text Source #

EncCBOR EpochSize 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ EpochSize → Encoding Source #

NFData EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf ∷ EpochSize → () #

Enum EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

Methods

succ ∷ EpochSize → EpochSize #

pred ∷ EpochSize → EpochSize #

toEnum ∷ Int → EpochSize #

fromEnum ∷ EpochSize → Int #

enumFrom ∷ EpochSize → [EpochSize] #

enumFromThen ∷ EpochSize → EpochSize → [EpochSize] #

enumFromTo ∷ EpochSize → EpochSize → [EpochSize] #

enumFromThenTo ∷ EpochSize → EpochSize → EpochSize → [EpochSize] #

Generic EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

type Rep EpochSize = D1 ('MetaData "EpochSize" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.1-4d0bfcfba3d9e3f6ef7b2bd9f293abc4a2d1cad218e4dd80655496f988d12019" 'True) (C1 ('MetaCons "EpochSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ EpochSize → Rep EpochSize x #

to ∷ Rep EpochSize x → EpochSize #

Show EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

Methods

showsPrec ∷ Int → EpochSize → ShowS #

show ∷ EpochSize → String #

showList ∷ [EpochSize] → ShowS #

Eq EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

Methods

(==) ∷ EpochSize → EpochSize → Bool #

(/=) ∷ EpochSize → EpochSize → Bool #

Ord EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

Methods

compare ∷ EpochSize → EpochSize → Ordering #

(<) ∷ EpochSize → EpochSize → Bool #

(<=) ∷ EpochSize → EpochSize → Bool #

(>) ∷ EpochSize → EpochSize → Bool #

(>=) ∷ EpochSize → EpochSize → Bool #

max ∷ EpochSize → EpochSize → EpochSize #

min ∷ EpochSize → EpochSize → EpochSize #

NoThunks EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

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

showTypeOf ∷ Proxy EpochSize → String Source #

type Rep EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

type Rep EpochSize = D1 ('MetaData "EpochSize" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.1-4d0bfcfba3d9e3f6ef7b2bd9f293abc4a2d1cad218e4dd80655496f988d12019" 'True) (C1 ('MetaCons "EpochSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype EpochNo Source #

An epoch, i.e. the number of the epoch.

Constructors

EpochNo 

Fields

Instances

Instances details
FromJSON EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

parseJSON ∷ Value → Parser EpochNo Source #

parseJSONList ∷ Value → Parser [EpochNo] Source #

omittedField ∷ Maybe EpochNo Source #

ToJSON EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toJSON ∷ EpochNo → Value Source #

toEncoding ∷ EpochNo → Encoding Source #

toJSONList ∷ [EpochNo] → Value Source #

toEncodingList ∷ [EpochNo] → Encoding Source #

omitField ∷ EpochNo → Bool Source #

FromCBOR EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

fromCBOR ∷ Decoder s EpochNo Source #

label ∷ Proxy EpochNo → Text Source #

ToCBOR EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBOR ∷ EpochNo → Encoding Source #

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

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

DecCBOR EpochNo 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s EpochNo Source #

dropCBOR ∷ Proxy EpochNo → Decoder s () Source #

label ∷ Proxy EpochNo → Text Source #

EncCBOR EpochNo 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ EpochNo → Encoding Source #

NFData EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf ∷ EpochNo → () #

Enum EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

succ ∷ EpochNo → EpochNo #

pred ∷ EpochNo → EpochNo #

toEnum ∷ Int → EpochNo #

fromEnum ∷ EpochNo → Int #

enumFrom ∷ EpochNo → [EpochNo] #

enumFromThen ∷ EpochNo → EpochNo → [EpochNo] #

enumFromTo ∷ EpochNo → EpochNo → [EpochNo] #

enumFromThenTo ∷ EpochNo → EpochNo → EpochNo → [EpochNo] #

Generic EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.1-4d0bfcfba3d9e3f6ef7b2bd9f293abc4a2d1cad218e4dd80655496f988d12019" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ EpochNo → Rep EpochNo x #

to ∷ Rep EpochNo x → EpochNo #

Show EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

showsPrec ∷ Int → EpochNo → ShowS #

show ∷ EpochNo → String #

showList ∷ [EpochNo] → ShowS #

Eq EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

(==) ∷ EpochNo → EpochNo → Bool #

(/=) ∷ EpochNo → EpochNo → Bool #

Ord EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

compare ∷ EpochNo → EpochNo → Ordering #

(<) ∷ EpochNo → EpochNo → Bool #

(<=) ∷ EpochNo → EpochNo → Bool #

(>) ∷ EpochNo → EpochNo → Bool #

(>=) ∷ EpochNo → EpochNo → Bool #

max ∷ EpochNo → EpochNo → EpochNo #

min ∷ EpochNo → EpochNo → EpochNo #

NoThunks EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

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

showTypeOf ∷ Proxy EpochNo → String Source #

Serialise EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

encode ∷ EpochNo → Encoding Source #

decode ∷ Decoder s EpochNo Source #

encodeList ∷ [EpochNo] → Encoding Source #

decodeList ∷ Decoder s [EpochNo] Source #

type Rep EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.1-4d0bfcfba3d9e3f6ef7b2bd9f293abc4a2d1cad218e4dd80655496f988d12019" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data WithOrigin t Source #

Constructors

Origin 
At !t 

Instances

Instances details
Functor WithOrigin 
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

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

Foldable WithOrigin 
Instance details

Defined in Cardano.Slotting.Slot

Methods

fold ∷ Monoid m ⇒ WithOrigin m → m #

foldMap ∷ Monoid m ⇒ (a → m) → WithOrigin a → m #

foldMap' ∷ Monoid m ⇒ (a → m) → WithOrigin a → m #

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

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

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

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

foldr1 ∷ (a → a → a) → WithOrigin a → a #

foldl1 ∷ (a → a → a) → WithOrigin a → a #

toList ∷ WithOrigin a → [a] #

null ∷ WithOrigin a → Bool #

length ∷ WithOrigin a → Int #

elem ∷ Eq a ⇒ a → WithOrigin a → Bool #

maximum ∷ Ord a ⇒ WithOrigin a → a #

minimum ∷ Ord a ⇒ WithOrigin a → a #

sum ∷ Num a ⇒ WithOrigin a → a #

product ∷ Num a ⇒ WithOrigin a → a #

Traversable WithOrigin 
Instance details

Defined in Cardano.Slotting.Slot

Methods

traverse ∷ Applicative f ⇒ (a → f b) → WithOrigin a → f (WithOrigin b) #

sequenceA ∷ Applicative f ⇒ WithOrigin (f a) → f (WithOrigin a) #

mapM ∷ Monad m ⇒ (a → m b) → WithOrigin a → m (WithOrigin b) #

sequence ∷ Monad m ⇒ WithOrigin (m a) → m (WithOrigin a) #

FromJSON a ⇒ FromJSON (WithOrigin a) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

parseJSON ∷ Value → Parser (WithOrigin a) Source #

parseJSONList ∷ Value → Parser [WithOrigin a] Source #

omittedField ∷ Maybe (WithOrigin a) Source #

ToJSON a ⇒ ToJSON (WithOrigin a) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toJSON ∷ WithOrigin a → Value Source #

toEncoding ∷ WithOrigin a → Encoding Source #

toJSONList ∷ [WithOrigin a] → Value Source #

toEncodingList ∷ [WithOrigin a] → Encoding Source #

omitField ∷ WithOrigin a → Bool Source #

(Serialise t, Typeable t) ⇒ FromCBOR (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

fromCBOR ∷ Decoder s (WithOrigin t) Source #

label ∷ Proxy (WithOrigin t) → Text Source #

(Serialise t, Typeable t) ⇒ ToCBOR (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBOR ∷ WithOrigin t → Encoding Source #

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

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

(Serialise t, Typeable t) ⇒ DecCBOR (WithOrigin t) 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s (WithOrigin t) Source #

dropCBOR ∷ Proxy (WithOrigin t) → Decoder s () Source #

label ∷ Proxy (WithOrigin t) → Text Source #

Serialise t ⇒ EncCBOR (WithOrigin t) 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ WithOrigin t → Encoding Source #

NFData a ⇒ NFData (WithOrigin a) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf ∷ WithOrigin a → () #

Bounded t ⇒ Bounded (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

minBound ∷ WithOrigin t #

maxBound ∷ WithOrigin t #

Generic (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

type Rep (WithOrigin t) = D1 ('MetaData "WithOrigin" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.1-4d0bfcfba3d9e3f6ef7b2bd9f293abc4a2d1cad218e4dd80655496f988d12019" 'False) (C1 ('MetaCons "Origin" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "At" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 t)))

Methods

from ∷ WithOrigin t → Rep (WithOrigin t) x #

to ∷ Rep (WithOrigin t) x → WithOrigin t #

Show t ⇒ Show (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

showsPrec ∷ Int → WithOrigin t → ShowS #

show ∷ WithOrigin t → String #

showList ∷ [WithOrigin t] → ShowS #

Eq t ⇒ Eq (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

(==) ∷ WithOrigin t → WithOrigin t → Bool #

(/=) ∷ WithOrigin t → WithOrigin t → Bool #

Ord t ⇒ Ord (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

compare ∷ WithOrigin t → WithOrigin t → Ordering #

(<) ∷ WithOrigin t → WithOrigin t → Bool #

(<=) ∷ WithOrigin t → WithOrigin t → Bool #

(>) ∷ WithOrigin t → WithOrigin t → Bool #

(>=) ∷ WithOrigin t → WithOrigin t → Bool #

max ∷ WithOrigin t → WithOrigin t → WithOrigin t #

min ∷ WithOrigin t → WithOrigin t → WithOrigin t #

NoThunks t ⇒ NoThunks (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

noThunks ∷ Context → WithOrigin t → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → WithOrigin t → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (WithOrigin t) → String Source #

Serialise t ⇒ Serialise (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

Methods

encode ∷ WithOrigin t → Encoding Source #

decode ∷ Decoder s (WithOrigin t) Source #

encodeList ∷ [WithOrigin t] → Encoding Source #

decodeList ∷ Decoder s [WithOrigin t] Source #

type Rep (WithOrigin t) 
Instance details

Defined in Cardano.Slotting.Slot

type Rep (WithOrigin t) = D1 ('MetaData "WithOrigin" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.1-4d0bfcfba3d9e3f6ef7b2bd9f293abc4a2d1cad218e4dd80655496f988d12019" 'False) (C1 ('MetaCons "Origin" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "At" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 t)))

newtype SlotNo Source #

The 0-based index for the Ourboros time slot.

Constructors

SlotNo 

Fields

Instances

Instances details
FromJSON SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

parseJSON ∷ Value → Parser SlotNo Source #

parseJSONList ∷ Value → Parser [SlotNo] Source #

omittedField ∷ Maybe SlotNo Source #

ToJSON SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toJSON ∷ SlotNo → Value Source #

toEncoding ∷ SlotNo → Encoding Source #

toJSONList ∷ [SlotNo] → Value Source #

toEncodingList ∷ [SlotNo] → Encoding Source #

omitField ∷ SlotNo → Bool Source #

FromCBOR SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

fromCBOR ∷ Decoder s SlotNo Source #

label ∷ Proxy SlotNo → Text Source #

ToCBOR SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBOR ∷ SlotNo → Encoding Source #

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

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

DecCBOR SlotNo 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s SlotNo Source #

dropCBOR ∷ Proxy SlotNo → Decoder s () Source #

label ∷ Proxy SlotNo → Text Source #

EncCBOR SlotNo 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SlotNo → Encoding Source #

NFData SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf ∷ SlotNo → () #

Bounded SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

minBound ∷ SlotNo #

maxBound ∷ SlotNo #

Enum SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

succ ∷ SlotNo → SlotNo #

pred ∷ SlotNo → SlotNo #

toEnum ∷ Int → SlotNo #

fromEnum ∷ SlotNo → Int #

enumFrom ∷ SlotNo → [SlotNo] #

enumFromThen ∷ SlotNo → SlotNo → [SlotNo] #

enumFromTo ∷ SlotNo → SlotNo → [SlotNo] #

enumFromThenTo ∷ SlotNo → SlotNo → SlotNo → [SlotNo] #

Generic SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.1-4d0bfcfba3d9e3f6ef7b2bd9f293abc4a2d1cad218e4dd80655496f988d12019" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ SlotNo → Rep SlotNo x #

to ∷ Rep SlotNo x → SlotNo #

Num SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

(+) ∷ SlotNo → SlotNo → SlotNo #

(-) ∷ SlotNo → SlotNo → SlotNo #

(*) ∷ SlotNo → SlotNo → SlotNo #

negate ∷ SlotNo → SlotNo #

abs ∷ SlotNo → SlotNo #

signum ∷ SlotNo → SlotNo #

fromInteger ∷ Integer → SlotNo #

Show SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

showsPrec ∷ Int → SlotNo → ShowS #

show ∷ SlotNo → String #

showList ∷ [SlotNo] → ShowS #

Eq SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

(==) ∷ SlotNo → SlotNo → Bool #

(/=) ∷ SlotNo → SlotNo → Bool #

Ord SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

compare ∷ SlotNo → SlotNo → Ordering #

(<) ∷ SlotNo → SlotNo → Bool #

(<=) ∷ SlotNo → SlotNo → Bool #

(>) ∷ SlotNo → SlotNo → Bool #

(>=) ∷ SlotNo → SlotNo → Bool #

max ∷ SlotNo → SlotNo → SlotNo #

min ∷ SlotNo → SlotNo → SlotNo #

NoThunks SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

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

showTypeOf ∷ Proxy SlotNo → String Source #

Serialise SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

Methods

encode ∷ SlotNo → Encoding Source #

decode ∷ Decoder s SlotNo Source #

encodeList ∷ [SlotNo] → Encoding Source #

decodeList ∷ Decoder s [SlotNo] Source #

type Rep SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.1-4d0bfcfba3d9e3f6ef7b2bd9f293abc4a2d1cad218e4dd80655496f988d12019" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

binOpEpochNo ∷ (Word64 → Word64 → Word64) → EpochNo → EpochNo → EpochNo Source #

Convenience function for doing binary operations on two EpochNos

addEpochInterval ∷ EpochNo → EpochInterval → EpochNo Source #

Add a EpochInterval (a positive change) to an EpochNo to get a new EpochNo

module Cardano.Ledger.BaseTypes.NonZero

data ProtVer Source #

Constructors

ProtVer 

Fields

Instances

Instances details
FromJSON ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser ProtVer Source #

parseJSONList ∷ Value → Parser [ProtVer] Source #

omittedField ∷ Maybe ProtVer Source #

ToJSON ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ ProtVer → Value Source #

toEncoding ∷ ProtVer → Encoding Source #

toJSONList ∷ [ProtVer] → Value Source #

toEncodingList ∷ [ProtVer] → Encoding Source #

omitField ∷ ProtVer → Bool Source #

FromCBOR ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

fromCBOR ∷ Decoder s ProtVer Source #

label ∷ Proxy ProtVer → Text Source #

ToCBOR ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toCBOR ∷ ProtVer → Encoding Source #

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

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

DecCBOR ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s ProtVer Source #

dropCBOR ∷ Proxy ProtVer → Decoder s () Source #

label ∷ Proxy ProtVer → Text Source #

EncCBOR ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ ProtVer → Encoding Source #

DecCBORGroup ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBORGroup ∷ Decoder s ProtVer Source #

EncCBORGroup ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBORGroup ∷ ProtVer → Encoding Source #

listLen ∷ ProtVer → Word Source #

listLenBound ∷ Proxy ProtVer → Word Source #

ToPlutusData ProtVer Source # 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ ProtVer → Data Source #

fromPlutusData ∷ Data → Maybe ProtVer Source #

NFData ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ ProtVer → () #

Generic ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep ProtVer = D1 ('MetaData "ProtVer" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Version) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)))

Methods

from ∷ ProtVer → Rep ProtVer x #

to ∷ Rep ProtVer x → ProtVer #

Show ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → ProtVer → ShowS #

show ∷ ProtVer → String #

showList ∷ [ProtVer] → ShowS #

Eq ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ ProtVer → ProtVer → Bool #

(/=) ∷ ProtVer → ProtVer → Bool #

Ord ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ ProtVer → ProtVer → Ordering #

(<) ∷ ProtVer → ProtVer → Bool #

(<=) ∷ ProtVer → ProtVer → Bool #

(>) ∷ ProtVer → ProtVer → Bool #

(>=) ∷ ProtVer → ProtVer → Bool #

max ∷ ProtVer → ProtVer → ProtVer #

min ∷ ProtVer → ProtVer → ProtVer #

NoThunks ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy ProtVer → String Source #

type Rep ProtVer Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep ProtVer = D1 ('MetaData "ProtVer" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Version) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)))

module Cardano.Ledger.Binary.Version

type FixedPoint = Digits34 Source #

(==>) ∷ Bool → Bool → Bool infix 1 Source #

(⭒) ∷ Nonce → Nonce → Nonce Source #

Evolve the nonce

data Network Source #

Constructors

Testnet 
Mainnet 

Instances

Instances details
FromJSON Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Network Source #

parseJSONList ∷ Value → Parser [Network] Source #

omittedField ∷ Maybe Network Source #

ToJSON Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ Network → Value Source #

toEncoding ∷ Network → Encoding Source #

toJSONList ∷ [Network] → Value Source #

toEncodingList ∷ [Network] → Encoding Source #

omitField ∷ Network → Bool Source #

FromCBOR Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

fromCBOR ∷ Decoder s Network Source #

label ∷ Proxy Network → Text Source #

ToCBOR Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toCBOR ∷ Network → Encoding Source #

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

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

DecCBOR Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s Network Source #

dropCBOR ∷ Proxy Network → Decoder s () Source #

label ∷ Proxy Network → Text Source #

EncCBOR Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ Network → Encoding Source #

Default Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

def ∷ Network Source #

NFData Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ Network → () #

Bounded Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

minBound ∷ Network #

maxBound ∷ Network #

Enum Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

succ ∷ Network → Network #

pred ∷ Network → Network #

toEnum ∷ Int → Network #

fromEnum ∷ Network → Int #

enumFrom ∷ Network → [Network] #

enumFromThen ∷ Network → Network → [Network] #

enumFromTo ∷ Network → Network → [Network] #

enumFromThenTo ∷ Network → Network → Network → [Network] #

Generic Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep Network 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Network = D1 ('MetaData "Network" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Testnet" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Mainnet" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ Network → Rep Network x #

to ∷ Rep Network x → Network #

Show Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → Network → ShowS #

show ∷ Network → String #

showList ∷ [Network] → ShowS #

Eq Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ Network → Network → Bool #

(/=) ∷ Network → Network → Bool #

Ord Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ Network → Network → Ordering #

(<) ∷ Network → Network → Bool #

(<=) ∷ Network → Network → Bool #

(>) ∷ Network → Network → Bool #

(>=) ∷ Network → Network → Bool #

max ∷ Network → Network → Network #

min ∷ Network → Network → Network #

NoThunks Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy Network → String Source #

type Rep Network Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Network = D1 ('MetaData "Network" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Testnet" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Mainnet" 'PrefixI 'False) (U1 ∷ Type → Type))

networkToWord8 ∷ Network → Word8 Source #

word8ToNetwork ∷ Word8 → Maybe Network Source #

data Nonce Source #

Evolving nonce type.

Constructors

Nonce !(Hash Blake2b_256 Nonce) 
NeutralNonce

Identity element

Instances

Instances details
FromJSON Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Nonce Source #

parseJSONList ∷ Value → Parser [Nonce] Source #

omittedField ∷ Maybe Nonce Source #

ToJSON Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ Nonce → Value Source #

toEncoding ∷ Nonce → Encoding Source #

toJSONList ∷ [Nonce] → Value Source #

toEncodingList ∷ [Nonce] → Encoding Source #

omitField ∷ Nonce → Bool Source #

FromCBOR Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

fromCBOR ∷ Decoder s Nonce Source #

label ∷ Proxy Nonce → Text Source #

ToCBOR Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toCBOR ∷ Nonce → Encoding Source #

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

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

DecCBOR Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s Nonce Source #

dropCBOR ∷ Proxy Nonce → Decoder s () Source #

label ∷ Proxy Nonce → Text Source #

EncCBOR Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ Nonce → Encoding Source #

ToPlutusData Nonce Source # 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ Nonce → Data Source #

fromPlutusData ∷ Data → Maybe Nonce Source #

NFData Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ Nonce → () #

Generic Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Nonce = D1 ('MetaData "Nonce" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Nonce" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Blake2b_256 Nonce))) :+: C1 ('MetaCons "NeutralNonce" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ Nonce → Rep Nonce x #

to ∷ Rep Nonce x → Nonce #

Show Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → Nonce → ShowS #

show ∷ Nonce → String #

showList ∷ [Nonce] → ShowS #

Eq Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ Nonce → Nonce → Bool #

(/=) ∷ Nonce → Nonce → Bool #

Ord Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ Nonce → Nonce → Ordering #

(<) ∷ Nonce → Nonce → Bool #

(<=) ∷ Nonce → Nonce → Bool #

(>) ∷ Nonce → Nonce → Bool #

(>=) ∷ Nonce → Nonce → Bool #

max ∷ Nonce → Nonce → Nonce #

min ∷ Nonce → Nonce → Nonce #

NoThunks Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy Nonce → String Source #

type Rep Nonce Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Nonce = D1 ('MetaData "Nonce" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Nonce" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Blake2b_256 Nonce))) :+: C1 ('MetaCons "NeutralNonce" 'PrefixI 'False) (U1 ∷ Type → Type))

newtype Seed Source #

Seed to the verifiable random function.

Constructors

Seed (Hash Blake2b_256 Seed) 

Instances

Instances details
SignableRepresentation Seed Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

getSignableRepresentation ∷ Seed → ByteString Source #

EncCBOR Seed Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ Seed → Encoding Source #

Generic Seed Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep Seed 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Seed = D1 ('MetaData "Seed" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Seed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Blake2b_256 Seed))))

Methods

from ∷ Seed → Rep Seed x #

to ∷ Rep Seed x → Seed #

Show Seed Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → Seed → ShowS #

show ∷ Seed → String #

showList ∷ [Seed] → ShowS #

Eq Seed Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ Seed → Seed → Bool #

(/=) ∷ Seed → Seed → Bool #

Ord Seed Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ Seed → Seed → Ordering #

(<) ∷ Seed → Seed → Bool #

(<=) ∷ Seed → Seed → Bool #

(>) ∷ Seed → Seed → Bool #

(>=) ∷ Seed → Seed → Bool #

max ∷ Seed → Seed → Seed #

min ∷ Seed → Seed → Seed #

NoThunks Seed Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy Seed → String Source #

type Rep Seed Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Seed = D1 ('MetaData "Seed" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Seed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Blake2b_256 Seed))))

data UnitInterval Source #

Type to represent a value in the unit interval [0; 1]

Instances

Instances details
FromJSON UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser UnitInterval Source #

parseJSONList ∷ Value → Parser [UnitInterval] Source #

omittedField ∷ Maybe UnitInterval Source #

ToJSON UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ UnitInterval → Value Source #

toEncoding ∷ UnitInterval → Encoding Source #

toJSONList ∷ [UnitInterval] → Value Source #

toEncodingList ∷ [UnitInterval] → Encoding Source #

omitField ∷ UnitInterval → Bool Source #

DecCBOR UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s UnitInterval Source #

dropCBOR ∷ Proxy UnitInterval → Decoder s () Source #

label ∷ Proxy UnitInterval → Text Source #

EncCBOR UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ UnitInterval → Encoding Source #

BoundedRational UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

boundRational ∷ Rational → Maybe UnitInterval Source #

unboundRational ∷ UnitInterval → Rational Source #

ToPlutusData UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ UnitInterval → Data Source #

fromPlutusData ∷ Data → Maybe UnitInterval Source #

Default UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

def ∷ UnitInterval Source #

NFData UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ UnitInterval → () #

Bounded UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

minBound ∷ UnitInterval #

maxBound ∷ UnitInterval #

Generic UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep UnitInterval 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep UnitInterval

Methods

from ∷ UnitInterval → Rep UnitInterval x #

to ∷ Rep UnitInterval x → UnitInterval #

Show UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → UnitInterval → ShowS #

show ∷ UnitInterval → String #

showList ∷ [UnitInterval] → ShowS #

Eq UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ UnitInterval → UnitInterval → Bool #

(/=) ∷ UnitInterval → UnitInterval → Bool #

Ord UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ UnitInterval → UnitInterval → Ordering #

(<) ∷ UnitInterval → UnitInterval → Bool #

(<=) ∷ UnitInterval → UnitInterval → Bool #

(>) ∷ UnitInterval → UnitInterval → Bool #

(>=) ∷ UnitInterval → UnitInterval → Bool #

max ∷ UnitInterval → UnitInterval → UnitInterval #

min ∷ UnitInterval → UnitInterval → UnitInterval #

NoThunks UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy UnitInterval → String Source #

type Rep UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep UnitInterval

data PositiveUnitInterval Source #

Type to represent a value in the unit interval (0; 1]

Instances

Instances details
FromJSON PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser PositiveUnitInterval Source #

parseJSONList ∷ Value → Parser [PositiveUnitInterval] Source #

omittedField ∷ Maybe PositiveUnitInterval Source #

ToJSON PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ PositiveUnitInterval → Value Source #

toEncoding ∷ PositiveUnitInterval → Encoding Source #

toJSONList ∷ [PositiveUnitInterval] → Value Source #

toEncodingList ∷ [PositiveUnitInterval] → Encoding Source #

omitField ∷ PositiveUnitInterval → Bool Source #

FromCBOR PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

fromCBOR ∷ Decoder s PositiveUnitInterval Source #

label ∷ Proxy PositiveUnitInterval → Text Source #

ToCBOR PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toCBOR ∷ PositiveUnitInterval → Encoding Source #

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

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

DecCBOR PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s PositiveUnitInterval Source #

dropCBOR ∷ Proxy PositiveUnitInterval → Decoder s () Source #

label ∷ Proxy PositiveUnitInterval → Text Source #

EncCBOR PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ PositiveUnitInterval → Encoding Source #

BoundedRational PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

boundRational ∷ Rational → Maybe PositiveUnitInterval Source #

unboundRational ∷ PositiveUnitInterval → Rational Source #

NFData PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ PositiveUnitInterval → () #

Bounded PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

minBound ∷ PositiveUnitInterval #

maxBound ∷ PositiveUnitInterval #

Generic PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep PositiveUnitInterval 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep PositiveUnitInterval

Methods

from ∷ PositiveUnitInterval → Rep PositiveUnitInterval x #

to ∷ Rep PositiveUnitInterval x → PositiveUnitInterval #

Show PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → PositiveUnitInterval → ShowS #

show ∷ PositiveUnitInterval → String #

showList ∷ [PositiveUnitInterval] → ShowS #

Eq PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ PositiveUnitInterval → PositiveUnitInterval → Bool #

(/=) ∷ PositiveUnitInterval → PositiveUnitInterval → Bool #

Ord PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ PositiveUnitInterval → PositiveUnitInterval → Ordering #

(<) ∷ PositiveUnitInterval → PositiveUnitInterval → Bool #

(<=) ∷ PositiveUnitInterval → PositiveUnitInterval → Bool #

(>) ∷ PositiveUnitInterval → PositiveUnitInterval → Bool #

(>=) ∷ PositiveUnitInterval → PositiveUnitInterval → Bool #

max ∷ PositiveUnitInterval → PositiveUnitInterval → PositiveUnitInterval #

min ∷ PositiveUnitInterval → PositiveUnitInterval → PositiveUnitInterval #

NoThunks PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy PositiveUnitInterval → String Source #

type Rep PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep PositiveUnitInterval

data PositiveInterval Source #

Type to represent a value in the interval (0; +∞)

Instances

Instances details
FromJSON PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser PositiveInterval Source #

parseJSONList ∷ Value → Parser [PositiveInterval] Source #

omittedField ∷ Maybe PositiveInterval Source #

ToJSON PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ PositiveInterval → Value Source #

toEncoding ∷ PositiveInterval → Encoding Source #

toJSONList ∷ [PositiveInterval] → Value Source #

toEncodingList ∷ [PositiveInterval] → Encoding Source #

omitField ∷ PositiveInterval → Bool Source #

DecCBOR PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s PositiveInterval Source #

dropCBOR ∷ Proxy PositiveInterval → Decoder s () Source #

label ∷ Proxy PositiveInterval → Text Source #

EncCBOR PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ PositiveInterval → Encoding Source #

BoundedRational PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

boundRational ∷ Rational → Maybe PositiveInterval Source #

unboundRational ∷ PositiveInterval → Rational Source #

ToPlutusData PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ PositiveInterval → Data Source #

fromPlutusData ∷ Data → Maybe PositiveInterval Source #

NFData PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ PositiveInterval → () #

Bounded PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

minBound ∷ PositiveInterval #

maxBound ∷ PositiveInterval #

Generic PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep PositiveInterval 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep PositiveInterval

Methods

from ∷ PositiveInterval → Rep PositiveInterval x #

to ∷ Rep PositiveInterval x → PositiveInterval #

Show PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → PositiveInterval → ShowS #

show ∷ PositiveInterval → String #

showList ∷ [PositiveInterval] → ShowS #

Eq PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ PositiveInterval → PositiveInterval → Bool #

(/=) ∷ PositiveInterval → PositiveInterval → Bool #

Ord PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ PositiveInterval → PositiveInterval → Ordering #

(<) ∷ PositiveInterval → PositiveInterval → Bool #

(<=) ∷ PositiveInterval → PositiveInterval → Bool #

(>) ∷ PositiveInterval → PositiveInterval → Bool #

(>=) ∷ PositiveInterval → PositiveInterval → Bool #

max ∷ PositiveInterval → PositiveInterval → PositiveInterval #

min ∷ PositiveInterval → PositiveInterval → PositiveInterval #

NoThunks PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy PositiveInterval → String Source #

type Rep PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep PositiveInterval

data NonNegativeInterval Source #

Type to represent a value in the interval [0; +∞)

Instances

Instances details
FromJSON NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser NonNegativeInterval Source #

parseJSONList ∷ Value → Parser [NonNegativeInterval] Source #

omittedField ∷ Maybe NonNegativeInterval Source #

ToJSON NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ NonNegativeInterval → Value Source #

toEncoding ∷ NonNegativeInterval → Encoding Source #

toJSONList ∷ [NonNegativeInterval] → Value Source #

toEncodingList ∷ [NonNegativeInterval] → Encoding Source #

omitField ∷ NonNegativeInterval → Bool Source #

DecCBOR NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s NonNegativeInterval Source #

dropCBOR ∷ Proxy NonNegativeInterval → Decoder s () Source #

label ∷ Proxy NonNegativeInterval → Text Source #

EncCBOR NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ NonNegativeInterval → Encoding Source #

BoundedRational NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

boundRational ∷ Rational → Maybe NonNegativeInterval Source #

unboundRational ∷ NonNegativeInterval → Rational Source #

ToPlutusData NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ NonNegativeInterval → Data Source #

fromPlutusData ∷ Data → Maybe NonNegativeInterval Source #

NFData NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ NonNegativeInterval → () #

Bounded NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

minBound ∷ NonNegativeInterval #

maxBound ∷ NonNegativeInterval #

Generic NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep NonNegativeInterval 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep NonNegativeInterval

Methods

from ∷ NonNegativeInterval → Rep NonNegativeInterval x #

to ∷ Rep NonNegativeInterval x → NonNegativeInterval #

Show NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → NonNegativeInterval → ShowS #

show ∷ NonNegativeInterval → String #

showList ∷ [NonNegativeInterval] → ShowS #

Eq NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ NonNegativeInterval → NonNegativeInterval → Bool #

(/=) ∷ NonNegativeInterval → NonNegativeInterval → Bool #

Ord NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ NonNegativeInterval → NonNegativeInterval → Ordering #

(<) ∷ NonNegativeInterval → NonNegativeInterval → Bool #

(<=) ∷ NonNegativeInterval → NonNegativeInterval → Bool #

(>) ∷ NonNegativeInterval → NonNegativeInterval → Bool #

(>=) ∷ NonNegativeInterval → NonNegativeInterval → Bool #

max ∷ NonNegativeInterval → NonNegativeInterval → NonNegativeInterval #

min ∷ NonNegativeInterval → NonNegativeInterval → NonNegativeInterval #

NoThunks NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy NonNegativeInterval → String Source #

type Rep NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep NonNegativeInterval

class Bounded r ⇒ BoundedRational r where Source #

Type clases that allows conversion between Rational and some form of bounded rational type. Bounds can be restricted by both the Bounded type class and underlyng representation.

maybe True (\br -> minBound <= br && br <= maxBound) . boundRational

Roundtrip properties must hold:

\r -> maybe True ((r ==) . unboundRational) (boundRational r)
\br -> Just br == boundRational (unboundRational br)

Methods

boundRational ∷ Rational → Maybe r Source #

Returns Nothing when supplied value is not within bounds or when precision is too high to be represented by the underlying type

Example

Expand
>>> :set -XTypeApplications
>>> import Data.Ratio
>>> boundRational @UnitInterval $ 2 % 3
Just (2 % 3)
>>> boundRational @UnitInterval (-0.5)
Nothing
>>> boundRational @UnitInterval (1.5)
Nothing
>>> boundRational @UnitInterval 0
Just (0 % 1)
>>> boundRational @PositiveUnitInterval 0
Nothing

unboundRational ∷ r → Rational Source #

Promote bounded rational type into the unbounded Rational.

Instances

Instances details
BoundedRational NonNegativeInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

boundRational ∷ Rational → Maybe NonNegativeInterval Source #

unboundRational ∷ NonNegativeInterval → Rational Source #

BoundedRational PositiveInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

boundRational ∷ Rational → Maybe PositiveInterval Source #

unboundRational ∷ PositiveInterval → Rational Source #

BoundedRational PositiveUnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

boundRational ∷ Rational → Maybe PositiveUnitInterval Source #

unboundRational ∷ PositiveUnitInterval → Rational Source #

BoundedRational UnitInterval Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

boundRational ∷ Rational → Maybe UnitInterval Source #

unboundRational ∷ UnitInterval → Rational Source #

fpPrecision ∷ FixedPoint Source #

integralToBounded ∷ (Integral i, Integral b, Bounded b, MonadFail m) ⇒ i → m b Source #

promoteRatio ∷ Integral a ⇒ Ratio a → Rational Source #

invalidKey ∷ (Typeable a, MonadFail m) ⇒ Word → m a Source #

Report an error when a numeric key of the type constructor doesn't match.

mkNonceFromOutputVRF ∷ OutputVRF v → Nonce Source #

Make a nonce from the VRF output bytes

mkNonceFromNumber ∷ Word64 → Nonce Source #

Make a nonce from a number.

data Url Source #

Instances

Instances details
FromJSON Url Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Url Source #

parseJSONList ∷ Value → Parser [Url] Source #

omittedField ∷ Maybe Url Source #

ToJSON Url Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ Url → Value Source #

toEncoding ∷ Url → Encoding Source #

toJSONList ∷ [Url] → Value Source #

toEncodingList ∷ [Url] → Encoding Source #

omitField ∷ Url → Bool Source #

DecCBOR Url Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s Url Source #

dropCBOR ∷ Proxy Url → Decoder s () Source #

label ∷ Proxy Url → Text Source #

EncCBOR Url Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ Url → Encoding Source #

NFData Url Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ Url → () #

Generic Url Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep Url 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Url = D1 ('MetaData "Url" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Url" 'PrefixI 'True) (S1 ('MetaSel ('Just "urlToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from ∷ Url → Rep Url x #

to ∷ Rep Url x → Url #

Show Url Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → Url → ShowS #

show ∷ Url → String #

showList ∷ [Url] → ShowS #

Eq Url Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ Url → Url → Bool #

(/=) ∷ Url → Url → Bool #

Ord Url Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ Url → Url → Ordering #

(<) ∷ Url → Url → Bool #

(<=) ∷ Url → Url → Bool #

(>) ∷ Url → Url → Bool #

(>=) ∷ Url → Url → Bool #

max ∷ Url → Url → Url #

min ∷ Url → Url → Url #

NoThunks Url Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy Url → String Source #

type Rep Url Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Url = D1 ('MetaData "Url" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Url" 'PrefixI 'True) (S1 ('MetaSel ('Just "urlToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

urlToText ∷ Url → Text Source #

textToUrl ∷ MonadFail m ⇒ Int → Text → m Url Source #

Turn a Text into a Url, fail if the Text has more than n Bytes

data DnsName Source #

Instances

Instances details
FromJSON DnsName Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser DnsName Source #

parseJSONList ∷ Value → Parser [DnsName] Source #

omittedField ∷ Maybe DnsName Source #

ToJSON DnsName Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ DnsName → Value Source #

toEncoding ∷ DnsName → Encoding Source #

toJSONList ∷ [DnsName] → Value Source #

toEncodingList ∷ [DnsName] → Encoding Source #

omitField ∷ DnsName → Bool Source #

DecCBOR DnsName Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s DnsName Source #

dropCBOR ∷ Proxy DnsName → Decoder s () Source #

label ∷ Proxy DnsName → Text Source #

EncCBOR DnsName Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ DnsName → Encoding Source #

NFData DnsName Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ DnsName → () #

Generic DnsName Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep DnsName 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep DnsName = D1 ('MetaData "DnsName" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "DnsName" 'PrefixI 'True) (S1 ('MetaSel ('Just "dnsToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from ∷ DnsName → Rep DnsName x #

to ∷ Rep DnsName x → DnsName #

Show DnsName Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → DnsName → ShowS #

show ∷ DnsName → String #

showList ∷ [DnsName] → ShowS #

Eq DnsName Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ DnsName → DnsName → Bool #

(/=) ∷ DnsName → DnsName → Bool #

Ord DnsName Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ DnsName → DnsName → Ordering #

(<) ∷ DnsName → DnsName → Bool #

(<=) ∷ DnsName → DnsName → Bool #

(>) ∷ DnsName → DnsName → Bool #

(>=) ∷ DnsName → DnsName → Bool #

max ∷ DnsName → DnsName → DnsName #

min ∷ DnsName → DnsName → DnsName #

NoThunks DnsName Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy DnsName → String Source #

type Rep DnsName Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep DnsName = D1 ('MetaData "DnsName" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "DnsName" 'PrefixI 'True) (S1 ('MetaSel ('Just "dnsToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

dnsToText ∷ DnsName → Text Source #

textToDns ∷ MonadFail m ⇒ Int → Text → m DnsName Source #

Turn a Text into a DnsName, fail if the Text has more than n Bytes

newtype Port Source #

Constructors

Port 

Fields

Instances

Instances details
FromJSON Port Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Port Source #

parseJSONList ∷ Value → Parser [Port] Source #

omittedField ∷ Maybe Port Source #

ToJSON Port Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ Port → Value Source #

toEncoding ∷ Port → Encoding Source #

toJSONList ∷ [Port] → Value Source #

toEncodingList ∷ [Port] → Encoding Source #

omitField ∷ Port → Bool Source #

DecCBOR Port Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s Port Source #

dropCBOR ∷ Proxy Port → Decoder s () Source #

label ∷ Proxy Port → Text Source #

EncCBOR Port Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ Port → Encoding Source #

NFData Port Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ Port → () #

Generic Port Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep Port 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Port = D1 ('MetaData "Port" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Port" 'PrefixI 'True) (S1 ('MetaSel ('Just "portToWord16") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Methods

from ∷ Port → Rep Port x #

to ∷ Rep Port x → Port #

Num Port Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(+) ∷ Port → Port → Port #

(-) ∷ Port → Port → Port #

(*) ∷ Port → Port → Port #

negate ∷ Port → Port #

abs ∷ Port → Port #

signum ∷ Port → Port #

fromInteger ∷ Integer → Port #

Show Port Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → Port → ShowS #

show ∷ Port → String #

showList ∷ [Port] → ShowS #

Eq Port Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ Port → Port → Bool #

(/=) ∷ Port → Port → Bool #

Ord Port Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ Port → Port → Ordering #

(<) ∷ Port → Port → Bool #

(<=) ∷ Port → Port → Bool #

(>) ∷ Port → Port → Bool #

(>=) ∷ Port → Port → Bool #

max ∷ Port → Port → Port #

min ∷ Port → Port → Port #

NoThunks Port Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy Port → String Source #

type Rep Port Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Port = D1 ('MetaData "Port" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Port" 'PrefixI 'True) (S1 ('MetaSel ('Just "portToWord16") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data ActiveSlotCoeff Source #

Instances

Instances details
FromCBOR ActiveSlotCoeff Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

fromCBOR ∷ Decoder s ActiveSlotCoeff Source #

label ∷ Proxy ActiveSlotCoeff → Text Source #

ToCBOR ActiveSlotCoeff Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toCBOR ∷ ActiveSlotCoeff → Encoding Source #

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

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

DecCBOR ActiveSlotCoeff Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s ActiveSlotCoeff Source #

dropCBOR ∷ Proxy ActiveSlotCoeff → Decoder s () Source #

label ∷ Proxy ActiveSlotCoeff → Text Source #

EncCBOR ActiveSlotCoeff Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ ActiveSlotCoeff → Encoding Source #

NFData ActiveSlotCoeff Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ ActiveSlotCoeff → () #

Generic ActiveSlotCoeff Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep ActiveSlotCoeff 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep ActiveSlotCoeff = D1 ('MetaData "ActiveSlotCoeff" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ActiveSlotCoeff" 'PrefixI 'True) (S1 ('MetaSel ('Just "unActiveSlotVal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PositiveUnitInterval) :*: S1 ('MetaSel ('Just "unActiveSlotLog") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)))

Methods

from ∷ ActiveSlotCoeff → Rep ActiveSlotCoeff x #

to ∷ Rep ActiveSlotCoeff x → ActiveSlotCoeff #

Show ActiveSlotCoeff Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → ActiveSlotCoeff → ShowS #

show ∷ ActiveSlotCoeff → String #

showList ∷ [ActiveSlotCoeff] → ShowS #

Eq ActiveSlotCoeff Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ ActiveSlotCoeff → ActiveSlotCoeff → Bool #

(/=) ∷ ActiveSlotCoeff → ActiveSlotCoeff → Bool #

Ord ActiveSlotCoeff Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ ActiveSlotCoeff → ActiveSlotCoeff → Ordering #

(<) ∷ ActiveSlotCoeff → ActiveSlotCoeff → Bool #

(<=) ∷ ActiveSlotCoeff → ActiveSlotCoeff → Bool #

(>) ∷ ActiveSlotCoeff → ActiveSlotCoeff → Bool #

(>=) ∷ ActiveSlotCoeff → ActiveSlotCoeff → Bool #

max ∷ ActiveSlotCoeff → ActiveSlotCoeff → ActiveSlotCoeff #

min ∷ ActiveSlotCoeff → ActiveSlotCoeff → ActiveSlotCoeff #

NoThunks ActiveSlotCoeff Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy ActiveSlotCoeff → String Source #

type Rep ActiveSlotCoeff Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep ActiveSlotCoeff = D1 ('MetaData "ActiveSlotCoeff" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ActiveSlotCoeff" 'PrefixI 'True) (S1 ('MetaSel ('Just "unActiveSlotVal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PositiveUnitInterval) :*: S1 ('MetaSel ('Just "unActiveSlotLog") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)))

mkActiveSlotCoeff ∷ PositiveUnitInterval → ActiveSlotCoeff Source #

activeSlotVal ∷ ActiveSlotCoeff → PositiveUnitInterval Source #

activeSlotLog ∷ ActiveSlotCoeff → FixedPoint Source #

module Data.Maybe.Strict

newtype BlocksMade Source #

Number of blocks which have been created by stake pools in the current epoch.

Constructors

BlocksMade 

Fields

Instances

Instances details
FromJSON BlocksMade Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser BlocksMade Source #

parseJSONList ∷ Value → Parser [BlocksMade] Source #

omittedField ∷ Maybe BlocksMade Source #

ToJSON BlocksMade Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ BlocksMade → Value Source #

toEncoding ∷ BlocksMade → Encoding Source #

toJSONList ∷ [BlocksMade] → Value Source #

toEncodingList ∷ [BlocksMade] → Encoding Source #

omitField ∷ BlocksMade → Bool Source #

DecCBOR BlocksMade Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s BlocksMade Source #

dropCBOR ∷ Proxy BlocksMade → Decoder s () Source #

label ∷ Proxy BlocksMade → Text Source #

EncCBOR BlocksMade Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ BlocksMade → Encoding Source #

Default BlocksMade Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

def ∷ BlocksMade Source #

NFData BlocksMade Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ BlocksMade → () #

Generic BlocksMade Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep BlocksMade 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep BlocksMade = D1 ('MetaData "BlocksMade" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "BlocksMade" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlocksMade") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'StakePool) Natural))))

Methods

from ∷ BlocksMade → Rep BlocksMade x #

to ∷ Rep BlocksMade x → BlocksMade #

Show BlocksMade Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → BlocksMade → ShowS #

show ∷ BlocksMade → String #

showList ∷ [BlocksMade] → ShowS #

Eq BlocksMade Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ BlocksMade → BlocksMade → Bool #

(/=) ∷ BlocksMade → BlocksMade → Bool #

NoThunks BlocksMade Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy BlocksMade → String Source #

type Rep BlocksMade Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep BlocksMade = D1 ('MetaData "BlocksMade" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "BlocksMade" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlocksMade") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'StakePool) Natural))))

kindObject ∷ Text → [Pair] → Value Source #

Helper function for a common pattern of creating objects

Indices

newtype TxIx Source #

Transaction index.

Constructors

TxIx 

Fields

Instances

Instances details
ToJSON TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ TxIx → Value Source #

toEncoding ∷ TxIx → Encoding Source #

toJSONList ∷ [TxIx] → Value Source #

toEncodingList ∷ [TxIx] → Encoding Source #

omitField ∷ TxIx → Bool Source #

FromCBOR TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

fromCBOR ∷ Decoder s TxIx Source #

label ∷ Proxy TxIx → Text Source #

ToCBOR TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toCBOR ∷ TxIx → Encoding Source #

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

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

DecCBOR TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s TxIx Source #

dropCBOR ∷ Proxy TxIx → Decoder s () Source #

label ∷ Proxy TxIx → Text Source #

EncCBOR TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ TxIx → Encoding Source #

NFData TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ TxIx → () #

Bounded TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

minBound ∷ TxIx #

maxBound ∷ TxIx #

Enum TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

succ ∷ TxIx → TxIx #

pred ∷ TxIx → TxIx #

toEnum ∷ Int → TxIx #

fromEnum ∷ TxIx → Int #

enumFrom ∷ TxIx → [TxIx] #

enumFromThen ∷ TxIx → TxIx → [TxIx] #

enumFromTo ∷ TxIx → TxIx → [TxIx] #

enumFromThenTo ∷ TxIx → TxIx → TxIx → [TxIx] #

Generic TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep TxIx 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep TxIx = D1 ('MetaData "TxIx" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "TxIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

Methods

from ∷ TxIx → Rep TxIx x #

to ∷ Rep TxIx x → TxIx #

Show TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → TxIx → ShowS #

show ∷ TxIx → String #

showList ∷ [TxIx] → ShowS #

Eq TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ TxIx → TxIx → Bool #

(/=) ∷ TxIx → TxIx → Bool #

Ord TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ TxIx → TxIx → Ordering #

(<) ∷ TxIx → TxIx → Bool #

(<=) ∷ TxIx → TxIx → Bool #

(>) ∷ TxIx → TxIx → Bool #

(>=) ∷ TxIx → TxIx → Bool #

max ∷ TxIx → TxIx → TxIx #

min ∷ TxIx → TxIx → TxIx #

MemPack TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

typeName ∷ String Source #

packedByteCount ∷ TxIx → Int Source #

packM ∷ TxIx → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b TxIx Source #

NoThunks TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy TxIx → String Source #

Random TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

randomR ∷ RandomGen g ⇒ (TxIx, TxIx) → g → (TxIx, g) Source #

random ∷ RandomGen g ⇒ g → (TxIx, g) Source #

randomRs ∷ RandomGen g ⇒ (TxIx, TxIx) → g → [TxIx] Source #

randoms ∷ RandomGen g ⇒ g → [TxIx] Source #

Uniform TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

uniformM ∷ StatefulGen g m ⇒ g → m TxIx Source #

UniformRange TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

uniformRM ∷ StatefulGen g m ⇒ (TxIx, TxIx) → g → m TxIx Source #

isInRange ∷ (TxIx, TxIx) → TxIx → Bool Source #

type Rep TxIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep TxIx = D1 ('MetaData "TxIx" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "TxIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

txIxToInt ∷ TxIx → Int Source #

txIxFromIntegral ∷ (Integral a, MonadFail m) ⇒ a → m TxIx Source #

mkTxIxPartial ∷ HasCallStack ⇒ Integer → TxIx Source #

Construct a TxIx from an arbitrary precision Integer. Throws an error for values out of range. Make sure to use it only for testing.

newtype CertIx Source #

Certificate index. There is mkCertIxPartial that can be used for testing when constructing from other integral types that are larger than Word16

Constructors

CertIx 

Fields

Instances

Instances details
ToJSON CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ CertIx → Value Source #

toEncoding ∷ CertIx → Encoding Source #

toJSONList ∷ [CertIx] → Value Source #

toEncodingList ∷ [CertIx] → Encoding Source #

omitField ∷ CertIx → Bool Source #

FromCBOR CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

fromCBOR ∷ Decoder s CertIx Source #

label ∷ Proxy CertIx → Text Source #

ToCBOR CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toCBOR ∷ CertIx → Encoding Source #

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

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

DecCBOR CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s CertIx Source #

dropCBOR ∷ Proxy CertIx → Decoder s () Source #

label ∷ Proxy CertIx → Text Source #

EncCBOR CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ CertIx → Encoding Source #

NFData CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ CertIx → () #

Bounded CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

minBound ∷ CertIx #

maxBound ∷ CertIx #

Enum CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

succ ∷ CertIx → CertIx #

pred ∷ CertIx → CertIx #

toEnum ∷ Int → CertIx #

fromEnum ∷ CertIx → Int #

enumFrom ∷ CertIx → [CertIx] #

enumFromThen ∷ CertIx → CertIx → [CertIx] #

enumFromTo ∷ CertIx → CertIx → [CertIx] #

enumFromThenTo ∷ CertIx → CertIx → CertIx → [CertIx] #

Show CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → CertIx → ShowS #

show ∷ CertIx → String #

showList ∷ [CertIx] → ShowS #

Eq CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ CertIx → CertIx → Bool #

(/=) ∷ CertIx → CertIx → Bool #

Ord CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ CertIx → CertIx → Ordering #

(<) ∷ CertIx → CertIx → Bool #

(<=) ∷ CertIx → CertIx → Bool #

(>) ∷ CertIx → CertIx → Bool #

(>=) ∷ CertIx → CertIx → Bool #

max ∷ CertIx → CertIx → CertIx #

min ∷ CertIx → CertIx → CertIx #

NoThunks CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy CertIx → String Source #

Random CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

randomR ∷ RandomGen g ⇒ (CertIx, CertIx) → g → (CertIx, g) Source #

random ∷ RandomGen g ⇒ g → (CertIx, g) Source #

randomRs ∷ RandomGen g ⇒ (CertIx, CertIx) → g → [CertIx] Source #

randoms ∷ RandomGen g ⇒ g → [CertIx] Source #

Uniform CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

uniformM ∷ StatefulGen g m ⇒ g → m CertIx Source #

UniformRange CertIx Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

uniformRM ∷ StatefulGen g m ⇒ (CertIx, CertIx) → g → m CertIx Source #

isInRange ∷ (CertIx, CertIx) → CertIx → Bool Source #

certIxToInt ∷ CertIx → Int Source #

certIxFromIntegral ∷ (Integral a, MonadFail m) ⇒ a → m CertIx Source #

mkCertIxPartial ∷ HasCallStack ⇒ Integer → CertIx Source #

Construct a CertIx from an arbitrary precision Integer. Throws an error for values out of range. Make sure to use it only for testing.

data Anchor Source #

Constructors

Anchor 

Fields

Instances

Instances details
FromJSON Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Anchor Source #

parseJSONList ∷ Value → Parser [Anchor] Source #

omittedField ∷ Maybe Anchor Source #

ToJSON Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ Anchor → Value Source #

toEncoding ∷ Anchor → Encoding Source #

toJSONList ∷ [Anchor] → Value Source #

toEncodingList ∷ [Anchor] → Encoding Source #

omitField ∷ Anchor → Bool Source #

DecCBOR Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s Anchor Source #

dropCBOR ∷ Proxy Anchor → Decoder s () Source #

label ∷ Proxy Anchor → Text Source #

EncCBOR Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ Anchor → Encoding Source #

ToKeyValuePairs Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ Anchor → [kv] Source #

Default Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

def ∷ Anchor Source #

NFData Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ Anchor → () #

Generic Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep Anchor 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Anchor = D1 ('MetaData "Anchor" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Anchor" 'PrefixI 'True) (S1 ('MetaSel ('Just "anchorUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "anchorDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash AnchorData))))

Methods

from ∷ Anchor → Rep Anchor x #

to ∷ Rep Anchor x → Anchor #

Show Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → Anchor → ShowS #

show ∷ Anchor → String #

showList ∷ [Anchor] → ShowS #

Eq Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ Anchor → Anchor → Bool #

(/=) ∷ Anchor → Anchor → Bool #

Ord Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ Anchor → Anchor → Ordering #

(<) ∷ Anchor → Anchor → Bool #

(<=) ∷ Anchor → Anchor → Bool #

(>) ∷ Anchor → Anchor → Bool #

(>=) ∷ Anchor → Anchor → Bool #

max ∷ Anchor → Anchor → Anchor #

min ∷ Anchor → Anchor → Anchor #

NoThunks Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy Anchor → String Source #

type Rep Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Anchor = D1 ('MetaData "Anchor" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Anchor" 'PrefixI 'True) (S1 ('MetaSel ('Just "anchorUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "anchorDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash AnchorData))))

newtype AnchorData Source #

Constructors

AnchorData ByteString 

Instances

Instances details
SafeToHash AnchorData Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

originalBytes ∷ AnchorData → ByteString Source #

originalBytesSize ∷ AnchorData → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → AnchorData → SafeHash i Source #

Eq AnchorData Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ AnchorData → AnchorData → Bool #

(/=) ∷ AnchorData → AnchorData → Bool #

HashAnnotated AnchorData AnchorData Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

hashAnnotated ∷ AnchorData → SafeHash AnchorData Source #

STS Base

data Globals Source #

Constructors

Globals 

Fields

Instances

Instances details
NFData Globals Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ Globals → () #

Generic Globals Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep Globals 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Globals = D1 ('MetaData "Globals" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Globals" 'PrefixI 'True) (((S1 ('MetaSel ('Just "epochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Either Text))) :*: S1 ('MetaSel ('Just "slotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "stabilityWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: (S1 ('MetaSel ('Just "randomnessStabilisationWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "securityParameter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonZero Word64))))) :*: ((S1 ('MetaSel ('Just "maxKESEvo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: (S1 ('MetaSel ('Just "quorum") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "maxLovelaceSupply") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64))) :*: (S1 ('MetaSel ('Just "activeSlotCoeff") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveSlotCoeff) :*: (S1 ('MetaSel ('Just "networkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "systemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SystemStart))))))

Methods

from ∷ Globals → Rep Globals x #

to ∷ Rep Globals x → Globals #

Show Globals Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → Globals → ShowS #

show ∷ Globals → String #

showList ∷ [Globals] → ShowS #

NoThunks Globals Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy Globals → String Source #

type Rep Globals Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Globals = D1 ('MetaData "Globals" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Globals" 'PrefixI 'True) (((S1 ('MetaSel ('Just "epochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Either Text))) :*: S1 ('MetaSel ('Just "slotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "stabilityWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: (S1 ('MetaSel ('Just "randomnessStabilisationWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "securityParameter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonZero Word64))))) :*: ((S1 ('MetaSel ('Just "maxKESEvo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: (S1 ('MetaSel ('Just "quorum") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "maxLovelaceSupply") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64))) :*: (S1 ('MetaSel ('Just "activeSlotCoeff") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveSlotCoeff) :*: (S1 ('MetaSel ('Just "networkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "systemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SystemStart))))))

epochInfoPure ∷ Globals → EpochInfo Identity Source #

Pure epoch info via throw. Note that this should only be used when we can guarantee the validity of the translation; in particular, the EpochInfo used here should never be applied to user-supplied input.

type ShelleyBase = ReaderT Globals Identity Source #

data Relation Source #

Relationship descriptor for the expectation in the Mismatch type.

Constructors

RelEQ

Equal

RelLT

Less then

RelGT

Greater then

RelLTEQ

Less then or equal

RelGTEQ

Greater then or equal

RelSubset

Is subset of

Instances

Instances details
FromJSON Relation Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Relation Source #

parseJSONList ∷ Value → Parser [Relation] Source #

omittedField ∷ Maybe Relation Source #

ToJSON Relation Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ Relation → Value Source #

toEncoding ∷ Relation → Encoding Source #

toJSONList ∷ [Relation] → Value Source #

toEncodingList ∷ [Relation] → Encoding Source #

omitField ∷ Relation → Bool Source #

NFData Relation Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ Relation → () #

Bounded Relation Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

minBound ∷ Relation #

maxBound ∷ Relation #

Enum Relation Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

succ ∷ Relation → Relation #

pred ∷ Relation → Relation #

toEnum ∷ Int → Relation #

fromEnum ∷ Relation → Int #

enumFrom ∷ Relation → [Relation] #

enumFromThen ∷ Relation → Relation → [Relation] #

enumFromTo ∷ Relation → Relation → [Relation] #

enumFromThenTo ∷ Relation → Relation → Relation → [Relation] #

Generic Relation Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep Relation 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Relation = D1 ('MetaData "Relation" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "RelEQ" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "RelLT" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RelGT" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "RelLTEQ" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "RelGTEQ" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RelSubset" 'PrefixI 'False) (U1 ∷ Type → Type))))

Methods

from ∷ Relation → Rep Relation x #

to ∷ Rep Relation x → Relation #

Show Relation Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → Relation → ShowS #

show ∷ Relation → String #

showList ∷ [Relation] → ShowS #

Eq Relation Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ Relation → Relation → Bool #

(/=) ∷ Relation → Relation → Bool #

Ord Relation Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ Relation → Relation → Ordering #

(<) ∷ Relation → Relation → Bool #

(<=) ∷ Relation → Relation → Bool #

(>) ∷ Relation → Relation → Bool #

(>=) ∷ Relation → Relation → Bool #

max ∷ Relation → Relation → Relation #

min ∷ Relation → Relation → Relation #

NoThunks Relation Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy Relation → String Source #

type Rep Relation Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Relation = D1 ('MetaData "Relation" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "RelEQ" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "RelLT" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RelGT" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "RelLTEQ" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "RelGTEQ" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RelSubset" 'PrefixI 'False) (U1 ∷ Type → Type))))

data Mismatch (r ∷ Relation) a Source #

This is intended to help clarify supplied and expected values reported by predicate-failures in all eras.

Constructors

Mismatch 

Fields

Instances

Instances details
FromJSON a ⇒ FromJSON (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser (Mismatch r a) Source #

parseJSONList ∷ Value → Parser [Mismatch r a] Source #

omittedField ∷ Maybe (Mismatch r a) Source #

ToJSON a ⇒ ToJSON (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ Mismatch r a → Value Source #

toEncoding ∷ Mismatch r a → Encoding Source #

toJSONList ∷ [Mismatch r a] → Value Source #

toEncodingList ∷ [Mismatch r a] → Encoding Source #

omitField ∷ Mismatch r a → Bool Source #

(DecCBOR a, Typeable r) ⇒ DecCBOR (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s (Mismatch r a) Source #

dropCBOR ∷ Proxy (Mismatch r a) → Decoder s () Source #

label ∷ Proxy (Mismatch r a) → Text Source #

EncCBOR a ⇒ EncCBOR (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ Mismatch r a → Encoding Source #

(Typeable r, DecCBOR a) ⇒ DecCBORGroup (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBORGroup ∷ Decoder s (Mismatch r a) Source #

EncCBOR a ⇒ EncCBORGroup (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBORGroup ∷ Mismatch r a → Encoding Source #

listLen ∷ Mismatch r a → Word Source #

listLenBound ∷ Proxy (Mismatch r a) → Word Source #

NFData a ⇒ NFData (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ Mismatch r a → () #

Generic (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep (Mismatch r a) 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep (Mismatch r a) = D1 ('MetaData "Mismatch" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Mismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "mismatchSupplied") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "mismatchExpected") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

Methods

from ∷ Mismatch r a → Rep (Mismatch r a) x #

to ∷ Rep (Mismatch r a) x → Mismatch r a #

(Typeable r, Show a) ⇒ Show (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → Mismatch r a → ShowS #

show ∷ Mismatch r a → String #

showList ∷ [Mismatch r a] → ShowS #

Eq a ⇒ Eq (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ Mismatch r a → Mismatch r a → Bool #

(/=) ∷ Mismatch r a → Mismatch r a → Bool #

Ord a ⇒ Ord (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ Mismatch r a → Mismatch r a → Ordering #

(<) ∷ Mismatch r a → Mismatch r a → Bool #

(<=) ∷ Mismatch r a → Mismatch r a → Bool #

(>) ∷ Mismatch r a → Mismatch r a → Bool #

(>=) ∷ Mismatch r a → Mismatch r a → Bool #

max ∷ Mismatch r a → Mismatch r a → Mismatch r a #

min ∷ Mismatch r a → Mismatch r a → Mismatch r a #

NoThunks a ⇒ NoThunks (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy (Mismatch r a) → String Source #

type Rep (Mismatch r a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep (Mismatch r a) = D1 ('MetaData "Mismatch" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Mismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "mismatchSupplied") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "mismatchExpected") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

swapMismatch ∷ ∀ (r ∷ Relation) a. Mismatch r a → (a, a) Source #

Convert a Mismatch to a tuple that has "supplied" and "expected" swapped places

unswapMismatch ∷ ∀ a (r ∷ Relation). (a, a) → Mismatch r a Source #

Convert a tuple that has "supplied" and "expected" swapped places to a Mismatch type.

Injection

class Inject t s where Source #

Methods

inject ∷ t → s Source #

Instances

Instances details
Inject Coin DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.Coin

Methods

inject ∷ Coin → DeltaCoin Source #

Inject a a Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

inject ∷ a → a Source #

positiveUnitIntervalNonZeroRational ∷ PositiveUnitInterval → NonZero Rational Source #

Aeson helpers

newtype KeyValuePairs a Source #

Constructors

KeyValuePairs 

Fields

Instances

Instances details
ToKeyValuePairs a ⇒ ToJSON (KeyValuePairs a) Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ KeyValuePairs a → Value Source #

toEncoding ∷ KeyValuePairs a → Encoding Source #

toJSONList ∷ [KeyValuePairs a] → Value Source #

toEncodingList ∷ [KeyValuePairs a] → Encoding Source #

omitField ∷ KeyValuePairs a → Bool Source #

class ToKeyValuePairs a where Source #

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ a → [kv] Source #

Instances

Instances details
ToKeyValuePairs Anchor Source # 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ Anchor → [kv] Source #

ToKeyValuePairs Ptr Source # 
Instance details

Defined in Cardano.Ledger.Credential

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ Ptr → [kv] Source #

ToKeyValuePairs Reward Source # 
Instance details

Defined in Cardano.Ledger.Rewards

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ Reward → [kv] Source #

ToKeyValuePairs InstantaneousRewards Source # 
Instance details

Defined in Cardano.Ledger.State.CertState

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ InstantaneousRewards → [kv] Source #

ToKeyValuePairs ChainAccountState Source # 
Instance details

Defined in Cardano.Ledger.State.ChainAccount

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ChainAccountState → [kv] Source #

ToKeyValuePairs IndividualPoolStake Source # 
Instance details

Defined in Cardano.Ledger.State.PoolDistr

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ IndividualPoolStake → [kv] Source #

ToKeyValuePairs SnapShot Source # 
Instance details

Defined in Cardano.Ledger.State.SnapShots

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ SnapShot → [kv] Source #

ToKeyValuePairs SnapShots Source # 
Instance details

Defined in Cardano.Ledger.State.SnapShots

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ SnapShots → [kv] Source #

EraPParams era ⇒ ToKeyValuePairs (PParams era) Source # 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ PParams era → [kv] Source #

EraPParams era ⇒ ToKeyValuePairs (PParamsUpdate era) Source # 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ PParamsUpdate era → [kv] Source #

ToKeyValuePairs (NoGenesis era) Source # 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ NoGenesis era → [kv] Source #

ToJSON (Accounts era) ⇒ ToKeyValuePairs (DState era) Source # 
Instance details

Defined in Cardano.Ledger.State.CertState

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ DState era → [kv] Source #

ToKeyValuePairs (PState era) Source # 
Instance details

Defined in Cardano.Ledger.State.CertState

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ PState era → [kv] Source #