cardano-ledger-allegra-1.5.0.1: Allegra ledger era that introduces time lock support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Allegra.Core

Synopsis

Documentation

class EraTxBody era ⇒ AllegraEraTxBody era where Source #

Instances

Instances details
Crypto c ⇒ AllegraEraTxBody (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

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

Instances

Instances details
ToJSON ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Generic ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Rep ValidityIntervalTypeType Source #

Show ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

DecCBOR ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

EncCBOR ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

NFData ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

rnfValidityInterval → () Source #

Eq ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Ord ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

NoThunks ValidityInterval Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

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.5.0.1-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))))