Maintainer	jack@mlabs.city
Safe Haskell	Safe-Inferred
Language	Haskell2010

Agora.Treasury

Description

Contains the datum, redeemer and validator for a template DAO treasury.

Synopsis

data TreasuryRedeemer = SpendTreasuryGAT
newtype PTreasuryRedeemer (s :: S) = PSpendTreasuryGAT (Term s (PDataRecord '[]))
treasuryValidator :: CurrencySymbol -> ClosedTerm PValidator

Documentation

data TreasuryRedeemer Source #

Redeemer for Treasury actions.

Since: 0.1.0

Constructors

SpendTreasuryGAT

Allow transaction to pass by delegating to GAT burn.

Instances

Instances details

Generic TreasuryRedeemer Source #
Instance details Defined in Agora.Treasury Associated Types type Rep TreasuryRedeemer :: Type -> Type Source # Methods from :: TreasuryRedeemer -> Rep TreasuryRedeemer x Source # to :: Rep TreasuryRedeemer x -> TreasuryRedeemer Source #
Show TreasuryRedeemer Source #	Since: 0.1.0
Instance details Defined in Agora.Treasury Methods showsPrec :: Int -> TreasuryRedeemer -> ShowS Source # show :: TreasuryRedeemer -> String Source # showList :: [TreasuryRedeemer] -> ShowS Source #
Eq TreasuryRedeemer Source #	Since: 0.1.0
Instance details Defined in Agora.Treasury Methods (==) :: TreasuryRedeemer -> TreasuryRedeemer -> Bool Source # (/=) :: TreasuryRedeemer -> TreasuryRedeemer -> Bool Source #
PConstantDecl TreasuryRedeemer Source #
Instance details Defined in Agora.Treasury Associated Types type PConstantRepr TreasuryRedeemer Source # type PConstanted TreasuryRedeemer :: PType Source # Methods pconstantToRepr :: TreasuryRedeemer -> PConstantRepr TreasuryRedeemer Source # pconstantFromRepr :: PConstantRepr TreasuryRedeemer -> Maybe TreasuryRedeemer Source #
FromData TreasuryRedeemer Source #
Instance details Defined in Agora.Treasury Methods fromBuiltinData :: BuiltinData -> Maybe TreasuryRedeemer Source #
ToData TreasuryRedeemer Source #
Instance details Defined in Agora.Treasury Methods toBuiltinData :: TreasuryRedeemer -> BuiltinData Source #
UnsafeFromData TreasuryRedeemer Source #	Since: 0.1.0
Instance details Defined in Agora.Treasury Methods unsafeFromBuiltinData :: BuiltinData -> TreasuryRedeemer Source #
type Rep TreasuryRedeemer Source #	Since: 0.1.0
Instance details Defined in Agora.Treasury type Rep TreasuryRedeemer = D1 ('MetaData "TreasuryRedeemer" "Agora.Treasury" "agora-0.1.0-C1o5klqsCO77ggIWQdJiNp" 'False) (C1 ('MetaCons "SpendTreasuryGAT" 'PrefixI 'False) (U1 :: Type -> Type))
type PConstantRepr TreasuryRedeemer Source #	Since: 0.1.0
Instance details Defined in Agora.Treasury type PConstantRepr TreasuryRedeemer = PConstantRepr (DerivePConstantViaData TreasuryRedeemer PTreasuryRedeemer)
type PConstanted TreasuryRedeemer Source #
Instance details Defined in Agora.Treasury type PConstanted TreasuryRedeemer = PConstanted (DerivePConstantViaData TreasuryRedeemer PTreasuryRedeemer)

newtype PTreasuryRedeemer (s :: S) Source #

Plutarch level type representing valid redeemers of the treasury.

Since: 0.1.0

Constructors

PSpendTreasuryGAT (Term s (PDataRecord '[]))

Alters treasury parameters, subject to the burning of a governance authority token.

Instances

Instances details

PIsData PTreasuryRedeemer Source #	Since: 0.1.0
Instance details Defined in Agora.Treasury Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PTreasuryRedeemer) -> Term s PTreasuryRedeemer Source # pdataImpl :: forall (s :: S). Term s PTreasuryRedeemer -> Term s PData Source #
PIsDataRepr PTreasuryRedeemer Source #
Instance details Defined in Agora.Treasury Associated Types type PIsDataReprRepr PTreasuryRedeemer :: [[PLabeledType]] Source # Methods pconRepr :: forall (s :: S). PTreasuryRedeemer s -> Term s (PDataSum (PIsDataReprRepr PTreasuryRedeemer)) Source # pmatchRepr :: forall (s :: S) (b :: PType). Term s (PDataSum (PIsDataReprRepr PTreasuryRedeemer)) -> (PTreasuryRedeemer s -> Term s b) -> Term s b Source #
PlutusType PTreasuryRedeemer Source #
Instance details Defined in Agora.Treasury Associated Types type PInner PTreasuryRedeemer b' :: PType Source # Methods pcon' :: forall (s :: S) (b :: PType). PTreasuryRedeemer s -> Term s (PInner PTreasuryRedeemer b) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PTreasuryRedeemer b) -> (PTreasuryRedeemer s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PTreasuryRedeemer Source #	Since: 0.1.0
Instance details Defined in Agora.Treasury Associated Types type PLifted PTreasuryRedeemer = (r :: Type) Source #
PTryFrom PData (PAsData PTreasuryRedeemer) Source #
Instance details Defined in Agora.Treasury Associated Types type PTryFromExcess PData (PAsData PTreasuryRedeemer) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PTreasuryRedeemer), Reduce (PTryFromExcess PData (PAsData PTreasuryRedeemer) s)) -> Term s r) -> Term s r Source #
Generic (PTreasuryRedeemer s) Source #
Instance details Defined in Agora.Treasury Associated Types type Rep (PTreasuryRedeemer s) :: Type -> Type Source # Methods from :: PTreasuryRedeemer s -> Rep (PTreasuryRedeemer s) x Source # to :: Rep (PTreasuryRedeemer s) x -> PTreasuryRedeemer s Source #
Generic (PTreasuryRedeemer s) Source #
Instance details Defined in Agora.Treasury Associated Types type Code (PTreasuryRedeemer s) :: [[Type]] Source # Methods from :: PTreasuryRedeemer s -> Rep (PTreasuryRedeemer s) Source # to :: Rep (PTreasuryRedeemer s) -> PTreasuryRedeemer s Source #
type PIsDataReprRepr PTreasuryRedeemer Source #	Since: 0.1.0
Instance details Defined in Agora.Treasury type PIsDataReprRepr PTreasuryRedeemer = PDataRecordFields2 (PCode 'SI PTreasuryRedeemer)
type PLifted PTreasuryRedeemer Source #
Instance details Defined in Agora.Treasury type PLifted PTreasuryRedeemer = TreasuryRedeemer
type PInner PTreasuryRedeemer b' Source #	Since: 0.1.0
Instance details Defined in Agora.Treasury type PInner PTreasuryRedeemer b' = PInner (PIsDataReprInstances PTreasuryRedeemer) b'
type PTryFromExcess PData (PAsData PTreasuryRedeemer) Source #	Since: 0.1.0
Instance details Defined in Agora.Treasury type PTryFromExcess PData (PAsData PTreasuryRedeemer) = PTryFromExcess PData (PAsData (PIsDataReprInstances PTreasuryRedeemer))
type Rep (PTreasuryRedeemer s) Source #	Since: 0.1.0
Instance details Defined in Agora.Treasury type Rep (PTreasuryRedeemer s) = D1 ('MetaData "PTreasuryRedeemer" "Agora.Treasury" "agora-0.1.0-C1o5klqsCO77ggIWQdJiNp" 'True) (C1 ('MetaCons "PSpendTreasuryGAT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))))
type Code (PTreasuryRedeemer s) Source #	Since: 0.1.0
Instance details Defined in Agora.Treasury type Code (PTreasuryRedeemer s) = GCode (PTreasuryRedeemer s)

treasuryValidator Source #

Arguments

:: CurrencySymbol	Governance Authority Token that can unlock this validator.
-> ClosedTerm PValidator

Validator ensuring that transactions consuming the treasury do so in a valid manner.

Since: 0.1.0