Safe Haskell	Safe-Inferred
Language	Haskell2010

Agora.Proxy

Description

Agora DRep Proxy script

Since: 1.0.0

Synopsis

proxyScript :: forall (s :: S). Term s (PAsData PCurrencySymbol :--> (PAsData PScriptContext :--> PUnit))
data PProxyDatum s = PProxyDatum {
- receiverScript :: Term s (PAsData PScriptHash)
- datumHash :: Term s (PAsData PDatumHash)
}
data ProxyDatum = ProxyDatum {
- pdReceiverScript :: ScriptHash
- pdDatumHash :: DatumHash
}

Documentation

proxyScript :: forall (s :: S). Term s (PAsData PCurrencySymbol :--> (PAsData PScriptContext :--> PUnit)) Source #

Proxy script

This script serves both validator script and minting script purposes. - Mint a Proxied Governance Authority Token - Verify spending from the proxy effect script address

See details in the specification.

Since: 1.0.0

data PProxyDatum s Source #

Datum stored at the proxy validator script

Since: 1.0.0

Constructors

PProxyDatum
Fields receiverScript :: Term s (PAsData PScriptHash) Script hash of the Plutus V3 effect datumHash :: Term s (PAsData PDatumHash) Hash of the datum that must be created at the receiver script

Instances

Instances details

PEq PProxyDatum Source #
Instance details Defined in Agora.Proxy Methods (#==) :: forall (s :: S). Term s PProxyDatum -> Term s PProxyDatum -> Term s PBool
PIsData PProxyDatum Source #
Instance details Defined in Agora.Proxy Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PProxyDatum) -> Term s PProxyDatum pdataImpl :: forall (s :: S). Term s PProxyDatum -> Term s PData
PlutusType PProxyDatum Source #
Instance details Defined in Agora.Proxy Associated Types type PInner PProxyDatum :: PType type PCovariant' PProxyDatum type PContravariant' PProxyDatum type PVariant' PProxyDatum Methods pcon' :: forall (s :: S). PProxyDatum s -> Term s (PInner PProxyDatum) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PProxyDatum) -> (PProxyDatum s -> Term s b) -> Term s b
PTryFrom PData (PAsData PProxyDatum) Source #	Since: 1.0.0
Instance details Defined in Agora.Proxy Associated Types type PTryFromExcess PData (PAsData PProxyDatum) :: PType Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PProxyDatum), Reduce (PTryFromExcess PData (PAsData PProxyDatum) s)) -> Term s r) -> Term s r
Generic (PProxyDatum s) Source #
Instance details Defined in Agora.Proxy Associated Types type Rep (PProxyDatum s) :: Type -> Type Source # Methods from :: PProxyDatum s -> Rep (PProxyDatum s) x Source # to :: Rep (PProxyDatum s) x -> PProxyDatum s Source #
Generic (PProxyDatum s) Source #
Instance details Defined in Agora.Proxy Associated Types type Code (PProxyDatum s) :: [[Type]] Methods from :: PProxyDatum s -> Rep (PProxyDatum s) to :: Rep (PProxyDatum s) -> PProxyDatum s
type PContravariant' PProxyDatum Source #
Instance details Defined in Agora.Proxy type PContravariant' PProxyDatum = PContravariant' (DeriveAsDataRec PProxyDatum)
type PCovariant' PProxyDatum Source #
Instance details Defined in Agora.Proxy type PCovariant' PProxyDatum = PCovariant' (DeriveAsDataRec PProxyDatum)
type PInner PProxyDatum Source #
Instance details Defined in Agora.Proxy type PInner PProxyDatum = PInner (DeriveAsDataRec PProxyDatum)
type PVariant' PProxyDatum Source #
Instance details Defined in Agora.Proxy type PVariant' PProxyDatum = PVariant' (DeriveAsDataRec PProxyDatum)
type PTryFromExcess PData (PAsData PProxyDatum) Source #
Instance details Defined in Agora.Proxy type PTryFromExcess PData (PAsData PProxyDatum) = PTryFromExcess PData (PInner (PAsData PProxyDatum))
type Rep (PProxyDatum s) Source #
Instance details Defined in Agora.Proxy type Rep (PProxyDatum s) = D1 ('MetaData "PProxyDatum" "Agora.Proxy" "agora-drep-1.0.0.0-AsaXPRHcR5JDBznzKDkGHR" 'False) (C1 ('MetaCons "PProxyDatum" 'PrefixI 'True) (S1 ('MetaSel ('Just "receiverScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PScriptHash))) :*: S1 ('MetaSel ('Just "datumHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PDatumHash)))))
type Code (PProxyDatum s) Source #
Instance details Defined in Agora.Proxy type Code (PProxyDatum s) = GCode (PProxyDatum s)

data ProxyDatum Source #

Haskell-level datum for the Proxy Validator script.

Since: 1.0.0

Constructors

ProxyDatum
Fields pdReceiverScript :: ScriptHash pdDatumHash :: DatumHash

Instances

Instances details

Generic ProxyDatum Source #
Instance details Defined in Agora.Proxy Associated Types type Rep ProxyDatum :: Type -> Type Source # Methods from :: ProxyDatum -> Rep ProxyDatum x Source # to :: Rep ProxyDatum x -> ProxyDatum Source #
Show ProxyDatum Source #	Since: 1.0.0
Instance details Defined in Agora.Proxy Methods showsPrec :: Int -> ProxyDatum -> ShowS Source # show :: ProxyDatum -> String Source # showList :: [ProxyDatum] -> ShowS Source #
Generic ProxyDatum Source #
Instance details Defined in Agora.Proxy Associated Types type Code ProxyDatum :: [[Type]] Methods from :: ProxyDatum -> Rep ProxyDatum to :: Rep ProxyDatum -> ProxyDatum
FromData ProxyDatum Source #	Since: 1.0.0
Instance details Defined in Agora.Proxy Methods fromBuiltinData :: BuiltinData -> Maybe ProxyDatum
ToData ProxyDatum Source #	Since: 1.0.0
Instance details Defined in Agora.Proxy Methods toBuiltinData :: ProxyDatum -> BuiltinData
type Rep ProxyDatum Source #	Since: 1.0.0
Instance details Defined in Agora.Proxy type Rep ProxyDatum = D1 ('MetaData "ProxyDatum" "Agora.Proxy" "agora-drep-1.0.0.0-AsaXPRHcR5JDBznzKDkGHR" 'False) (C1 ('MetaCons "ProxyDatum" 'PrefixI 'True) (S1 ('MetaSel ('Just "pdReceiverScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash) :*: S1 ('MetaSel ('Just "pdDatumHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatumHash)))
type Code ProxyDatum Source #	Since: 1.0.0
Instance details Defined in Agora.Proxy type Code ProxyDatum = GCode ProxyDatum