Modulecardano-ledger-allegra-1.10.1.0
Cardano.Ledger.Allegra.Scripts
- 3 types
- 1 class
- 26 values
- Packagecardano-ledger-allegra-1.10.1.0
- Exports32
- LicenceApache-2.0
Methods
mkTimeStart :: SlotNo -> NativeScript eragetTimeStart :: NativeScript era -> Maybe SlotNomkTimeExpire :: SlotNo -> NativeScript eragetTimeExpire :: NativeScript era -> Maybe SlotNo
Instances1AllegraEraScript
AllegraEraScript AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
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.ScriptsEq (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsOrd (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsShow (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsGeneric (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsNFData (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.ScriptsEra era => MemPack (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsEra 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.ScriptsEra era => EncCBOR (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsSafeToHash (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsEqRaw (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsMemoized (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scriptstype Rep (Timelock era) = D1 ('MetaDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts"Timelock"
"Cardano.Ledger.Allegra.Scripts"
"cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ"
'True) (C1 ('MetaCons"MkTimelock"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (TimelockRaw era)))))type RawType (Timelock era) = TimelockRaw eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Constructors
TimelockSignature !(KeyHash Witness)TimelockAllOf !(StrictSeq (Timelock era))TimelockAnyOf !(StrictSeq (Timelock era))TimelockMOf !Int !(StrictSeq (Timelock era))TimelockTimeStart !SlotNoTimelockTimeExpire !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.ScriptsEq (TimelockRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsShow (TimelockRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsGeneric (TimelockRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsNFData (TimelockRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsEra era => NoThunks (TimelockRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsEra era => EncCBOR (TimelockRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scriptstype Rep (TimelockRaw era) = D1 ('MetaDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts"TimelockRaw"
"Cardano.Ledger.Allegra.Scripts"
"cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ"
'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)))))
Constructors
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsOrd ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsShow ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsGeneric ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsNFData ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsFromJSON ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsToJSON ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsNoThunks ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsDecCBOR ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.ScriptsEncCBOR ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scriptstype Rep ValidityInterval = D1 ('MetaDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts"ValidityInterval"
"Cardano.Ledger.Allegra.Scripts"
"cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ"
'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))))