Modulecardano-ledger-shelley-1.19.0.1

Cardano.Ledger.Shelley.Scripts

2 types
1 class
6 values

Packagecardano-ledger-shelley-1.19.0.1
Exports13
LicenceApache-2.0

patternpattern RequireAllOf :: ShelleyEraScript era => StrictSeq (NativeScript era) -> NativeScript era

patternpattern RequireAnyOf :: ShelleyEraScript era => StrictSeq (NativeScript era) -> NativeScript era

patternpattern RequireMOf :: ShelleyEraScript era => Int -> StrictSeq (NativeScript era) -> NativeScript era

patternpattern RequireSignature :: ShelleyEraScript era => KeyHash Witness -> NativeScript era

valueeqMultiSigRaw :: MultiSig era -> MultiSig era -> Bool

valueevalMultiSig

:: (ShelleyEraScript era, NativeScript era ~ MultiSig era)
=> Set (KeyHash Witness)
-> NativeScript era
-> Bool

valuenativeMultiSigTag :: ByteString

valueshelleyBasedEraNativeScriptJSONParser

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

valueshelleyBasedEraNativeScriptToJSON

:: ShelleyEraScript era
=> NativeScript era -> Object
-> NativeScript era
-> Object

valuevalidateMultiSig

:: (ShelleyEraScript era, EraTx era, NativeScript era ~ MultiSig era)
=> Tx t era
-> NativeScript era
-> Bool

newtypenewtype MultiSig era

Constructors

MkMultiSig (MemoBytes (MultiSigRaw era))

Instances15Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
Show (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
Generic (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
NFData (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
(ShelleyEraScript era, NativeScript era ~ MultiSig era) => FromJSON (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
(ShelleyEraScript era, NativeScript era ~ MultiSig era) => ToJSON (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
Typeable era => NoThunks (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
Typeable era => ToCBOR (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
Era era => DecCBOR (Annotator (MultiSig era))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
Era era => EncCBOR (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
SafeToHash (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
EqRaw (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
Memoized (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
type Rep (MultiSig era) = D1 ('MetaData "MultiSig" "Cardano.Ledger.Shelley.Scripts" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "MkMultiSig" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MultiSigRaw era)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
type RawType (MultiSig era) = MultiSigRaw eraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts

datadata MultiSigRaw era

Constructors

MultiSigSignature !(KeyHash Witness)
MultiSigAllOf !(StrictSeq (MultiSig era))
MultiSigAnyOf !(StrictSeq (MultiSig era))
MultiSigMOf !Int !(StrictSeq (MultiSig era))

Instances7Eq, Show, Generic, NFData, NoThunks, DecCBOR, …

Eq (MultiSigRaw era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
Show (MultiSigRaw era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
Generic (MultiSigRaw era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
NFData (MultiSigRaw era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
Typeable era => NoThunks (MultiSigRaw era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
Era era => DecCBOR (Annotator (MultiSigRaw era))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
type Rep (MultiSigRaw era) = D1 ('MetaData "MultiSigRaw" "Cardano.Ledger.Shelley.Scripts" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) ((C1 ('MetaCons "MultiSigSignature" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash Witness))) :+: C1 ('MetaCons "MultiSigAllOf" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (MultiSig era))))) :+: (C1 ('MetaCons "MultiSigAnyOf" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (MultiSig era)))) :+: C1 ('MetaCons "MultiSigMOf" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (MultiSig era))))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts

classclass EraScript era => ShelleyEraScript era where

Methods

mkRequireSignature :: KeyHash Witness -> NativeScript era
getRequireSignature :: NativeScript era -> Maybe (KeyHash Witness)
mkRequireAllOf :: StrictSeq (NativeScript era) -> NativeScript era
getRequireAllOf :: NativeScript era -> Maybe (StrictSeq (NativeScript era))
mkRequireAnyOf :: StrictSeq (NativeScript era) -> NativeScript era
getRequireAnyOf :: NativeScript era -> Maybe (StrictSeq (NativeScript era))
mkRequireMOf :: Int -> StrictSeq (NativeScript era) -> NativeScript era
getRequireMOf :: NativeScript era -> Maybe (Int, StrictSeq (NativeScript era))

Instances1ShelleyEraScript

ShelleyEraScript ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts

Orphan instances

1 instance

EraScript ShelleyEra