cardano-ledger-allegra-1.9.0.0: Allegra ledger era that introduces time lock support.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Allegra.TxBody

Synopsis

Documentation

class EraTxBody era ⇒ AllegraEraTxBody era where Source #

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) ValidityInterval Source #

Instances

Instances details
AllegraEraTxBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) ValidityInterval Source #

data family TxBody (l ∷ TxLevel) era Source #

The body of a transaction.

Instances

Instances details
HasEraTxLevel TxBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AllegraEra → STxLevel l AllegraEra Source #

HasEraTxLevel TxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → STxLevel l ShelleyEra Source #

EraTxBody era ⇒ HasOKey TxId (TxBody l era) 
Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ TxBody l era → TxId Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AllegraEra)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AllegraEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l ShelleyEra)) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Text Source #

Typeable l ⇒ ToCBOR (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toCBOR ∷ TxBody l AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AllegraEra) → Size Source #

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

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toCBOR ∷ TxBody l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l ShelleyEra) → Size Source #

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

EncCBOR (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

encCBOR ∷ TxBody l AllegraEra → Encoding Source #

EncCBOR (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

SafeToHash (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

originalBytes ∷ TxBody l AllegraEra → ByteString Source #

originalBytesSize ∷ TxBody l AllegraEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AllegraEra → SafeHash i Source #

SafeToHash (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

originalBytes ∷ TxBody l ShelleyEra → ByteString Source #

originalBytesSize ∷ TxBody l ShelleyEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l ShelleyEra → SafeHash i Source #

EqRaw (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

eqRaw ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool Source #

EqRaw (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

eqRaw ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool Source #

Memoized (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type RawType (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

Methods

getMemoBytes ∷ TxBody l AllegraEra → MemoBytes (RawType (TxBody l AllegraEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AllegraEra)) → TxBody l AllegraEra

Memoized (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

rnf ∷ TxBody l AllegraEra → () #

NFData (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type Rep (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

Methods

from ∷ TxBody l AllegraEra → Rep (TxBody l AllegraEra) x #

to ∷ Rep (TxBody l AllegraEra) x → TxBody l AllegraEra #

Generic (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

Methods

from ∷ TxBody l ShelleyEra → Rep (TxBody l ShelleyEra) x #

to ∷ Rep (TxBody l ShelleyEra) x → TxBody l ShelleyEra #

Show (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

showsPrec ∷ Int → TxBody l AllegraEra → ShowS #

show ∷ TxBody l AllegraEra → String #

showList ∷ [TxBody l AllegraEra] → ShowS #

Show (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

(==) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

(/=) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

Eq (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

(/=) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

Typeable l ⇒ NoThunks (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

noThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AllegraEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

noThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l ShelleyEra) → String Source #

HashAnnotated (TxBody l AllegraEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

hashAnnotated ∷ TxBody l AllegraEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

newtype TxBody l AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))
newtype TxBody l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
type RawType (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra
type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra
type Rep (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))
type Rep (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

basicAllegraTxBody ∷ ∀ era (l ∷ TxLevel) ma. (EraTxBody era, Memoized (TxBody l era), RawType (TxBody l era) ~ AllegraTxBodyRaw ma l era, HasEraTxLevel (AllegraTxBodyRaw ma) era, STxLevel l era ~ STxTopLevel l era, Typeable l, EncCBOR ma, Monoid ma, Eq ma) ⇒ TxBody l era Source #

emptyAllegraTxBodyRaw ∷ Monoid ma ⇒ AllegraTxBodyRaw ma 'TopTx era Source #

data AllegraTxBodyRaw ma (l ∷ TxLevel) era where Source #

Constructors

AllegraTxBodyRaw 

Fields

Instances

Instances details
(DecCBOR ma, Monoid ma, AllegraEraTxBody era, HasEraTxLevel (AllegraTxBodyRaw ma) era, STxLevel l era ~ STxTopLevel l era, Typeable l) ⇒ DecCBOR (Annotator (AllegraTxBodyRaw ma l era)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (AllegraTxBodyRaw ma l era)) Source #

dropCBOR ∷ Proxy (Annotator (AllegraTxBodyRaw ma l era)) → Decoder s () Source #

label ∷ Proxy (Annotator (AllegraTxBodyRaw ma l era)) → Text Source #

HasEraTxLevel (AllegraTxBodyRaw m) AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). AllegraTxBodyRaw m l AllegraEra → STxLevel l AllegraEra Source #

(DecCBOR ma, Monoid ma, AllegraEraTxBody era, HasEraTxLevel (AllegraTxBodyRaw ma) era, STxLevel l era ~ STxTopLevel l era, Typeable l) ⇒ DecCBOR (AllegraTxBodyRaw ma l era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

decCBOR ∷ Decoder s (AllegraTxBodyRaw ma l era) Source #

dropCBOR ∷ Proxy (AllegraTxBodyRaw ma l era) → Decoder s () Source #

label ∷ Proxy (AllegraTxBodyRaw ma l era) → Text Source #

(EraTxOut era, EraTxCert era, Eq ma, EncCBOR ma, Monoid ma) ⇒ EncCBOR (AllegraTxBodyRaw ma l era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

encCBOR ∷ AllegraTxBodyRaw ma l era → Encoding Source #

(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era), NFData ma) ⇒ NFData (AllegraTxBodyRaw ma l era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

rnf ∷ AllegraTxBodyRaw ma l era → () #

(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era), Show ma) ⇒ Show (AllegraTxBodyRaw ma l era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

showsPrec ∷ Int → AllegraTxBodyRaw ma l era → ShowS #

show ∷ AllegraTxBodyRaw ma l era → String #

showList ∷ [AllegraTxBodyRaw ma l era] → ShowS #

(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era), Eq ma) ⇒ Eq (AllegraTxBodyRaw ma l era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

(==) ∷ AllegraTxBodyRaw ma l era → AllegraTxBodyRaw ma l era → Bool #

(/=) ∷ AllegraTxBodyRaw ma l era → AllegraTxBodyRaw ma l era → Bool #

(Typeable era, Typeable ma, Typeable l) ⇒ NoThunks (AllegraTxBodyRaw ma l era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

noThunks ∷ Context → AllegraTxBodyRaw ma l era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AllegraTxBodyRaw ma l era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AllegraTxBodyRaw ma l era) → String Source #

type MemoHashIndex (AllegraTxBodyRaw c l era) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type MemoHashIndex (AllegraTxBodyRaw c l era) = EraIndependentTxBody

data StrictMaybe a Source #

Constructors

SNothing 
SJust !a 

Instances

Instances details
Eq1 StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

liftEq ∷ (a → b → Bool) → StrictMaybe a → StrictMaybe b → Bool #

Ord1 StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

liftCompare ∷ (a → b → Ordering) → StrictMaybe a → StrictMaybe b → Ordering #

Read1 StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

liftReadsPrec ∷ (Int → ReadS a) → ReadS [a] → Int → ReadS (StrictMaybe a) #

liftReadList ∷ (Int → ReadS a) → ReadS [a] → ReadS [StrictMaybe a] #

liftReadPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec (StrictMaybe a) #

liftReadListPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec [StrictMaybe a] #

Show1 StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

liftShowsPrec ∷ (Int → a → ShowS) → ([a] → ShowS) → Int → StrictMaybe a → ShowS #

liftShowList ∷ (Int → a → ShowS) → ([a] → ShowS) → [StrictMaybe a] → ShowS #

HKDApplicative StrictMaybe 
Instance details

Defined in Cardano.Ledger.HKD

Methods

hkdPure ∷ a → HKD StrictMaybe a Source #

hkdLiftA2 ∷ (a → b → c) → HKD StrictMaybe a → HKD StrictMaybe b → HKD StrictMaybe c Source #

HKDFunctor StrictMaybe 
Instance details

Defined in Cardano.Ledger.HKD

Methods

hkdMap ∷ proxy StrictMaybe → (a → b) → HKD StrictMaybe a → HKD StrictMaybe b Source #

toNoUpdate ∷ HKD StrictMaybe a → HKDNoUpdate StrictMaybe a Source #

fromNoUpdate ∷ HKDNoUpdate StrictMaybe a → HKD StrictMaybe a Source #

Alternative StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

empty ∷ StrictMaybe a #

(<|>) ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a #

some ∷ StrictMaybe a → StrictMaybe [a] #

many ∷ StrictMaybe a → StrictMaybe [a] #

Applicative StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

pure ∷ a → StrictMaybe a #

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

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

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

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

Functor StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

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

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

Monad StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

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

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

return ∷ a → StrictMaybe a #

MonadFail StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

fail ∷ String → StrictMaybe a #

Foldable StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

fold ∷ Monoid m ⇒ StrictMaybe m → m #

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

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

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

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

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

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

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

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

toList ∷ StrictMaybe a → [a] #

null ∷ StrictMaybe a → Bool #

length ∷ StrictMaybe a → Int #

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

maximum ∷ Ord a ⇒ StrictMaybe a → a #

minimum ∷ Ord a ⇒ StrictMaybe a → a #

sum ∷ Num a ⇒ StrictMaybe a → a #

product ∷ Num a ⇒ StrictMaybe a → a #

Traversable StrictMaybe 
Instance details

Defined in Data.Maybe.Strict

Methods

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

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

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

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

FromJSON a ⇒ FromJSON (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

parseJSON ∷ Value → Parser (StrictMaybe a) Source #

parseJSONList ∷ Value → Parser [StrictMaybe a] Source #

omittedField ∷ Maybe (StrictMaybe a) Source #

ToJSON a ⇒ ToJSON (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

toJSON ∷ StrictMaybe a → Value Source #

toEncoding ∷ StrictMaybe a → Encoding Source #

toJSONList ∷ [StrictMaybe a] → Value Source #

toEncodingList ∷ [StrictMaybe a] → Encoding Source #

omitField ∷ StrictMaybe a → Bool Source #

FromCBOR a ⇒ FromCBOR (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

fromCBOR ∷ Decoder s (StrictMaybe a) Source #

label ∷ Proxy (StrictMaybe a) → Text Source #

ToCBOR a ⇒ ToCBOR (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

toCBOR ∷ StrictMaybe a → Encoding Source #

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

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

DecCBOR a ⇒ DecCBOR (StrictMaybe a) 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s (StrictMaybe a) Source #

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

label ∷ Proxy (StrictMaybe a) → Text Source #

EncCBOR a ⇒ EncCBOR (StrictMaybe a) 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ StrictMaybe a → Encoding Source #

Default (StrictMaybe t) 
Instance details

Defined in Data.Maybe.Strict

Methods

def ∷ StrictMaybe t Source #

NFData a ⇒ NFData (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

rnf ∷ StrictMaybe a → () #

Semigroup a ⇒ Monoid (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

mempty ∷ StrictMaybe a #

mappend ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a #

mconcat ∷ [StrictMaybe a] → StrictMaybe a #

Semigroup a ⇒ Semigroup (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

(<>) ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a #

sconcat ∷ NonEmpty (StrictMaybe a) → StrictMaybe a #

stimes ∷ Integral b ⇒ b → StrictMaybe a → StrictMaybe a #

Generic (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Associated Types

type Rep (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Data.Maybe.Strict" "cardano-strict-containers-0.1.5.0-b366c4dda1bfbad2771fab6e9b85e40d7fa09ae0e40044186dd831da6b0eafbf" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

Methods

from ∷ StrictMaybe a → Rep (StrictMaybe a) x #

to ∷ Rep (StrictMaybe a) x → StrictMaybe a #

Read a ⇒ Read (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

readsPrec ∷ Int → ReadS (StrictMaybe a) #

readList ∷ ReadS [StrictMaybe a] #

readPrec ∷ ReadPrec (StrictMaybe a) #

readListPrec ∷ ReadPrec [StrictMaybe a] #

Show a ⇒ Show (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

showsPrec ∷ Int → StrictMaybe a → ShowS #

show ∷ StrictMaybe a → String #

showList ∷ [StrictMaybe a] → ShowS #

Eq a ⇒ Eq (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

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

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

Ord a ⇒ Ord (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

compare ∷ StrictMaybe a → StrictMaybe a → Ordering #

(<) ∷ StrictMaybe a → StrictMaybe a → Bool #

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

(>) ∷ StrictMaybe a → StrictMaybe a → Bool #

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

max ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a #

min ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a #

NoThunks a ⇒ NoThunks (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

Methods

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

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

showTypeOf ∷ Proxy (StrictMaybe a) → String Source #

NFData (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

rnf ∷ ShelleyPParams StrictMaybe era → () #

Show (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

showsPrec ∷ Int → ShelleyPParams StrictMaybe era → ShowS #

show ∷ ShelleyPParams StrictMaybe era → String #

showList ∷ [ShelleyPParams StrictMaybe era] → ShowS #

Eq (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

(==) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool #

(/=) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool #

Ord (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

compare ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Ordering #

(<) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool #

(<=) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool #

(>) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool #

(>=) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool #

max ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era #

min ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era #

NoThunks (ShelleyPParams StrictMaybe era) 
Instance details

Defined in Cardano.Ledger.Shelley.PParams

Methods

noThunks ∷ Context → ShelleyPParams StrictMaybe era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ShelleyPParams StrictMaybe era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ShelleyPParams StrictMaybe era) → String Source #

Updatable (K1 t x a) (K1 t (StrictMaybe x) u) 
Instance details

Defined in Cardano.Ledger.Core.PParams

Methods

applyUpdate ∷ K1 t x a → K1 t (StrictMaybe x) u → K1 t x a

type Rep (StrictMaybe a) 
Instance details

Defined in Data.Maybe.Strict

type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Data.Maybe.Strict" "cardano-strict-containers-0.1.5.0-b366c4dda1bfbad2771fab6e9b85e40d7fa09ae0e40044186dd831da6b0eafbf" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

data ValidityInterval Source #

ValidityInterval is a half open interval. Closed on the bottom, open on the top. A SNothing on the bottom is negative infinity, and a SNothing on the top is positive infinity

Constructors

ValidityInterval 

Fields

Instances

Instances details
ToJSON ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

toJSON ∷ ValidityInterval → Value Source #

toEncoding ∷ ValidityInterval → Encoding Source #

toJSONList ∷ [ValidityInterval] → Value Source #

toEncodingList ∷ [ValidityInterval] → Encoding Source #

omitField ∷ ValidityInterval → Bool Source #

DecCBOR ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

decCBOR ∷ Decoder s ValidityInterval Source #

dropCBOR ∷ Proxy ValidityInterval → Decoder s () Source #

label ∷ Proxy ValidityInterval → Text Source #

EncCBOR ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

encCBOR ∷ ValidityInterval → Encoding Source #

NFData ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

rnf ∷ ValidityInterval → () #

Generic ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Rep ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.9.0.0-inplace" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))

Methods

from ∷ ValidityInterval → Rep ValidityInterval x #

to ∷ Rep ValidityInterval x → ValidityInterval #

Show ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

showsPrec ∷ Int → ValidityInterval → ShowS #

show ∷ ValidityInterval → String #

showList ∷ [ValidityInterval] → ShowS #

Eq ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

(==) ∷ ValidityInterval → ValidityInterval → Bool #

(/=) ∷ ValidityInterval → ValidityInterval → Bool #

Ord ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

compare ∷ ValidityInterval → ValidityInterval → Ordering #

(<) ∷ ValidityInterval → ValidityInterval → Bool #

(<=) ∷ ValidityInterval → ValidityInterval → Bool #

(>) ∷ ValidityInterval → ValidityInterval → Bool #

(>=) ∷ ValidityInterval → ValidityInterval → Bool #

max ∷ ValidityInterval → ValidityInterval → ValidityInterval #

min ∷ ValidityInterval → ValidityInterval → ValidityInterval #

NoThunks ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

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

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

showTypeOf ∷ Proxy ValidityInterval → String Source #

type Rep ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.9.0.0-inplace" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))

Orphan instances

EraTxBody AllegraEra Source # 
Instance details

Associated Types

newtype TxBody l AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l AllegraEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (StrictSeq (TxOut AllegraEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx AllegraEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (StrictSeq (TxCert AllegraEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams AllegraEra → (KeyHash 'StakePool → Bool) → TxBody l AllegraEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams AllegraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l AllegraEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx AllegraEra → Int Source #

ShelleyEraTxBody AllegraEra Source # 
Instance details

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) (StrictMaybe (Update AllegraEra)) Source #

HasEraTxLevel TxBody AllegraEra Source # 
Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AllegraEra → STxLevel l AllegraEra Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AllegraEra)) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AllegraEra)) → Text Source #

Typeable l ⇒ ToCBOR (TxBody l AllegraEra) Source # 
Instance details

Methods

toCBOR ∷ TxBody l AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AllegraEra) → Size Source #

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

EncCBOR (TxBody l AllegraEra) Source # 
Instance details

Methods

encCBOR ∷ TxBody l AllegraEra → Encoding Source #

SafeToHash (TxBody l AllegraEra) Source # 
Instance details

Methods

originalBytes ∷ TxBody l AllegraEra → ByteString Source #

originalBytesSize ∷ TxBody l AllegraEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AllegraEra → SafeHash i Source #

EqRaw (TxBody l AllegraEra) Source # 
Instance details

Methods

eqRaw ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool Source #

Memoized (TxBody l AllegraEra) Source # 
Instance details

Associated Types

type RawType (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

Methods

getMemoBytes ∷ TxBody l AllegraEra → MemoBytes (RawType (TxBody l AllegraEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AllegraEra)) → TxBody l AllegraEra

NFData (TxBody l AllegraEra) Source # 
Instance details

Methods

rnf ∷ TxBody l AllegraEra → () #

Generic (TxBody l AllegraEra) Source # 
Instance details

Associated Types

type Rep (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

Methods

from ∷ TxBody l AllegraEra → Rep (TxBody l AllegraEra) x #

to ∷ Rep (TxBody l AllegraEra) x → TxBody l AllegraEra #

Show (TxBody l AllegraEra) Source # 
Instance details

Methods

showsPrec ∷ Int → TxBody l AllegraEra → ShowS #

show ∷ TxBody l AllegraEra → String #

showList ∷ [TxBody l AllegraEra] → ShowS #

Eq (TxBody l AllegraEra) Source # 
Instance details

Methods

(==) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

(/=) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

Typeable l ⇒ NoThunks (TxBody l AllegraEra) Source # 
Instance details

Methods

noThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AllegraEra) → String Source #

HashAnnotated (TxBody l AllegraEra) EraIndependentTxBody Source # 
Instance details

Methods

hashAnnotated ∷ TxBody l AllegraEra → SafeHash EraIndependentTxBody Source #