Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.Core

Synopsis

class EraTxBody era ⇒ AllegraEraTxBody era where
- vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval
data ValidityInterval = ValidityInterval {
- invalidBefore ∷ !(StrictMaybe SlotNo)
- invalidHereafter ∷ !(StrictMaybe SlotNo)
}
class EraTxAuxData era ⇒ AllegraEraTxAuxData era where
- timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (StrictSeq (Timelock era))
module Cardano.Ledger.Shelley.Core

Documentation

class EraTxBody era ⇒ AllegraEraTxBody era where Source #

Methods

vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval Source #

Instances

Instances details

AllegraEraTxBody AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody AllegraEra) ValidityInterval Source #

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 invalidBefore ∷ !(StrictMaybe SlotNo) invalidHereafter ∷ !(StrictMaybe SlotNo)

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 #
Generic ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Associated Types type Rep ValidityInterval ∷ Type → Type Source # Methods from ∷ ValidityInterval → Rep ValidityInterval x Source # to ∷ Rep ValidityInterval x → ValidityInterval Source #
Show ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods showsPrec ∷ Int → ValidityInterval → ShowS Source # show ∷ ValidityInterval → String Source # showList ∷ [ValidityInterval] → ShowS 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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ValidityInterval → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ValidityInterval] → Size Source #
NFData ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods rnf ∷ ValidityInterval → () Source #
Eq ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods (==) ∷ ValidityInterval → ValidityInterval → Bool Source # (/=) ∷ ValidityInterval → ValidityInterval → Bool Source #
Ord ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods compare ∷ ValidityInterval → ValidityInterval → Ordering Source # (<) ∷ ValidityInterval → ValidityInterval → Bool Source # (<=) ∷ ValidityInterval → ValidityInterval → Bool Source # (>) ∷ ValidityInterval → ValidityInterval → Bool Source # (>=) ∷ ValidityInterval → ValidityInterval → Bool Source # max ∷ ValidityInterval → ValidityInterval → ValidityInterval Source # min ∷ ValidityInterval → ValidityInterval → ValidityInterval Source #
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.7.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))))

class EraTxAuxData era ⇒ AllegraEraTxAuxData era where Source #

Methods

timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (StrictSeq (Timelock era)) Source #

Instances

Instances details

AllegraEraTxAuxData AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (StrictSeq (Timelock AllegraEra)) Source #

module Cardano.Ledger.Shelley.Core