Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Allegra.Scripts

Contents

Orphan instances

Synopsis

class ShelleyEraScript era ⇒ AllegraEraScript era where
- mkTimeStart ∷ SlotNo → NativeScript era
- getTimeStart ∷ NativeScript era → Maybe SlotNo
- mkTimeExpire ∷ SlotNo → NativeScript era
- getTimeExpire ∷ NativeScript era → Maybe SlotNo
mkRequireSignatureTimelock ∷ Era era ⇒ KeyHash 'Witness → Timelock era
getRequireSignatureTimelock ∷ ∀ {k} (era ∷ k). Timelock era → Maybe (KeyHash 'Witness)
mkRequireAllOfTimelock ∷ Era era ⇒ StrictSeq (Timelock era) → Timelock era
getRequireAllOfTimelock ∷ ∀ {k} (era ∷ k). Timelock era → Maybe (StrictSeq (Timelock era))
mkRequireAnyOfTimelock ∷ Era era ⇒ StrictSeq (Timelock era) → Timelock era
getRequireAnyOfTimelock ∷ ∀ {k} (era ∷ k). Timelock era → Maybe (StrictSeq (Timelock era))
mkRequireMOfTimelock ∷ Era era ⇒ Int → StrictSeq (Timelock era) → Timelock era
getRequireMOfTimelock ∷ ∀ {k} (era ∷ k). Timelock era → Maybe (Int, StrictSeq (Timelock era))
mkTimeStartTimelock ∷ Era era ⇒ SlotNo → Timelock era
getTimeStartTimelock ∷ ∀ {k} (era ∷ k). Timelock era → Maybe SlotNo
mkTimeExpireTimelock ∷ Era era ⇒ SlotNo → Timelock era
getTimeExpireTimelock ∷ ∀ {k} (era ∷ k). Timelock era → Maybe SlotNo
newtype Timelock (era ∷ k) = MkTimelock (MemoBytes (TimelockRaw era))
pattern RequireTimeExpire ∷ AllegraEraScript era ⇒ SlotNo → NativeScript era
pattern RequireTimeStart ∷ AllegraEraScript era ⇒ SlotNo → NativeScript era
data TimelockRaw (era ∷ k)
- = TimelockSignature !(KeyHash 'Witness)
- | TimelockAllOf !(StrictSeq (Timelock era))
- | TimelockAnyOf !(StrictSeq (Timelock era))
- | TimelockMOf !Int !(StrictSeq (Timelock era))
- | TimelockTimeStart !SlotNo
- | TimelockTimeExpire !SlotNo
inInterval ∷ SlotNo → ValidityInterval → Bool
showTimelock ∷ AllegraEraScript era ⇒ NativeScript era → String
evalTimelock ∷ (AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ Set (KeyHash 'Witness) → ValidityInterval → NativeScript era → Bool
eqTimelockRaw ∷ ∀ {k} (era ∷ k). Timelock era → Timelock era → Bool
data ValidityInterval = ValidityInterval {
- invalidBefore ∷ !(StrictMaybe SlotNo)
- invalidHereafter ∷ !(StrictMaybe SlotNo)
}
encodeVI ∷ ValidityInterval → Encode ('Closed 'Dense) ValidityInterval
decodeVI ∷ Decode ('Closed 'Dense) ValidityInterval
translateTimelock ∷ (Era era1, Era era2) ⇒ Timelock era1 → Timelock era2
upgradeMultiSig ∷ NativeScript ShelleyEra → NativeScript AllegraEra
lteNegInfty ∷ SlotNo → StrictMaybe SlotNo → Bool
ltePosInfty ∷ StrictMaybe SlotNo → SlotNo → Bool
invalidBeforeL ∷ Lens' ValidityInterval (StrictMaybe SlotNo)
invalidHereAfterL ∷ Lens' ValidityInterval (StrictMaybe SlotNo)

Documentation

class ShelleyEraScript era ⇒ AllegraEraScript era where Source #

Methods

mkTimeStart ∷ SlotNo → NativeScript era Source #

getTimeStart ∷ NativeScript era → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript era Source #

getTimeExpire ∷ NativeScript era → Maybe SlotNo Source #

Instances

Instances details

AllegraEraScript AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods mkTimeStart ∷ SlotNo → NativeScript AllegraEra Source # getTimeStart ∷ NativeScript AllegraEra → Maybe SlotNo Source # mkTimeExpire ∷ SlotNo → NativeScript AllegraEra Source # getTimeExpire ∷ NativeScript AllegraEra → Maybe SlotNo Source #

mkRequireSignatureTimelock ∷ Era era ⇒ KeyHash 'Witness → Timelock era Source #

getRequireSignatureTimelock ∷ ∀ {k} (era ∷ k). Timelock era → Maybe (KeyHash 'Witness) Source #

mkRequireAllOfTimelock ∷ Era era ⇒ StrictSeq (Timelock era) → Timelock era Source #

getRequireAllOfTimelock ∷ ∀ {k} (era ∷ k). Timelock era → Maybe (StrictSeq (Timelock era)) Source #

mkRequireAnyOfTimelock ∷ Era era ⇒ StrictSeq (Timelock era) → Timelock era Source #

getRequireAnyOfTimelock ∷ ∀ {k} (era ∷ k). Timelock era → Maybe (StrictSeq (Timelock era)) Source #

mkRequireMOfTimelock ∷ Era era ⇒ Int → StrictSeq (Timelock era) → Timelock era Source #

getRequireMOfTimelock ∷ ∀ {k} (era ∷ k). Timelock era → Maybe (Int, StrictSeq (Timelock era)) Source #

mkTimeStartTimelock ∷ Era era ⇒ SlotNo → Timelock era Source #

getTimeStartTimelock ∷ ∀ {k} (era ∷ k). Timelock era → Maybe SlotNo Source #

mkTimeExpireTimelock ∷ Era era ⇒ SlotNo → Timelock era Source #

getTimeExpireTimelock ∷ ∀ {k} (era ∷ k). Timelock era → Maybe SlotNo Source #

newtype Timelock (era ∷ k) Source #

Constructors

MkTimelock (MemoBytes (TimelockRaw era))

Instances

Instances details

Era era ⇒ DecCBOR (Annotator (Timelock era)) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

decCBOR ∷ Decoder s (Annotator (Timelock era)) Source #

dropCBOR ∷ Proxy (Annotator (Timelock era)) → Decoder s () Source #

label ∷ Proxy (Annotator (Timelock era)) → Text Source #

(Typeable era, Typeable k) ⇒ ToCBOR (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

toCBOR ∷ Timelock era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Timelock era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Timelock era] → Size Source #

Era era ⇒ EncCBOR (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

encCBOR ∷ Timelock era → Encoding Source #

SafeToHash (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

originalBytes ∷ Timelock era → ByteString Source #

originalBytesSize ∷ Timelock era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → Timelock era → SafeHash i Source #

EqRaw (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

eqRaw ∷ Timelock era → Timelock era → Bool Source #

Memoized (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type RawType (Timelock era)
Instance details Defined in Cardano.Ledger.Allegra.Scripts type RawType (Timelock era) = TimelockRaw era

Methods

getMemoBytes ∷ Timelock era → MemoBytes (RawType (Timelock era))

wrapMemoBytes ∷ MemoBytes (RawType (Timelock era)) → Timelock era

NFData (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

rnf ∷ Timelock era → () #

Generic (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Rep (Timelock era)
Instance details Defined in Cardano.Ledger.Allegra.Scripts type Rep (Timelock era) = D1 ('MetaData "Timelock" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkTimelock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (TimelockRaw era)))))

Methods

from ∷ Timelock era → Rep (Timelock era) x #

to ∷ Rep (Timelock era) x → Timelock era #

Show (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

showsPrec ∷ Int → Timelock era → ShowS #

show ∷ Timelock era → String #

showList ∷ [Timelock era] → ShowS #

Eq (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

(==) ∷ Timelock era → Timelock era → Bool #

(/=) ∷ Timelock era → Timelock era → Bool #

Era era ⇒ MemPack (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

typeName ∷ String Source #

packedByteCount ∷ Timelock era → Int Source #

packM ∷ Timelock era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (Timelock era) Source #

Era era ⇒ NoThunks (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

noThunks ∷ Context → Timelock era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Timelock era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Timelock era) → String Source #

type RawType (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type RawType (Timelock era) = TimelockRaw era

type Rep (Timelock era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep (Timelock era) = D1 ('MetaData "Timelock" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkTimelock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (TimelockRaw era)))))

pattern RequireTimeExpire ∷ AllegraEraScript era ⇒ SlotNo → NativeScript era Source #

pattern RequireTimeStart ∷ AllegraEraScript era ⇒ SlotNo → NativeScript era Source #

data TimelockRaw (era ∷ k) Source #

Constructors

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

Instances

Instances details

Era era ⇒ DecCBOR (Annotator (TimelockRaw era)) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

decCBOR ∷ Decoder s (Annotator (TimelockRaw era)) Source #

dropCBOR ∷ Proxy (Annotator (TimelockRaw era)) → Decoder s () Source #

label ∷ Proxy (Annotator (TimelockRaw era)) → Text Source #

Era era ⇒ EncCBOR (TimelockRaw era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

encCBOR ∷ TimelockRaw era → Encoding Source #

NFData (TimelockRaw era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

rnf ∷ TimelockRaw era → () #

Generic (TimelockRaw era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Rep (TimelockRaw era)

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep (TimelockRaw era) = D1 ('MetaData "TimelockRaw" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.9.0.0-inplace" 'False) ((C1 ('MetaCons "TimelockSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Witness))) :+: (C1 ('MetaCons "TimelockAllOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era)))) :+: C1 ('MetaCons "TimelockAnyOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era)))))) :+: (C1 ('MetaCons "TimelockMOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era)))) :+: (C1 ('MetaCons "TimelockTimeStart" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: C1 ('MetaCons "TimelockTimeExpire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)))))

Methods

from ∷ TimelockRaw era → Rep (TimelockRaw era) x #

to ∷ Rep (TimelockRaw era) x → TimelockRaw era #

Show (TimelockRaw era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

showsPrec ∷ Int → TimelockRaw era → ShowS #

show ∷ TimelockRaw era → String #

showList ∷ [TimelockRaw era] → ShowS #

Eq (TimelockRaw era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

(==) ∷ TimelockRaw era → TimelockRaw era → Bool #

(/=) ∷ TimelockRaw era → TimelockRaw era → Bool #

Era era ⇒ NoThunks (TimelockRaw era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

noThunks ∷ Context → TimelockRaw era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TimelockRaw era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TimelockRaw era) → String Source #

type Rep (TimelockRaw era) Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep (TimelockRaw era) = D1 ('MetaData "TimelockRaw" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.9.0.0-inplace" 'False) ((C1 ('MetaCons "TimelockSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Witness))) :+: (C1 ('MetaCons "TimelockAllOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era)))) :+: C1 ('MetaCons "TimelockAnyOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era)))))) :+: (C1 ('MetaCons "TimelockMOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era)))) :+: (C1 ('MetaCons "TimelockTimeStart" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: C1 ('MetaCons "TimelockTimeExpire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)))))

inInterval ∷ SlotNo → ValidityInterval → Bool Source #

Test if a slot is in the Validity interval. Recall that a ValidityInterval is a half Open interval, that is why we use (slot < top)

showTimelock ∷ AllegraEraScript era ⇒ NativeScript era → String Source #

evalTimelock ∷ (AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ Set (KeyHash 'Witness) → ValidityInterval → NativeScript era → Bool Source #

eqTimelockRaw ∷ ∀ {k} (era ∷ k). Timelock era → Timelock era → Bool Source #

Check the equality of two underlying types, while ignoring their binary representation, which Eq instance normally does. This is used for testing.

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 #

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 #

NFData ValidityInterval Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

rnf ∷ ValidityInterval → () #

Generic ValidityInterval Source #

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Rep ValidityInterval

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.9.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))))

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 #

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

encodeVI ∷ ValidityInterval → Encode ('Closed 'Dense) ValidityInterval Source #

decodeVI ∷ Decode ('Closed 'Dense) ValidityInterval Source #

translateTimelock ∷ (Era era1, Era era2) ⇒ Timelock era1 → Timelock era2 Source #

This function deconstructs and then reconstructs the timelock script to prove the compiler that we can arbirarily switch out the eras as long as the cryptos for both eras are the same.

upgradeMultiSig ∷ NativeScript ShelleyEra → NativeScript AllegraEra Source #

lteNegInfty ∷ SlotNo → StrictMaybe SlotNo → Bool Source #

less-than-equal comparison, where Nothing is negative infinity

ltePosInfty ∷ StrictMaybe SlotNo → SlotNo → Bool Source #

less-than-equal comparison, where Nothing is positive infinity

invalidBeforeL ∷ Lens' ValidityInterval (StrictMaybe SlotNo) Source #

Lens to access the invalidBefore field of a ValidityInterval as a 'StrictMaybe SlotNo'.

invalidHereAfterL ∷ Lens' ValidityInterval (StrictMaybe SlotNo) Source #

Lens to access the invalidHereAfter field of a ValidityInterval as a 'StrictMaybe SlotNo'.

Orphan instances

EraScript AllegraEra Source #

Since Timelock scripts are a strictly backwards compatible extension of MultiSig scripts, we can use the same scriptPrefixTag tag here as we did for the ValidateScript instance in MultiSig

Instance details

Associated Types

type Script AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Scripts type Script AllegraEra = Timelock AllegraEra
type NativeScript AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Scripts type NativeScript AllegraEra = Timelock AllegraEra

Methods

upgradeScript ∷ Script (PreviousEra AllegraEra) → Script AllegraEra Source #

scriptPrefixTag ∷ Script AllegraEra → ByteString Source #

getNativeScript ∷ Script AllegraEra → Maybe (NativeScript AllegraEra) Source #

fromNativeScript ∷ NativeScript AllegraEra → Script AllegraEra Source #

ShelleyEraScript AllegraEra Source #

Instance details

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript AllegraEra Source #

getRequireSignature ∷ NativeScript AllegraEra → Maybe (KeyHash 'Witness) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript AllegraEra) → NativeScript AllegraEra Source #

getRequireAllOf ∷ NativeScript AllegraEra → Maybe (StrictSeq (NativeScript AllegraEra)) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript AllegraEra) → NativeScript AllegraEra Source #

getRequireAnyOf ∷ NativeScript AllegraEra → Maybe (StrictSeq (NativeScript AllegraEra)) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript AllegraEra) → NativeScript AllegraEra Source #

getRequireMOf ∷ NativeScript AllegraEra → Maybe (Int, StrictSeq (NativeScript AllegraEra)) Source #