Maintainer	riley_kilgore@outlook.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

Agora.MultiSig

Description

A basic N of M multisignature validation function.

Synopsis

validatedByMultisig :: MultiSig -> Term s (PTxInfo :--> PBool)
pvalidatedByMultisig :: Term s (PMultiSig :--> (PTxInfo :--> PBool))
newtype PMultiSig (s :: S) = PMultiSig {
- getMultiSig :: Term s (PDataRecord '["keys" := PBuiltinList (PAsData PPubKeyHash), "minSigs" := PInteger])
}
data MultiSig = MultiSig {
- keys :: [PubKeyHash]
- minSigs :: Integer
}

Documentation

validatedByMultisig :: MultiSig -> Term s (PTxInfo :--> PBool) Source #

Check if a Haskell-level MultiSig signs this transaction.

Since: 0.1.0

pvalidatedByMultisig :: Term s (PMultiSig :--> (PTxInfo :--> PBool)) Source #

Check if a Plutarch-level MultiSig signs this transaction.

Since: 0.1.0

newtype PMultiSig (s :: S) Source #

Plutarch-level MultiSig

Since: 0.1.0

Constructors

PMultiSig
Fields getMultiSig :: Term s (PDataRecord '["keys" := PBuiltinList (PAsData PPubKeyHash), "minSigs" := PInteger])

Instances

Instances details

PIsData PMultiSig Source #	Since: 0.1.0
Instance details Defined in Agora.MultiSig Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PMultiSig) -> Term s PMultiSig Source # pdataImpl :: forall (s :: S). Term s PMultiSig -> Term s PData Source #
PIsDataRepr PMultiSig Source #
Instance details Defined in Agora.MultiSig Associated Types type PIsDataReprRepr PMultiSig :: [[PLabeledType]] Source # Methods pconRepr :: forall (s :: S). PMultiSig s -> Term s (PDataSum (PIsDataReprRepr PMultiSig)) Source # pmatchRepr :: forall (s :: S) (b :: PType). Term s (PDataSum (PIsDataReprRepr PMultiSig)) -> (PMultiSig s -> Term s b) -> Term s b Source #
PDataFields PMultiSig Source #
Instance details Defined in Agora.MultiSig Associated Types type PFields PMultiSig :: [PLabeledType] Source # Methods ptoFields :: forall (s :: S). Term s PMultiSig -> Term s (PDataRecord (PFields PMultiSig)) Source #
PlutusType PMultiSig Source #
Instance details Defined in Agora.MultiSig Associated Types type PInner PMultiSig b' :: PType Source # Methods pcon' :: forall (s :: S) (b :: PType). PMultiSig s -> Term s (PInner PMultiSig b) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PMultiSig b) -> (PMultiSig s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PMultiSig Source #	Since: 0.1.0
Instance details Defined in Agora.MultiSig Associated Types type PLifted PMultiSig = (r :: Type) Source #
Generic (PMultiSig s) Source #
Instance details Defined in Agora.MultiSig Associated Types type Rep (PMultiSig s) :: Type -> Type Source # Methods from :: PMultiSig s -> Rep (PMultiSig s) x Source # to :: Rep (PMultiSig s) x -> PMultiSig s Source #
Generic (PMultiSig s) Source #
Instance details Defined in Agora.MultiSig Associated Types type Code (PMultiSig s) :: [[Type]] Source # Methods from :: PMultiSig s -> Rep (PMultiSig s) Source # to :: Rep (PMultiSig s) -> PMultiSig s Source #
type PIsDataReprRepr PMultiSig Source #	Since: 0.1.0
Instance details Defined in Agora.MultiSig type PIsDataReprRepr PMultiSig = PDataRecordFields2 (PCode 'SI PMultiSig)
type PFields PMultiSig Source #	Since: 0.1.0
Instance details Defined in Agora.MultiSig type PFields PMultiSig = PFields (PIsDataReprInstances PMultiSig)
type PLifted PMultiSig Source #
Instance details Defined in Agora.MultiSig type PLifted PMultiSig = MultiSig
type PInner PMultiSig b' Source #	Since: 0.1.0
Instance details Defined in Agora.MultiSig type PInner PMultiSig b' = PInner (PIsDataReprInstances PMultiSig) b'
type Rep (PMultiSig s) Source #	Since: 0.1.0
Instance details Defined in Agora.MultiSig type Rep (PMultiSig s) = D1 ('MetaData "PMultiSig" "Agora.MultiSig" "agora-0.1.0-C1o5klqsCO77ggIWQdJiNp" 'True) (C1 ('MetaCons "PMultiSig" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMultiSig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["keys" := PBuiltinList (PAsData PPubKeyHash), "minSigs" := (PInteger :: S -> Type)])))))
type Code (PMultiSig s) Source #	Since: 0.1.0
Instance details Defined in Agora.MultiSig type Code (PMultiSig s) = GCode (PMultiSig s)

data MultiSig Source #

A MultiSig represents a proof that a particular set of signatures are present on a transaction.

Since: 0.1.0

Constructors

MultiSig
Fields keys :: [PubKeyHash] List of PubKeyHashes that must be present in the list of signatories. minSigs :: Integer

Instances

Instances details

Generic MultiSig Source #
Instance details Defined in Agora.MultiSig Associated Types type Rep MultiSig :: Type -> Type Source # Methods from :: MultiSig -> Rep MultiSig x Source # to :: Rep MultiSig x -> MultiSig Source #
Show MultiSig Source #	Since: 0.1.0
Instance details Defined in Agora.MultiSig Methods showsPrec :: Int -> MultiSig -> ShowS Source # show :: MultiSig -> String Source # showList :: [MultiSig] -> ShowS Source #
Generic MultiSig Source #
Instance details Defined in Agora.MultiSig Associated Types type Code MultiSig :: [[Type]] Source # Methods from :: MultiSig -> Rep MultiSig Source # to :: Rep MultiSig -> MultiSig Source #
Eq MultiSig Source #	Since: 0.1.0
Instance details Defined in Agora.MultiSig Methods (==) :: MultiSig -> MultiSig -> Bool Source # (/=) :: MultiSig -> MultiSig -> Bool Source #
PConstantDecl MultiSig Source #
Instance details Defined in Agora.MultiSig Associated Types type PConstantRepr MultiSig Source # type PConstanted MultiSig :: PType Source # Methods pconstantToRepr :: MultiSig -> PConstantRepr MultiSig Source # pconstantFromRepr :: PConstantRepr MultiSig -> Maybe MultiSig Source #
FromData MultiSig Source #
Instance details Defined in Agora.MultiSig Methods fromBuiltinData :: BuiltinData -> Maybe MultiSig Source #
ToData MultiSig Source #
Instance details Defined in Agora.MultiSig Methods toBuiltinData :: MultiSig -> BuiltinData Source #
UnsafeFromData MultiSig Source #
Instance details Defined in Agora.MultiSig Methods unsafeFromBuiltinData :: BuiltinData -> MultiSig Source #
Lift DefaultUni MultiSig Source #
Instance details Defined in Agora.MultiSig Methods lift :: MultiSig -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni MultiSig Source #
Instance details Defined in Agora.MultiSig Methods typeRep :: Proxy MultiSig -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep MultiSig Source #	Since: 0.1.0
Instance details Defined in Agora.MultiSig type Rep MultiSig = D1 ('MetaData "MultiSig" "Agora.MultiSig" "agora-0.1.0-C1o5klqsCO77ggIWQdJiNp" 'False) (C1 ('MetaCons "MultiSig" 'PrefixI 'True) (S1 ('MetaSel ('Just "keys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PubKeyHash]) :*: S1 ('MetaSel ('Just "minSigs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
type Code MultiSig Source #	Since: 0.1.0
Instance details Defined in Agora.MultiSig type Code MultiSig = GCode MultiSig
type PConstantRepr MultiSig Source #	Since: 0.1.0
Instance details Defined in Agora.MultiSig type PConstantRepr MultiSig = PConstantRepr (DerivePConstantViaData MultiSig PMultiSig)
type PConstanted MultiSig Source #
Instance details Defined in Agora.MultiSig type PConstanted MultiSig = PConstanted (DerivePConstantViaData MultiSig PMultiSig)