Modulecardano-ledger-allegra-1.10.1.0

Cardano.Ledger.Allegra.Scripts

Synopsis

pattern RequireTimeExpire
pattern RequireTimeStart
value allegraBasedEraNativeScriptJSONParser
value allegraBasedEraNativeScriptToJSON
value decodeVI
value encodeVI
value eqTimelockRaw
value evalTimelock
value getRequireAllOfTimelock
value getRequireAnyOfTimelock
value getRequireMOfTimelock
value getRequireSignatureTimelock
value getTimeExpireTimelock
value getTimeStartTimelock
value inInterval
value invalidBeforeL
value invalidHereAfterL
value lteNegInfty
value ltePosInfty
value mkRequireAllOfTimelock
value mkRequireAnyOfTimelock
value mkRequireMOfTimelock
value mkRequireSignatureTimelock
value mkTimeExpireTimelock
value mkTimeStartTimelock
value showTimelock
value translateTimelock
value upgradeMultiSig
class AllegraEraScript
newtype Timelock
data TimelockRaw
data ValidityInterval

Packagecardano-ledger-allegra-1.10.1.0
Exports32
LicenceApache-2.0

patternpattern RequireTimeExpire :: AllegraEraScript era => SlotNo -> NativeScript era

patternpattern RequireTimeStart :: AllegraEraScript era => SlotNo -> NativeScript era

valueallegraBasedEraNativeScriptJSONParser

:: AllegraEraScript era
=> Value
-> Parser (NativeScript era)

valueallegraBasedEraNativeScriptToJSON

:: AllegraEraScript era
=> NativeScript era -> Object
-> NativeScript era
-> Object

valuedecodeVI :: Decode (Closed Dense) ValidityInterval

valueencodeVI :: ValidityInterval -> Encode (Closed Dense) ValidityInterval

valueeqTimelockRaw :: Timelock era -> Timelock era -> Bool

valueevalTimelock

:: (AllegraEraScript era, NativeScript era ~ Timelock era)
=> Set (KeyHash Witness)
-> ValidityInterval
-> NativeScript era
-> Bool

valuegetRequireAllOfTimelock :: Timelock era -> Maybe (StrictSeq (Timelock era))

valuegetRequireAnyOfTimelock :: Timelock era -> Maybe (StrictSeq (Timelock era))

valuegetRequireMOfTimelock

:: Timelock era
-> Maybe (Int, StrictSeq (Timelock era))

valuegetRequireSignatureTimelock :: Timelock era -> Maybe (KeyHash Witness)

valuegetTimeExpireTimelock :: Timelock era -> Maybe SlotNo

valuegetTimeStartTimelock :: Timelock era -> Maybe SlotNo

valueinInterval :: SlotNo -> ValidityInterval -> Bool

valueinvalidBeforeL :: Lens' ValidityInterval (StrictMaybe SlotNo)

valueinvalidHereAfterL :: Lens' ValidityInterval (StrictMaybe SlotNo)

valuelteNegInfty :: SlotNo -> StrictMaybe SlotNo -> Bool

valueltePosInfty :: StrictMaybe SlotNo -> SlotNo -> Bool

valuemkRequireAllOfTimelock

:: Era era
=> StrictSeq (Timelock era)
-> Timelock era

valuemkRequireAnyOfTimelock

:: Era era
=> StrictSeq (Timelock era)
-> Timelock era

valuemkRequireMOfTimelock

:: Era era
=> Int
-> StrictSeq (Timelock era)
-> Timelock era

valuemkRequireSignatureTimelock :: Era era => KeyHash Witness -> Timelock era

valuemkTimeExpireTimelock :: Era era => SlotNo -> Timelock era

valuemkTimeStartTimelock :: Era era => SlotNo -> Timelock era

valueshowTimelock :: AllegraEraScript era => NativeScript era -> String

valuetranslateTimelock :: (Era era1, Era era2) => Timelock era1 -> Timelock era2

valueupgradeMultiSig :: NativeScript ShelleyEra -> NativeScript AllegraEra

classclass ShelleyEraScript era => AllegraEraScript era where

Methods

mkTimeStart :: SlotNo -> NativeScript era
getTimeStart :: NativeScript era -> Maybe SlotNo
mkTimeExpire :: SlotNo -> NativeScript era
getTimeExpire :: NativeScript era -> Maybe SlotNo

Instances1AllegraEraScript

AllegraEraScript AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts

newtypenewtype Timelock (era :: k)

Constructors

MkTimelock (MemoBytes (TimelockRaw era))

Instances17DecCBOR, Eq, Ord, Show, Generic, NFData, …

Era era => DecCBOR (Annotator (Timelock era))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Eq (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Ord (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Show (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Generic (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
NFData (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
(AllegraEraScript era, NativeScript era ~ Timelock era) => FromJSON (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
(AllegraEraScript era, NativeScript era ~ Timelock era) => ToJSON (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Era era => MemPack (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Era era => NoThunks (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
(Typeable era, Typeable k) => ToCBOR (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Era era => EncCBOR (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
SafeToHash (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
EqRaw (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Memoized (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
type Rep (Timelock era) = D1 ('MetaData "Timelock" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.10.1.0-ILf6F2MRyXmOxh7sg1ml2" 'True) (C1 ('MetaCons "MkTimelock" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (TimelockRaw era)))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
type RawType (Timelock era) = TimelockRaw eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts

datadata TimelockRaw (era :: k)

Constructors

TimelockSignature !(KeyHash Witness)
TimelockAllOf !(StrictSeq (Timelock era))
TimelockAnyOf !(StrictSeq (Timelock era))
TimelockMOf !Int !(StrictSeq (Timelock era))
TimelockTimeStart !SlotNo
TimelockTimeExpire !SlotNo

Instances8DecCBOR, Eq, Show, Generic, NFData, NoThunks, …

Era era => DecCBOR (Annotator (TimelockRaw era))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Eq (TimelockRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Show (TimelockRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Generic (TimelockRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
NFData (TimelockRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Era era => NoThunks (TimelockRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Era era => EncCBOR (TimelockRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
type Rep (TimelockRaw era) = D1 ('MetaData "TimelockRaw" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.10.1.0-ILf6F2MRyXmOxh7sg1ml2" 'False) ((C1 ('MetaCons "TimelockSignature" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash Witness))) :+: (C1 ('MetaCons "TimelockAllOf" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era)))) :+: C1 ('MetaCons "TimelockAnyOf" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era)))))) :+: (C1 ('MetaCons "TimelockMOf" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era)))) :+: (C1 ('MetaCons "TimelockTimeStart" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo)) :+: C1 ('MetaCons "TimelockTimeExpire" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo)))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts

datadata ValidityInterval

Constructors

ValidityInterval
- invalidBefore :: !StrictMaybe SlotNo
- invalidHereafter :: !StrictMaybe SlotNo

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Ord ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Show ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Generic ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
NFData ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
FromJSON ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
ToJSON ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
NoThunks ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
DecCBOR ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
EncCBOR ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.10.1.0-ILf6F2MRyXmOxh7sg1ml2" '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))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts

Orphan instances

2 instances