| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Allegra.Scripts
Contents
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 era ⇒ KeyHash 'Witness → Timelock era
- getRequireSignatureTimelock ∷ Timelock era → Maybe (KeyHash 'Witness)
- mkRequireAllOfTimelock ∷ ∀ era. Era era ⇒ StrictSeq (Timelock era) → Timelock era
- getRequireAllOfTimelock ∷ Timelock era → Maybe (StrictSeq (Timelock era))
- mkRequireAnyOfTimelock ∷ ∀ era. Era era ⇒ StrictSeq (Timelock era) → Timelock era
- getRequireAnyOfTimelock ∷ Timelock era → Maybe (StrictSeq (Timelock era))
- mkRequireMOfTimelock ∷ ∀ era. Era era ⇒ Int → StrictSeq (Timelock era) → Timelock era
- getRequireMOfTimelock ∷ Timelock era → Maybe (Int, StrictSeq (Timelock era))
- mkTimeStartTimelock ∷ ∀ era. Era era ⇒ SlotNo → Timelock era
- getTimeStartTimelock ∷ Timelock era → Maybe SlotNo
- mkTimeExpireTimelock ∷ ∀ era. Era era ⇒ SlotNo → Timelock era
- getTimeExpireTimelock ∷ Timelock era → Maybe SlotNo
- data Timelock era
- pattern RequireTimeExpire ∷ AllegraEraScript era ⇒ SlotNo → NativeScript era
- pattern RequireTimeStart ∷ AllegraEraScript era ⇒ SlotNo → NativeScript era
- data TimelockRaw era
- pattern TimelockConstr ∷ MemoBytes (TimelockRaw era) → Timelock era
- inInterval ∷ SlotNo → ValidityInterval → Bool
- showTimelock ∷ AllegraEraScript era ⇒ NativeScript era → String
- evalTimelock ∷ AllegraEraScript era ⇒ Set (KeyHash 'Witness) → ValidityInterval → NativeScript era → Bool
- eqTimelockRaw ∷ Timelock era → Timelock era → Bool
- data ValidityInterval = ValidityInterval {}
- encodeVI ∷ ValidityInterval → Encode ('Closed 'Dense) ValidityInterval
- decodeVI ∷ Decode ('Closed 'Dense) ValidityInterval
- translateTimelock ∷ ∀ era1 era2. (Era era1, Era era2) ⇒ Timelock era1 → Timelock era2
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
pattern RequireTimeExpire ∷ AllegraEraScript era ⇒ SlotNo → NativeScript era Source #
pattern RequireTimeStart ∷ AllegraEraScript era ⇒ SlotNo → NativeScript era Source #
data TimelockRaw era Source #
Instances
pattern TimelockConstr ∷ MemoBytes (TimelockRaw era) → Timelock era Source #
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 ⇒ Set (KeyHash 'Witness) → ValidityInterval → NativeScript era → Bool Source #
eqTimelockRaw ∷ 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 | |
Instances
translateTimelock ∷ ∀ era1 era2. (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.