Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Mary.Scripts

Contents

Orphan instances

Synopsis

translateTimelock ∷ (Era era1, Era era2, EraCrypto era1 ~ EraCrypto era2) ⇒ Timelock era1 → Timelock era2
data Timelock era

Documentation

translateTimelock ∷ (Era era1, Era era2, EraCrypto era1 ~ EraCrypto 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.

data Timelock era Source #

Instances

Instances details

Memoized Timelock
Instance details Defined in Cardano.Ledger.Allegra.Scripts Associated Types type RawType Timelock = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ Timelock era → MemoBytes (RawType Timelock) era wrapMemoBytes ∷ MemoBytes (RawType Timelock) era → Timelock era
Generic (Timelock era)
Instance details Defined in Cardano.Ledger.Allegra.Scripts Associated Types type Rep (Timelock era) ∷ Type → Type Source # Methods from ∷ Timelock era → Rep (Timelock era) x Source # to ∷ Rep (Timelock era) x → Timelock era Source #
HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (Timelock era)
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods showsPrec ∷ Int → Timelock era → ShowS Source # show ∷ Timelock era → String Source # showList ∷ [Timelock era] → ShowS Source #
Typeable era ⇒ ToCBOR (Timelock era)
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 ⇒ DecCBOR (Annotator (Timelock era))
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 #
Era era ⇒ EncCBOR (Timelock era)
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods encCBOR ∷ Timelock era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Timelock era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Timelock era] → Size Source #
EqRaw (Timelock era)
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods eqRaw ∷ Timelock era → Timelock era → Bool Source #
SafeToHash (Timelock era)
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods originalBytes ∷ Timelock era → ByteString Source # originalBytesSize ∷ Timelock era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → Timelock era → SafeHash c index Source #
NFData (Timelock era)
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods rnf ∷ Timelock era → () Source #
Eq (Timelock era)
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods (==) ∷ Timelock era → Timelock era → Bool Source # (/=) ∷ Timelock era → Timelock era → Bool Source #
Era era ⇒ NoThunks (Timelock era)
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 #
Crypto c ⇒ TranslateEra (MaryEra c) Timelock Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError (MaryEra c) Timelock Source # Methods translateEra ∷ TranslationContext (MaryEra c) → Timelock (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) Timelock) (Timelock (MaryEra c)) Source #
type RawType Timelock
Instance details Defined in Cardano.Ledger.Allegra.Scripts type RawType Timelock = TimelockRaw
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.4.1.0-inplace" 'True) (C1 ('MetaCons "TimelockConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes TimelockRaw era))))
type TranslationError (MaryEra c) Timelock Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) Timelock = Void

Orphan instances

Crypto c ⇒ EraScript (MaryEra c) 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 (MaryEra c) = (r ∷ Type) Source #

type NativeScript (MaryEra c) = (r ∷ Type) Source #

Methods

upgradeScript ∷ Script (PreviousEra (MaryEra c)) → Script (MaryEra c) Source #

scriptPrefixTag ∷ Script (MaryEra c) → ByteString Source #

getNativeScript ∷ Script (MaryEra c) → Maybe (NativeScript (MaryEra c)) Source #

fromNativeScript ∷ NativeScript (MaryEra c) → Script (MaryEra c) Source #