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
- nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (StrictSeq (NativeScript era))
- 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 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 # 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 #
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 → () #
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.8.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 #

Minimal complete definition

nativeScriptsTxAuxDataL

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (StrictSeq (NativeScript era)) Source #

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

Deprecated: In favor of nativeScriptsTxAuxDataL

default timelockScriptsTxAuxDataL ∷ NativeScript era ~ Timelock era ⇒ Lens' (TxAuxData era) (StrictSeq (Timelock era)) Source #

Instances

Instances details

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

module Cardano.Ledger.Shelley.Core