type AsHaskell PColdCommitteeCredential	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PColdCommitteeCredential = AsHaskell (DeriveDataPLiftable PColdCommitteeCredential ColdCommitteeCredential)
type PlutusRepr PColdCommitteeCredential
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PColdCommitteeCredential = PlutusRepr (DeriveDataPLiftable PColdCommitteeCredential ColdCommitteeCredential)

Methods

haskToRepr :: AsHaskell PColdCommitteeCredential -> PlutusRepr PColdCommitteeCredential

reprToHask :: PlutusRepr PColdCommitteeCredential -> Either LiftError (AsHaskell PColdCommitteeCredential)

reprToPlut :: forall (s :: S). PlutusRepr PColdCommitteeCredential -> PLifted s PColdCommitteeCredential

plutToRepr :: (forall (s :: S). PLifted s PColdCommitteeCredential) -> Either LiftError (PlutusRepr PColdCommitteeCredential)

PValidateData PColdCommitteeCredential Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PColdCommitteeCredential Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PColdCommitteeCredential	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PColdCommitteeCredential = PInner (DeriveNewtypePlutusType PColdCommitteeCredential)

Methods

pcon' :: forall (s :: S). PColdCommitteeCredential s -> Term s (PInner PColdCommitteeCredential)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PColdCommitteeCredential) -> (PColdCommitteeCredential s -> Term s b) -> Term s b

PShow PColdCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PColdCommitteeCredential -> Term s PString

PTryFrom PData (PAsData PColdCommitteeCredential) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PColdCommitteeCredential)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PColdCommitteeCredential) = PTryFromExcess PData (PInner (PAsData PColdCommitteeCredential))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PColdCommitteeCredential), Reduce (PTryFromExcess PData (PAsData PColdCommitteeCredential) s)) -> Term s r) -> Term s r

Generic (PColdCommitteeCredential s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PColdCommitteeCredential s)

Since: plutarch-ledger-api-3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PColdCommitteeCredential s) = D1 ('MetaData "PColdCommitteeCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PColdCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))

Methods

from :: PColdCommitteeCredential s -> Rep (PColdCommitteeCredential s) x Source #

to :: Rep (PColdCommitteeCredential s) x -> PColdCommitteeCredential s Source #

Generic (PColdCommitteeCredential s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PColdCommitteeCredential s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PColdCommitteeCredential s) = GCode (PColdCommitteeCredential s)

Methods

from :: PColdCommitteeCredential s -> Rep (PColdCommitteeCredential s)

to :: Rep (PColdCommitteeCredential s) -> PColdCommitteeCredential s

type AsHaskell PColdCommitteeCredential Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PColdCommitteeCredential = AsHaskell (DeriveDataPLiftable PColdCommitteeCredential ColdCommitteeCredential)

type PlutusRepr PColdCommitteeCredential Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PColdCommitteeCredential = PlutusRepr (DeriveDataPLiftable PColdCommitteeCredential ColdCommitteeCredential)

type PInner PColdCommitteeCredential Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PColdCommitteeCredential = PInner (DeriveNewtypePlutusType PColdCommitteeCredential)

type PTryFromExcess PData (PAsData PColdCommitteeCredential) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PColdCommitteeCredential) = PTryFromExcess PData (PInner (PAsData PColdCommitteeCredential))

type Rep (PColdCommitteeCredential s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PColdCommitteeCredential s) = D1 ('MetaData "PColdCommitteeCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PColdCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))

type Code (PColdCommitteeCredential s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PColdCommitteeCredential s) = GCode (PColdCommitteeCredential s)

newtype PHotCommitteeCredential (s :: S) Source #

Since: 3.1.0

Constructors

PHotCommitteeCredential (Term s PCredential)

Instances

Instances details

PEq PHotCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PHotCommitteeCredential -> Term s PHotCommitteeCredential -> Term s PBool

PIsData PHotCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PHotCommitteeCredential) -> Term s PHotCommitteeCredential

pdataImpl :: forall (s :: S). Term s PHotCommitteeCredential -> Term s PData

PLiftable PHotCommitteeCredential Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PHotCommitteeCredential	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PHotCommitteeCredential = AsHaskell (DeriveDataPLiftable PHotCommitteeCredential HotCommitteeCredential)
type PlutusRepr PHotCommitteeCredential
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PHotCommitteeCredential = PlutusRepr (DeriveDataPLiftable PHotCommitteeCredential HotCommitteeCredential)

Methods

haskToRepr :: AsHaskell PHotCommitteeCredential -> PlutusRepr PHotCommitteeCredential

reprToHask :: PlutusRepr PHotCommitteeCredential -> Either LiftError (AsHaskell PHotCommitteeCredential)

reprToPlut :: forall (s :: S). PlutusRepr PHotCommitteeCredential -> PLifted s PHotCommitteeCredential

plutToRepr :: (forall (s :: S). PLifted s PHotCommitteeCredential) -> Either LiftError (PlutusRepr PHotCommitteeCredential)

PValidateData PHotCommitteeCredential Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PHotCommitteeCredential Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PHotCommitteeCredential	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PHotCommitteeCredential = PInner (DeriveNewtypePlutusType PHotCommitteeCredential)

Methods

pcon' :: forall (s :: S). PHotCommitteeCredential s -> Term s (PInner PHotCommitteeCredential)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PHotCommitteeCredential) -> (PHotCommitteeCredential s -> Term s b) -> Term s b

PShow PHotCommitteeCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PHotCommitteeCredential -> Term s PString

PTryFrom PData (PAsData PHotCommitteeCredential) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PHotCommitteeCredential)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PHotCommitteeCredential) = PTryFromExcess PData (PInner (PAsData PHotCommitteeCredential))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PHotCommitteeCredential), Reduce (PTryFromExcess PData (PAsData PHotCommitteeCredential) s)) -> Term s r) -> Term s r

Generic (PHotCommitteeCredential s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PHotCommitteeCredential s)

Since: plutarch-ledger-api-3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PHotCommitteeCredential s) = D1 ('MetaData "PHotCommitteeCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PHotCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))

Methods

from :: PHotCommitteeCredential s -> Rep (PHotCommitteeCredential s) x Source #

to :: Rep (PHotCommitteeCredential s) x -> PHotCommitteeCredential s Source #

Generic (PHotCommitteeCredential s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PHotCommitteeCredential s)	@since
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PHotCommitteeCredential s) = GCode (PHotCommitteeCredential s)

Methods

from :: PHotCommitteeCredential s -> Rep (PHotCommitteeCredential s)

to :: Rep (PHotCommitteeCredential s) -> PHotCommitteeCredential s

type AsHaskell PHotCommitteeCredential Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PHotCommitteeCredential = AsHaskell (DeriveDataPLiftable PHotCommitteeCredential HotCommitteeCredential)

type PlutusRepr PHotCommitteeCredential Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PHotCommitteeCredential = PlutusRepr (DeriveDataPLiftable PHotCommitteeCredential HotCommitteeCredential)

type PInner PHotCommitteeCredential Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PHotCommitteeCredential = PInner (DeriveNewtypePlutusType PHotCommitteeCredential)

type PTryFromExcess PData (PAsData PHotCommitteeCredential) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PHotCommitteeCredential) = PTryFromExcess PData (PInner (PAsData PHotCommitteeCredential))

type Rep (PHotCommitteeCredential s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PHotCommitteeCredential s) = D1 ('MetaData "PHotCommitteeCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PHotCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))

type Code (PHotCommitteeCredential s) Source #

@since

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PHotCommitteeCredential s) = GCode (PHotCommitteeCredential s)

newtype PDRepCredential (s :: S) Source #

Since: 3.1.0

Constructors

PDRepCredential (Term s PCredential)

Instances

Instances details

PEq PDRepCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PDRepCredential -> Term s PDRepCredential -> Term s PBool

PIsData PDRepCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PDRepCredential) -> Term s PDRepCredential

pdataImpl :: forall (s :: S). Term s PDRepCredential -> Term s PData

PLiftable PDRepCredential Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PDRepCredential	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PDRepCredential = AsHaskell (DeriveDataPLiftable PDRepCredential DRepCredential)
type PlutusRepr PDRepCredential
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PDRepCredential = PlutusRepr (DeriveDataPLiftable PDRepCredential DRepCredential)

Methods

haskToRepr :: AsHaskell PDRepCredential -> PlutusRepr PDRepCredential

reprToHask :: PlutusRepr PDRepCredential -> Either LiftError (AsHaskell PDRepCredential)

reprToPlut :: forall (s :: S). PlutusRepr PDRepCredential -> PLifted s PDRepCredential

plutToRepr :: (forall (s :: S). PLifted s PDRepCredential) -> Either LiftError (PlutusRepr PDRepCredential)

PValidateData PDRepCredential Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PDRepCredential Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PDRepCredential	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PDRepCredential = PInner (DeriveNewtypePlutusType PDRepCredential)

Methods

pcon' :: forall (s :: S). PDRepCredential s -> Term s (PInner PDRepCredential)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PDRepCredential) -> (PDRepCredential s -> Term s b) -> Term s b

PShow PDRepCredential Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PDRepCredential -> Term s PString

PTryFrom PData (PAsData PDRepCredential) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PDRepCredential)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PDRepCredential) = PTryFromExcess PData (PInner (PAsData PDRepCredential))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PDRepCredential), Reduce (PTryFromExcess PData (PAsData PDRepCredential) s)) -> Term s r) -> Term s r

Generic (PDRepCredential s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PDRepCredential s)	Since: plutarch-ledger-api-3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PDRepCredential s) = D1 ('MetaData "PDRepCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PDRepCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))

Methods

from :: PDRepCredential s -> Rep (PDRepCredential s) x Source #

to :: Rep (PDRepCredential s) x -> PDRepCredential s Source #

Generic (PDRepCredential s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PDRepCredential s)	Since: plutarch-ledger-api-3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PDRepCredential s) = GCode (PDRepCredential s)

Methods

from :: PDRepCredential s -> Rep (PDRepCredential s)

to :: Rep (PDRepCredential s) -> PDRepCredential s

type AsHaskell PDRepCredential Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PDRepCredential = AsHaskell (DeriveDataPLiftable PDRepCredential DRepCredential)

type PlutusRepr PDRepCredential Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PDRepCredential = PlutusRepr (DeriveDataPLiftable PDRepCredential DRepCredential)

type PInner PDRepCredential Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PDRepCredential = PInner (DeriveNewtypePlutusType PDRepCredential)

type PTryFromExcess PData (PAsData PDRepCredential) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PDRepCredential) = PTryFromExcess PData (PInner (PAsData PDRepCredential))

type Rep (PDRepCredential s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PDRepCredential s) = D1 ('MetaData "PDRepCredential" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PDRepCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential))))

type Code (PDRepCredential s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PDRepCredential s) = GCode (PDRepCredential s)

data PDRep (s :: S) Source #

Since: 3.1.0

Constructors

PDRep (Term s (PAsData PDRepCredential))
PDRepAlwaysAbstain
PDRepAlwaysNoConfidence

Instances

Instances details

PEq PDRep Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PDRep -> Term s PDRep -> Term s PBool

PIsData PDRep Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PDRep) -> Term s PDRep

pdataImpl :: forall (s :: S). Term s PDRep -> Term s PData

PLiftable PDRep Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PDRep	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PDRep = AsHaskell (DeriveDataPLiftable PDRep DRep)
type PlutusRepr PDRep
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PDRep = PlutusRepr (DeriveDataPLiftable PDRep DRep)

Methods

haskToRepr :: AsHaskell PDRep -> PlutusRepr PDRep

reprToHask :: PlutusRepr PDRep -> Either LiftError (AsHaskell PDRep)

reprToPlut :: forall (s :: S). PlutusRepr PDRep -> PLifted s PDRep

plutToRepr :: (forall (s :: S). PLifted s PDRep) -> Either LiftError (PlutusRepr PDRep)

PValidateData PDRep Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PDRep Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PDRep	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PDRep = PInner (DeriveAsDataStruct PDRep)

Methods

pcon' :: forall (s :: S). PDRep s -> Term s (PInner PDRep)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PDRep) -> (PDRep s -> Term s b) -> Term s b

PShow PDRep Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PDRep -> Term s PString

PTryFrom PData (PAsData PDRep) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PDRep)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PDRep) = PTryFromExcess PData (PInner (PAsData PDRep))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PDRep), Reduce (PTryFromExcess PData (PAsData PDRep) s)) -> Term s r) -> Term s r

Generic (PDRep s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PDRep s)

Since: plutarch-ledger-api-3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PDRep s) = D1 ('MetaData "PDRep" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PDRepCredential)))) :+: (C1 ('MetaCons "PDRepAlwaysAbstain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PDRepAlwaysNoConfidence" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: PDRep s -> Rep (PDRep s) x Source #

to :: Rep (PDRep s) x -> PDRep s Source #

Generic (PDRep s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PDRep s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PDRep s) = GCode (PDRep s)

Methods

from :: PDRep s -> Rep (PDRep s)

to :: Rep (PDRep s) -> PDRep s

type AsHaskell PDRep Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PDRep = AsHaskell (DeriveDataPLiftable PDRep DRep)

type PlutusRepr PDRep Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PDRep = PlutusRepr (DeriveDataPLiftable PDRep DRep)

type PInner PDRep Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PDRep = PInner (DeriveAsDataStruct PDRep)

type PTryFromExcess PData (PAsData PDRep) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PDRep) = PTryFromExcess PData (PInner (PAsData PDRep))

type Rep (PDRep s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PDRep s) = D1 ('MetaData "PDRep" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PDRepCredential)))) :+: (C1 ('MetaCons "PDRepAlwaysAbstain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PDRepAlwaysNoConfidence" 'PrefixI 'False) (U1 :: Type -> Type)))

type Code (PDRep s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PDRep s) = GCode (PDRep s)

data PDelegatee (s :: S) Source #

Since: 3.1.0

Constructors

PDelegStake (Term s (PAsData PPubKeyHash))
PDelegVote (Term s PDRep)
PDelegStakeVote (Term s (PAsData PPubKeyHash)) (Term s PDRep)

Instances

Instances details

PEq PDelegatee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PDelegatee -> Term s PDelegatee -> Term s PBool

PIsData PDelegatee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PDelegatee) -> Term s PDelegatee

pdataImpl :: forall (s :: S). Term s PDelegatee -> Term s PData

PLiftable PDelegatee Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PDelegatee	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PDelegatee = AsHaskell (DeriveDataPLiftable PDelegatee Delegatee)
type PlutusRepr PDelegatee
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PDelegatee = PlutusRepr (DeriveDataPLiftable PDelegatee Delegatee)

Methods

haskToRepr :: AsHaskell PDelegatee -> PlutusRepr PDelegatee

reprToHask :: PlutusRepr PDelegatee -> Either LiftError (AsHaskell PDelegatee)

reprToPlut :: forall (s :: S). PlutusRepr PDelegatee -> PLifted s PDelegatee

plutToRepr :: (forall (s :: S). PLifted s PDelegatee) -> Either LiftError (PlutusRepr PDelegatee)

PValidateData PDelegatee Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PDelegatee Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PDelegatee	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PDelegatee = PInner (DeriveAsDataStruct PDelegatee)

Methods

pcon' :: forall (s :: S). PDelegatee s -> Term s (PInner PDelegatee)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PDelegatee) -> (PDelegatee s -> Term s b) -> Term s b

PShow PDelegatee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PDelegatee -> Term s PString

PTryFrom PData (PAsData PDelegatee) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PDelegatee)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PDelegatee) = PTryFromExcess PData (PInner (PAsData PDelegatee))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PDelegatee), Reduce (PTryFromExcess PData (PAsData PDelegatee) s)) -> Term s r) -> Term s r

Generic (PDelegatee s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PDelegatee s)

Since: plutarch-ledger-api-3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PDelegatee s) = D1 ('MetaData "PDelegatee" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PDelegStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash)))) :+: (C1 ('MetaCons "PDelegVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRep))) :+: C1 ('MetaCons "PDelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRep)))))

Methods

from :: PDelegatee s -> Rep (PDelegatee s) x Source #

to :: Rep (PDelegatee s) x -> PDelegatee s Source #

Generic (PDelegatee s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PDelegatee s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PDelegatee s) = GCode (PDelegatee s)

Methods

from :: PDelegatee s -> Rep (PDelegatee s)

to :: Rep (PDelegatee s) -> PDelegatee s

type AsHaskell PDelegatee Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PDelegatee = AsHaskell (DeriveDataPLiftable PDelegatee Delegatee)

type PlutusRepr PDelegatee Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PDelegatee = PlutusRepr (DeriveDataPLiftable PDelegatee Delegatee)

type PInner PDelegatee Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PDelegatee = PInner (DeriveAsDataStruct PDelegatee)

type PTryFromExcess PData (PAsData PDelegatee) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PDelegatee) = PTryFromExcess PData (PInner (PAsData PDelegatee))

type Rep (PDelegatee s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PDelegatee s) = D1 ('MetaData "PDelegatee" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PDelegStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash)))) :+: (C1 ('MetaCons "PDelegVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRep))) :+: C1 ('MetaCons "PDelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRep)))))

type Code (PDelegatee s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PDelegatee s) = GCode (PDelegatee s)

data PTxCert (s :: S) Source #

Since: 3.1.0

Constructors

PTxCertRegStaking (Term s PCredential) (Term s (PMaybeData PLovelace))
PTxCertUnRegStaking (Term s PCredential) (Term s (PMaybeData PLovelace))
PTxCertDelegStaking (Term s PCredential) (Term s PDelegatee)
PTxCertRegDeleg (Term s PCredential) (Term s PDelegatee) (Term s (PAsData PLovelace))
PTxCertRegDRep (Term s PDRepCredential) (Term s (PAsData PLovelace))
PTxCertUpdateDRep (Term s PDRepCredential)
PTxCertUnRegDRep (Term s PDRepCredential) (Term s (PAsData PLovelace))
PTxCertPoolRegister (Term s (PAsData PPubKeyHash)) (Term s (PAsData PPubKeyHash))
PTxCertPoolRetire (Term s (PAsData PPubKeyHash)) (Term s (PAsData PInteger))
PTxCertAuthHotCommittee (Term s PColdCommitteeCredential) (Term s PHotCommitteeCredential)
PTxCertResignColdCommittee (Term s PColdCommitteeCredential)

Instances

Instances details

PEq PTxCert Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PTxCert -> Term s PTxCert -> Term s PBool

PIsData PTxCert Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PTxCert) -> Term s PTxCert

pdataImpl :: forall (s :: S). Term s PTxCert -> Term s PData

PLiftable PTxCert Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PTxCert	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PTxCert = AsHaskell (DeriveDataPLiftable PTxCert TxCert)
type PlutusRepr PTxCert
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PTxCert = PlutusRepr (DeriveDataPLiftable PTxCert TxCert)

Methods

haskToRepr :: AsHaskell PTxCert -> PlutusRepr PTxCert

reprToHask :: PlutusRepr PTxCert -> Either LiftError (AsHaskell PTxCert)

reprToPlut :: forall (s :: S). PlutusRepr PTxCert -> PLifted s PTxCert

plutToRepr :: (forall (s :: S). PLifted s PTxCert) -> Either LiftError (PlutusRepr PTxCert)

PValidateData PTxCert Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PTxCert Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PTxCert	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PTxCert = PInner (DeriveAsDataStruct PTxCert)

Methods

pcon' :: forall (s :: S). PTxCert s -> Term s (PInner PTxCert)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PTxCert) -> (PTxCert s -> Term s b) -> Term s b

PShow PTxCert Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PTxCert -> Term s PString

PTryFrom PData (PAsData PTxCert) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PTxCert)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PTxCert) = PTryFromExcess PData (PInner (PAsData PTxCert))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PTxCert), Reduce (PTryFromExcess PData (PAsData PTxCert) s)) -> Term s r) -> Term s r

Generic (PTxCert s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PTxCert s)

Since: plutarch-ledger-api-3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

from :: PTxCert s -> Rep (PTxCert s) x Source #

to :: Rep (PTxCert s) x -> PTxCert s Source #

Generic (PTxCert s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PTxCert s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PTxCert s) = GCode (PTxCert s)

Methods

from :: PTxCert s -> Rep (PTxCert s)

to :: Rep (PTxCert s) -> PTxCert s

type AsHaskell PTxCert Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PTxCert = AsHaskell (DeriveDataPLiftable PTxCert TxCert)

type PlutusRepr PTxCert Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PTxCert = PlutusRepr (DeriveDataPLiftable PTxCert TxCert)

type PInner PTxCert Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PTxCert = PInner (DeriveAsDataStruct PTxCert)

type PTryFromExcess PData (PAsData PTxCert) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PTxCert) = PTryFromExcess PData (PInner (PAsData PTxCert))

type Rep (PTxCert s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PTxCert s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PTxCert s) = GCode (PTxCert s)

data PVoter (s :: S) Source #

Since: 3.1.0

Constructors

PCommitteeVoter (Term s PHotCommitteeCredential)
PDRepVoter (Term s PDRepCredential)
PStakePoolVoter (Term s (PAsData PPubKeyHash))

Instances

Instances details

PEq PVoter Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PVoter -> Term s PVoter -> Term s PBool

PIsData PVoter Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PVoter) -> Term s PVoter

pdataImpl :: forall (s :: S). Term s PVoter -> Term s PData

PLiftable PVoter Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PVoter	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PVoter = AsHaskell (DeriveDataPLiftable PVoter Voter)
type PlutusRepr PVoter
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PVoter = PlutusRepr (DeriveDataPLiftable PVoter Voter)

Methods

haskToRepr :: AsHaskell PVoter -> PlutusRepr PVoter

reprToHask :: PlutusRepr PVoter -> Either LiftError (AsHaskell PVoter)

reprToPlut :: forall (s :: S). PlutusRepr PVoter -> PLifted s PVoter

plutToRepr :: (forall (s :: S). PLifted s PVoter) -> Either LiftError (PlutusRepr PVoter)

PValidateData PVoter Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PVoter Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PVoter	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PVoter = PInner (DeriveAsDataStruct PVoter)

Methods

pcon' :: forall (s :: S). PVoter s -> Term s (PInner PVoter)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PVoter) -> (PVoter s -> Term s b) -> Term s b

PShow PVoter Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PVoter -> Term s PString

PTryFrom PData (PAsData PVoter) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PVoter)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PVoter) = PTryFromExcess PData (PInner (PAsData PVoter))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PVoter), Reduce (PTryFromExcess PData (PAsData PVoter) s)) -> Term s r) -> Term s r

Generic (PVoter s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PVoter s)

Since: plutarch-ledger-api-3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PVoter s) = D1 ('MetaData "PVoter" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PCommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PHotCommitteeCredential))) :+: (C1 ('MetaCons "PDRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRepCredential))) :+: C1 ('MetaCons "PStakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash))))))

Methods

from :: PVoter s -> Rep (PVoter s) x Source #

to :: Rep (PVoter s) x -> PVoter s Source #

Generic (PVoter s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PVoter s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PVoter s) = GCode (PVoter s)

Methods

from :: PVoter s -> Rep (PVoter s)

to :: Rep (PVoter s) -> PVoter s

type AsHaskell PVoter Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PVoter = AsHaskell (DeriveDataPLiftable PVoter Voter)

type PlutusRepr PVoter Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PVoter = PlutusRepr (DeriveDataPLiftable PVoter Voter)

type PInner PVoter Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PVoter = PInner (DeriveAsDataStruct PVoter)

type PTryFromExcess PData (PAsData PVoter) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PVoter) = PTryFromExcess PData (PInner (PAsData PVoter))

type Rep (PVoter s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PVoter s) = D1 ('MetaData "PVoter" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PCommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PHotCommitteeCredential))) :+: (C1 ('MetaCons "PDRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PDRepCredential))) :+: C1 ('MetaCons "PStakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PPubKeyHash))))))

type Code (PVoter s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PVoter s) = GCode (PVoter s)

data PVote (s :: S) Source #

Since: 3.1.0

Constructors

PVoteYes
PVoteNo
PAbstain

Instances

Instances details

PEq PVote Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PVote -> Term s PVote -> Term s PBool

PIsData PVote Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PVote) -> Term s PVote

pdataImpl :: forall (s :: S). Term s PVote -> Term s PData

PLiftable PVote Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PVote	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PVote = AsHaskell (DeriveDataPLiftable PVote Vote)
type PlutusRepr PVote
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PVote = PlutusRepr (DeriveDataPLiftable PVote Vote)

Methods

haskToRepr :: AsHaskell PVote -> PlutusRepr PVote

reprToHask :: PlutusRepr PVote -> Either LiftError (AsHaskell PVote)

reprToPlut :: forall (s :: S). PlutusRepr PVote -> PLifted s PVote

plutToRepr :: (forall (s :: S). PLifted s PVote) -> Either LiftError (PlutusRepr PVote)

PValidateData PVote Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PVote Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PVote	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PVote = PInner (DeriveAsDataStruct PVote)

Methods

pcon' :: forall (s :: S). PVote s -> Term s (PInner PVote)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PVote) -> (PVote s -> Term s b) -> Term s b

PShow PVote Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PVote -> Term s PString

PTryFrom PData (PAsData PVote) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PVote)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PVote) = PTryFromExcess PData (PInner (PAsData PVote))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PVote), Reduce (PTryFromExcess PData (PAsData PVote) s)) -> Term s r) -> Term s r

Generic (PVote s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PVote s)	Since: plutarch-ledger-api-3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PVote s) = D1 ('MetaData "PVote" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PVoteYes" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PVoteNo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PAbstain" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: PVote s -> Rep (PVote s) x Source #

to :: Rep (PVote s) x -> PVote s Source #

Generic (PVote s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PVote s)	Since: plutarch-ledger-api-3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PVote s) = GCode (PVote s)

Methods

from :: PVote s -> Rep (PVote s)

to :: Rep (PVote s) -> PVote s

type AsHaskell PVote Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PVote = AsHaskell (DeriveDataPLiftable PVote Vote)

type PlutusRepr PVote Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PVote = PlutusRepr (DeriveDataPLiftable PVote Vote)

type PInner PVote Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PVote = PInner (DeriveAsDataStruct PVote)

type PTryFromExcess PData (PAsData PVote) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PVote) = PTryFromExcess PData (PInner (PAsData PVote))

type Rep (PVote s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PVote s) = D1 ('MetaData "PVote" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PVoteYes" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PVoteNo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PAbstain" 'PrefixI 'False) (U1 :: Type -> Type)))

type Code (PVote s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PVote s) = GCode (PVote s)

data PGovernanceActionId (s :: S) Source #

Since: 3.1.0

Constructors

PGovernanceActionId (Term s (PAsData PTxId)) (Term s (PAsData PInteger))

Instances

Instances details

PEq PGovernanceActionId Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PGovernanceActionId -> Term s PGovernanceActionId -> Term s PBool

PIsData PGovernanceActionId Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PGovernanceActionId) -> Term s PGovernanceActionId

pdataImpl :: forall (s :: S). Term s PGovernanceActionId -> Term s PData

PLiftable PGovernanceActionId Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PGovernanceActionId	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PGovernanceActionId = AsHaskell (DeriveDataPLiftable PGovernanceActionId GovernanceActionId)
type PlutusRepr PGovernanceActionId
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PGovernanceActionId = PlutusRepr (DeriveDataPLiftable PGovernanceActionId GovernanceActionId)

Methods

haskToRepr :: AsHaskell PGovernanceActionId -> PlutusRepr PGovernanceActionId

reprToHask :: PlutusRepr PGovernanceActionId -> Either LiftError (AsHaskell PGovernanceActionId)

reprToPlut :: forall (s :: S). PlutusRepr PGovernanceActionId -> PLifted s PGovernanceActionId

plutToRepr :: (forall (s :: S). PLifted s PGovernanceActionId) -> Either LiftError (PlutusRepr PGovernanceActionId)

PValidateData PGovernanceActionId Source #

Checks that we have a valid PGovernanceActionId. The underlying PTxId must be exactly 32 bytes, as Cardano transactions are hashed with BLAKE2b-256, and the action index must be a non-negative PInteger.

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PGovernanceActionId Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PGovernanceActionId	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PGovernanceActionId = PInner (DeriveAsDataStruct PGovernanceActionId)

Methods

pcon' :: forall (s :: S). PGovernanceActionId s -> Term s (PInner PGovernanceActionId)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PGovernanceActionId) -> (PGovernanceActionId s -> Term s b) -> Term s b

PShow PGovernanceActionId Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PGovernanceActionId -> Term s PString

PTryFrom PData (PAsData PGovernanceActionId) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PGovernanceActionId)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PGovernanceActionId) = PTryFromExcess PData (PInner (PAsData PGovernanceActionId))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PGovernanceActionId), Reduce (PTryFromExcess PData (PAsData PGovernanceActionId) s)) -> Term s r) -> Term s r

Generic (PGovernanceActionId s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PGovernanceActionId s)

Since: plutarch-ledger-api-3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PGovernanceActionId s) = D1 ('MetaData "PGovernanceActionId" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PGovernanceActionId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PTxId))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger)))))

Methods

from :: PGovernanceActionId s -> Rep (PGovernanceActionId s) x Source #

to :: Rep (PGovernanceActionId s) x -> PGovernanceActionId s Source #

Generic (PGovernanceActionId s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PGovernanceActionId s)	Since: plutarch-ledger-api-3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PGovernanceActionId s) = GCode (PGovernanceActionId s)

Methods

from :: PGovernanceActionId s -> Rep (PGovernanceActionId s)

to :: Rep (PGovernanceActionId s) -> PGovernanceActionId s

type AsHaskell PGovernanceActionId Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PGovernanceActionId = AsHaskell (DeriveDataPLiftable PGovernanceActionId GovernanceActionId)

type PlutusRepr PGovernanceActionId Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PGovernanceActionId = PlutusRepr (DeriveDataPLiftable PGovernanceActionId GovernanceActionId)

type PInner PGovernanceActionId Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PGovernanceActionId = PInner (DeriveAsDataStruct PGovernanceActionId)

type PTryFromExcess PData (PAsData PGovernanceActionId) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PGovernanceActionId) = PTryFromExcess PData (PInner (PAsData PGovernanceActionId))

type Rep (PGovernanceActionId s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PGovernanceActionId s) = D1 ('MetaData "PGovernanceActionId" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PGovernanceActionId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PTxId))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger)))))

type Code (PGovernanceActionId s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PGovernanceActionId s) = GCode (PGovernanceActionId s)

data PCommittee (s :: S) Source #

Since: 3.1.0

Constructors

PCommittee
Fields pcommittee'members :: Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger)) pcommittee'quorum :: Term s PRationalData

Instances

Instances details

PEq PCommittee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PCommittee -> Term s PCommittee -> Term s PBool

PIsData PCommittee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PCommittee) -> Term s PCommittee

pdataImpl :: forall (s :: S). Term s PCommittee -> Term s PData

PLiftable PCommittee Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PCommittee	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PCommittee = AsHaskell (DeriveDataPLiftable PCommittee Committee)
type PlutusRepr PCommittee
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PCommittee = PlutusRepr (DeriveDataPLiftable PCommittee Committee)

Methods

haskToRepr :: AsHaskell PCommittee -> PlutusRepr PCommittee

reprToHask :: PlutusRepr PCommittee -> Either LiftError (AsHaskell PCommittee)

reprToPlut :: forall (s :: S). PlutusRepr PCommittee -> PLifted s PCommittee

plutToRepr :: (forall (s :: S). PLifted s PCommittee) -> Either LiftError (PlutusRepr PCommittee)

PValidateData PCommittee Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PCommittee Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PCommittee	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PCommittee = PInner (DeriveAsDataStruct PCommittee)

Methods

pcon' :: forall (s :: S). PCommittee s -> Term s (PInner PCommittee)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PCommittee) -> (PCommittee s -> Term s b) -> Term s b

PShow PCommittee Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PCommittee -> Term s PString

PTryFrom PData (PAsData PCommittee) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PCommittee)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PCommittee) = PTryFromExcess PData (PInner (PAsData PCommittee))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PCommittee), Reduce (PTryFromExcess PData (PAsData PCommittee) s)) -> Term s r) -> Term s r

Generic (PCommittee s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PCommittee s)

Since: plutarch-ledger-api-3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PCommittee s) = D1 ('MetaData "PCommittee" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "pcommittee'members") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger)))) :*: S1 ('MetaSel ('Just "pcommittee'quorum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PRationalData))))

Methods

from :: PCommittee s -> Rep (PCommittee s) x Source #

to :: Rep (PCommittee s) x -> PCommittee s Source #

Generic (PCommittee s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PCommittee s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PCommittee s) = GCode (PCommittee s)

Methods

from :: PCommittee s -> Rep (PCommittee s)

to :: Rep (PCommittee s) -> PCommittee s

type AsHaskell PCommittee Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PCommittee = AsHaskell (DeriveDataPLiftable PCommittee Committee)

type PlutusRepr PCommittee Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PCommittee = PlutusRepr (DeriveDataPLiftable PCommittee Committee)

type PInner PCommittee Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PCommittee = PInner (DeriveAsDataStruct PCommittee)

type PTryFromExcess PData (PAsData PCommittee) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PCommittee) = PTryFromExcess PData (PInner (PAsData PCommittee))

type Rep (PCommittee s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PCommittee s) = D1 ('MetaData "PCommittee" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PCommittee" 'PrefixI 'True) (S1 ('MetaSel ('Just "pcommittee'members") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger)))) :*: S1 ('MetaSel ('Just "pcommittee'quorum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PRationalData))))

type Code (PCommittee s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PCommittee s) = GCode (PCommittee s)

newtype PConstitution (s :: S) Source #

A constitution, omitting the optional anchor.

Since: 3.1.0

Constructors

PConstitution (Term s (PMaybeData PScriptHash))

Instances

Instances details

PEq PConstitution Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PConstitution -> Term s PConstitution -> Term s PBool

PIsData PConstitution Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PConstitution) -> Term s PConstitution

pdataImpl :: forall (s :: S). Term s PConstitution -> Term s PData

PLiftable PConstitution Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PConstitution	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PConstitution = AsHaskell (DeriveDataPLiftable PConstitution Constitution)
type PlutusRepr PConstitution
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PConstitution = PlutusRepr (DeriveDataPLiftable PConstitution Constitution)

Methods

haskToRepr :: AsHaskell PConstitution -> PlutusRepr PConstitution

reprToHask :: PlutusRepr PConstitution -> Either LiftError (AsHaskell PConstitution)

reprToPlut :: forall (s :: S). PlutusRepr PConstitution -> PLifted s PConstitution

plutToRepr :: (forall (s :: S). PLifted s PConstitution) -> Either LiftError (PlutusRepr PConstitution)

PValidateData PConstitution Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PConstitution Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PConstitution	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PConstitution = PInner (DeriveAsDataStruct PConstitution)

Methods

pcon' :: forall (s :: S). PConstitution s -> Term s (PInner PConstitution)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PConstitution) -> (PConstitution s -> Term s b) -> Term s b

PShow PConstitution Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PConstitution -> Term s PString

PTryFrom PData (PAsData PConstitution) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PConstitution)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PConstitution) = PTryFromExcess PData (PInner (PAsData PConstitution))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PConstitution), Reduce (PTryFromExcess PData (PAsData PConstitution) s)) -> Term s r) -> Term s r

Generic (PConstitution s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PConstitution s)	Since: plutarch-ledger-api-3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PConstitution s) = D1 ('MetaData "PConstitution" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PConstitution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PScriptHash)))))

Methods

from :: PConstitution s -> Rep (PConstitution s) x Source #

to :: Rep (PConstitution s) x -> PConstitution s Source #

Generic (PConstitution s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PConstitution s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PConstitution s) = GCode (PConstitution s)

Methods

from :: PConstitution s -> Rep (PConstitution s)

to :: Rep (PConstitution s) -> PConstitution s

type AsHaskell PConstitution Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PConstitution = AsHaskell (DeriveDataPLiftable PConstitution Constitution)

type PlutusRepr PConstitution Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PConstitution = PlutusRepr (DeriveDataPLiftable PConstitution Constitution)

type PInner PConstitution Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PConstitution = PInner (DeriveAsDataStruct PConstitution)

type PTryFromExcess PData (PAsData PConstitution) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PConstitution) = PTryFromExcess PData (PInner (PAsData PConstitution))

type Rep (PConstitution s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PConstitution s) = D1 ('MetaData "PConstitution" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PConstitution" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PMaybeData PScriptHash)))))

type Code (PConstitution s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PConstitution s) = GCode (PConstitution s)

data PProtocolVersion (s :: S) Source #

Since: 3.1.0

Constructors

PProtocolVersion
Fields pprotocolVersion'major :: Term s (PAsData PInteger) pprotocolVersion'minor :: Term s (PAsData PInteger)

Instances

Instances details

PEq PProtocolVersion Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PProtocolVersion -> Term s PProtocolVersion -> Term s PBool

PIsData PProtocolVersion Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PProtocolVersion) -> Term s PProtocolVersion

pdataImpl :: forall (s :: S). Term s PProtocolVersion -> Term s PData

PLiftable PProtocolVersion Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PProtocolVersion	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PProtocolVersion = AsHaskell (DeriveDataPLiftable PProtocolVersion ProtocolVersion)
type PlutusRepr PProtocolVersion
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PProtocolVersion = PlutusRepr (DeriveDataPLiftable PProtocolVersion ProtocolVersion)

Methods

haskToRepr :: AsHaskell PProtocolVersion -> PlutusRepr PProtocolVersion

reprToHask :: PlutusRepr PProtocolVersion -> Either LiftError (AsHaskell PProtocolVersion)

reprToPlut :: forall (s :: S). PlutusRepr PProtocolVersion -> PLifted s PProtocolVersion

plutToRepr :: (forall (s :: S). PLifted s PProtocolVersion) -> Either LiftError (PlutusRepr PProtocolVersion)

PValidateData PProtocolVersion Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PProtocolVersion Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PProtocolVersion	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PProtocolVersion = PInner (DeriveAsDataStruct PProtocolVersion)

Methods

pcon' :: forall (s :: S). PProtocolVersion s -> Term s (PInner PProtocolVersion)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PProtocolVersion) -> (PProtocolVersion s -> Term s b) -> Term s b

PShow PProtocolVersion Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PProtocolVersion -> Term s PString

PTryFrom PData (PAsData PProtocolVersion) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PProtocolVersion)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PProtocolVersion) = PTryFromExcess PData (PInner (PAsData PProtocolVersion))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PProtocolVersion), Reduce (PTryFromExcess PData (PAsData PProtocolVersion) s)) -> Term s r) -> Term s r

Generic (PProtocolVersion s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PProtocolVersion s)

Since: plutarch-ledger-api-3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PProtocolVersion s) = D1 ('MetaData "PProtocolVersion" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PProtocolVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "pprotocolVersion'major") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: S1 ('MetaSel ('Just "pprotocolVersion'minor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger)))))

Methods

from :: PProtocolVersion s -> Rep (PProtocolVersion s) x Source #

to :: Rep (PProtocolVersion s) x -> PProtocolVersion s Source #

Generic (PProtocolVersion s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PProtocolVersion s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PProtocolVersion s) = GCode (PProtocolVersion s)

Methods

from :: PProtocolVersion s -> Rep (PProtocolVersion s)

to :: Rep (PProtocolVersion s) -> PProtocolVersion s

type AsHaskell PProtocolVersion Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PProtocolVersion = AsHaskell (DeriveDataPLiftable PProtocolVersion ProtocolVersion)

type PlutusRepr PProtocolVersion Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PProtocolVersion = PlutusRepr (DeriveDataPLiftable PProtocolVersion ProtocolVersion)

type PInner PProtocolVersion Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PProtocolVersion = PInner (DeriveAsDataStruct PProtocolVersion)

type PTryFromExcess PData (PAsData PProtocolVersion) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PProtocolVersion) = PTryFromExcess PData (PInner (PAsData PProtocolVersion))

type Rep (PProtocolVersion s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PProtocolVersion s) = D1 ('MetaData "PProtocolVersion" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PProtocolVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "pprotocolVersion'major") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger))) :*: S1 ('MetaSel ('Just "pprotocolVersion'minor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PInteger)))))

type Code (PProtocolVersion s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PProtocolVersion s) = GCode (PProtocolVersion s)

newtype PChangedParameters (s :: S) Source #

Since: 3.1.0

Constructors

PChangedParameters (Term s PData)

Instances

Instances details

PEq PChangedParameters Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PChangedParameters -> Term s PChangedParameters -> Term s PBool

PIsData PChangedParameters Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PChangedParameters) -> Term s PChangedParameters

pdataImpl :: forall (s :: S). Term s PChangedParameters -> Term s PData

PLiftable PChangedParameters Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PChangedParameters	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PChangedParameters = AsHaskell (DeriveDataPLiftable PChangedParameters ChangedParameters)
type PlutusRepr PChangedParameters
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PChangedParameters = PlutusRepr (DeriveDataPLiftable PChangedParameters ChangedParameters)

Methods

haskToRepr :: AsHaskell PChangedParameters -> PlutusRepr PChangedParameters

reprToHask :: PlutusRepr PChangedParameters -> Either LiftError (AsHaskell PChangedParameters)

reprToPlut :: forall (s :: S). PlutusRepr PChangedParameters -> PLifted s PChangedParameters

plutToRepr :: (forall (s :: S). PLifted s PChangedParameters) -> Either LiftError (PlutusRepr PChangedParameters)

PValidateData PChangedParameters Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PChangedParameters Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PChangedParameters	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PChangedParameters = PInner (DeriveNewtypePlutusType PChangedParameters)

Methods

pcon' :: forall (s :: S). PChangedParameters s -> Term s (PInner PChangedParameters)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PChangedParameters) -> (PChangedParameters s -> Term s b) -> Term s b

PShow PChangedParameters Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PChangedParameters -> Term s PString

PTryFrom PData (PAsData PChangedParameters) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PChangedParameters)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PChangedParameters) = PTryFromExcess PData (PInner (PAsData PChangedParameters))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PChangedParameters), Reduce (PTryFromExcess PData (PAsData PChangedParameters) s)) -> Term s r) -> Term s r

Generic (PChangedParameters s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PChangedParameters s)	Since: plutarch-ledger-api-3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Rep (PChangedParameters s) = D1 ('MetaData "PChangedParameters" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PChangedParameters" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData))))

Methods

from :: PChangedParameters s -> Rep (PChangedParameters s) x Source #

to :: Rep (PChangedParameters s) x -> PChangedParameters s Source #

Generic (PChangedParameters s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PChangedParameters s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PChangedParameters s) = GCode (PChangedParameters s)

Methods

from :: PChangedParameters s -> Rep (PChangedParameters s)

to :: Rep (PChangedParameters s) -> PChangedParameters s

type AsHaskell PChangedParameters Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PChangedParameters = AsHaskell (DeriveDataPLiftable PChangedParameters ChangedParameters)

type PlutusRepr PChangedParameters Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PChangedParameters = PlutusRepr (DeriveDataPLiftable PChangedParameters ChangedParameters)

type PInner PChangedParameters Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PChangedParameters = PInner (DeriveNewtypePlutusType PChangedParameters)

type PTryFromExcess PData (PAsData PChangedParameters) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PChangedParameters) = PTryFromExcess PData (PInner (PAsData PChangedParameters))

type Rep (PChangedParameters s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PChangedParameters s) = D1 ('MetaData "PChangedParameters" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'True) (C1 ('MetaCons "PChangedParameters" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PData))))

type Code (PChangedParameters s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PChangedParameters s) = GCode (PChangedParameters s)

data PGovernanceAction (s :: S) Source #

Since: 3.1.0

Constructors

PParameterChange (Term s (PMaybeData PGovernanceActionId)) (Term s PChangedParameters) (Term s (PMaybeData PScriptHash))
PHardForkInitiation (Term s (PMaybeData PGovernanceActionId)) (Term s PProtocolVersion)
PTreasuryWithdrawals (Term s (PAsData (PUnsortedMap PCredential PLovelace))) (Term s (PMaybeData PScriptHash))
PNoConfidence (Term s (PMaybeData PGovernanceActionId))
PUpdateCommittee (Term s (PMaybeData PGovernanceActionId)) (Term s (PAsData (PBuiltinList (PAsData PColdCommitteeCredential)))) (Term s (PAsData (PUnsortedMap PColdCommitteeCredential PInteger))) (Term s PRationalData)
PNewConstitution (Term s (PMaybeData PGovernanceActionId)) (Term s PConstitution)
PInfoAction

Instances

Instances details

PEq PGovernanceAction Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PGovernanceAction -> Term s PGovernanceAction -> Term s PBool

PIsData PGovernanceAction Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PGovernanceAction) -> Term s PGovernanceAction

pdataImpl :: forall (s :: S). Term s PGovernanceAction -> Term s PData

PLiftable PGovernanceAction Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PGovernanceAction	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PGovernanceAction = AsHaskell (DeriveDataPLiftable PGovernanceAction GovernanceAction)
type PlutusRepr PGovernanceAction
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PGovernanceAction = PlutusRepr (DeriveDataPLiftable PGovernanceAction GovernanceAction)

Methods

haskToRepr :: AsHaskell PGovernanceAction -> PlutusRepr PGovernanceAction

reprToHask :: PlutusRepr PGovernanceAction -> Either LiftError (AsHaskell PGovernanceAction)

reprToPlut :: forall (s :: S). PlutusRepr PGovernanceAction -> PLifted s PGovernanceAction

plutToRepr :: (forall (s :: S). PLifted s PGovernanceAction) -> Either LiftError (PlutusRepr PGovernanceAction)

PValidateData PGovernanceAction Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PGovernanceAction Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PGovernanceAction	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PGovernanceAction = PInner (DeriveAsDataStruct PGovernanceAction)

Methods

pcon' :: forall (s :: S). PGovernanceAction s -> Term s (PInner PGovernanceAction)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PGovernanceAction) -> (PGovernanceAction s -> Term s b) -> Term s b

PShow PGovernanceAction Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PGovernanceAction -> Term s PString

PTryFrom PData (PAsData PGovernanceAction) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PGovernanceAction)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PGovernanceAction) = PTryFromExcess PData (PInner (PAsData PGovernanceAction))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PGovernanceAction), Reduce (PTryFromExcess PData (PAsData PGovernanceAction) s)) -> Term s r) -> Term s r

Generic (PGovernanceAction s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PGovernanceAction s)

Since: plutarch-ledger-api-3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

from :: PGovernanceAction s -> Rep (PGovernanceAction s) x Source #

to :: Rep (PGovernanceAction s) x -> PGovernanceAction s Source #

Generic (PGovernanceAction s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PGovernanceAction s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PGovernanceAction s) = GCode (PGovernanceAction s)

Methods

from :: PGovernanceAction s -> Rep (PGovernanceAction s)

to :: Rep (PGovernanceAction s) -> PGovernanceAction s

type AsHaskell PGovernanceAction Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PGovernanceAction = AsHaskell (DeriveDataPLiftable PGovernanceAction GovernanceAction)

type PlutusRepr PGovernanceAction Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PGovernanceAction = PlutusRepr (DeriveDataPLiftable PGovernanceAction GovernanceAction)

type PInner PGovernanceAction Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PGovernanceAction = PInner (DeriveAsDataStruct PGovernanceAction)

type PTryFromExcess PData (PAsData PGovernanceAction) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PGovernanceAction) = PTryFromExcess PData (PInner (PAsData PGovernanceAction))

type Rep (PGovernanceAction s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PGovernanceAction s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PGovernanceAction s) = GCode (PGovernanceAction s)

data PProposalProcedure (s :: S) Source #

Since: 3.1.0

Constructors

PProposalProcedure
Fields pproposalProcedure'deposit :: Term s (PAsData PLovelace) pproposalProcedure'returnAddr :: Term s PCredential pproposalProcedure'governanceAction :: Term s PGovernanceAction

Instances

Instances details

PEq PProposalProcedure Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PProposalProcedure -> Term s PProposalProcedure -> Term s PBool

PIsData PProposalProcedure Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PProposalProcedure) -> Term s PProposalProcedure

pdataImpl :: forall (s :: S). Term s PProposalProcedure -> Term s PData

PLiftable PProposalProcedure Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PProposalProcedure	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PProposalProcedure = AsHaskell (DeriveDataPLiftable PProposalProcedure ProposalProcedure)
type PlutusRepr PProposalProcedure
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PProposalProcedure = PlutusRepr (DeriveDataPLiftable PProposalProcedure ProposalProcedure)

Methods

haskToRepr :: AsHaskell PProposalProcedure -> PlutusRepr PProposalProcedure

reprToHask :: PlutusRepr PProposalProcedure -> Either LiftError (AsHaskell PProposalProcedure)

reprToPlut :: forall (s :: S). PlutusRepr PProposalProcedure -> PLifted s PProposalProcedure

plutToRepr :: (forall (s :: S). PLifted s PProposalProcedure) -> Either LiftError (PlutusRepr PProposalProcedure)

PValidateData PProposalProcedure Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PProposalProcedure Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PProposalProcedure	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PProposalProcedure = PInner (DeriveAsDataStruct PProposalProcedure)

Methods

pcon' :: forall (s :: S). PProposalProcedure s -> Term s (PInner PProposalProcedure)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PProposalProcedure) -> (PProposalProcedure s -> Term s b) -> Term s b

PShow PProposalProcedure Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PProposalProcedure -> Term s PString

PTryFrom PData (PAsData PProposalProcedure) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PProposalProcedure)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PProposalProcedure) = PTryFromExcess PData (PInner (PAsData PProposalProcedure))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PProposalProcedure), Reduce (PTryFromExcess PData (PAsData PProposalProcedure) s)) -> Term s r) -> Term s r

Generic (PProposalProcedure s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PProposalProcedure s)

Since: plutarch-ledger-api-3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PProposalProcedure s) = D1 ('MetaData "PProposalProcedure" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PProposalProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "pproposalProcedure'deposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLovelace))) :*: (S1 ('MetaSel ('Just "pproposalProcedure'returnAddr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :*: S1 ('MetaSel ('Just "pproposalProcedure'governanceAction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PGovernanceAction)))))

Methods

from :: PProposalProcedure s -> Rep (PProposalProcedure s) x Source #

to :: Rep (PProposalProcedure s) x -> PProposalProcedure s Source #

Generic (PProposalProcedure s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PProposalProcedure s)	Since: plutarch-ledger-api-3.1.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PProposalProcedure s) = GCode (PProposalProcedure s)

Methods

from :: PProposalProcedure s -> Rep (PProposalProcedure s)

to :: Rep (PProposalProcedure s) -> PProposalProcedure s

type AsHaskell PProposalProcedure Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PProposalProcedure = AsHaskell (DeriveDataPLiftable PProposalProcedure ProposalProcedure)

type PlutusRepr PProposalProcedure Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PProposalProcedure = PlutusRepr (DeriveDataPLiftable PProposalProcedure ProposalProcedure)

type PInner PProposalProcedure Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PProposalProcedure = PInner (DeriveAsDataStruct PProposalProcedure)

type PTryFromExcess PData (PAsData PProposalProcedure) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PProposalProcedure) = PTryFromExcess PData (PInner (PAsData PProposalProcedure))

type Rep (PProposalProcedure s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PProposalProcedure s) = D1 ('MetaData "PProposalProcedure" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PProposalProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "pproposalProcedure'deposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PLovelace))) :*: (S1 ('MetaSel ('Just "pproposalProcedure'returnAddr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PCredential)) :*: S1 ('MetaSel ('Just "pproposalProcedure'governanceAction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PGovernanceAction)))))

type Code (PProposalProcedure s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PProposalProcedure s) = GCode (PProposalProcedure s)

data PScriptPurpose (s :: S) Source #

Since: 2.0.0

Constructors

PMinting (Term s (PAsData PCurrencySymbol))
PSpending (Term s PTxOutRef)
PRewarding (Term s PCredential)	Since: 3.1.0
PCertifying (Term s (PAsData PInteger)) (Term s PTxCert)
PVoting (Term s PVoter)	Since: 3.1.0
PProposing (Term s (PAsData PInteger)) (Term s PProposalProcedure)	Since: 3.1.0

Instances

Instances details

PEq PScriptPurpose Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PScriptPurpose -> Term s PScriptPurpose -> Term s PBool

PIsData PScriptPurpose Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptPurpose) -> Term s PScriptPurpose

pdataImpl :: forall (s :: S). Term s PScriptPurpose -> Term s PData

PLiftable PScriptPurpose Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PScriptPurpose	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PScriptPurpose = AsHaskell (DeriveDataPLiftable PScriptPurpose ScriptPurpose)
type PlutusRepr PScriptPurpose
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PScriptPurpose = PlutusRepr (DeriveDataPLiftable PScriptPurpose ScriptPurpose)

Methods

haskToRepr :: AsHaskell PScriptPurpose -> PlutusRepr PScriptPurpose

reprToHask :: PlutusRepr PScriptPurpose -> Either LiftError (AsHaskell PScriptPurpose)

reprToPlut :: forall (s :: S). PlutusRepr PScriptPurpose -> PLifted s PScriptPurpose

plutToRepr :: (forall (s :: S). PLifted s PScriptPurpose) -> Either LiftError (PlutusRepr PScriptPurpose)

PValidateData PScriptPurpose Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PScriptPurpose Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PScriptPurpose	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PScriptPurpose = PInner (DeriveAsDataStruct PScriptPurpose)

Methods

pcon' :: forall (s :: S). PScriptPurpose s -> Term s (PInner PScriptPurpose)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PScriptPurpose) -> (PScriptPurpose s -> Term s b) -> Term s b

PShow PScriptPurpose Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PScriptPurpose -> Term s PString

PTryFrom PData (PAsData PScriptPurpose) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PScriptPurpose)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PScriptPurpose) = PTryFromExcess PData (PInner (PAsData PScriptPurpose))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PScriptPurpose), Reduce (PTryFromExcess PData (PAsData PScriptPurpose) s)) -> Term s r) -> Term s r

Generic (PScriptPurpose s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PScriptPurpose s)

Since: plutarch-ledger-api-2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

from :: PScriptPurpose s -> Rep (PScriptPurpose s) x Source #

to :: Rep (PScriptPurpose s) x -> PScriptPurpose s Source #

Generic (PScriptPurpose s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PScriptPurpose s)	Since: plutarch-ledger-api-2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PScriptPurpose s) = GCode (PScriptPurpose s)

Methods

from :: PScriptPurpose s -> Rep (PScriptPurpose s)

to :: Rep (PScriptPurpose s) -> PScriptPurpose s

type AsHaskell PScriptPurpose Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PScriptPurpose = AsHaskell (DeriveDataPLiftable PScriptPurpose ScriptPurpose)

type PlutusRepr PScriptPurpose Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PScriptPurpose = PlutusRepr (DeriveDataPLiftable PScriptPurpose ScriptPurpose)

type PInner PScriptPurpose Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PScriptPurpose = PInner (DeriveAsDataStruct PScriptPurpose)

type PTryFromExcess PData (PAsData PScriptPurpose) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PScriptPurpose) = PTryFromExcess PData (PInner (PAsData PScriptPurpose))

type Rep (PScriptPurpose s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PScriptPurpose s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PScriptPurpose s) = GCode (PScriptPurpose s)

data PScriptInfo (s :: S) Source #

Since: 3.1.0

Constructors

PMintingScript (Term s (PAsData PCurrencySymbol))
PSpendingScript (Term s PTxOutRef) (Term s (PMaybeData PDatum))
PRewardingScript (Term s PCredential)
PCertifyingScript (Term s (PAsData PInteger)) (Term s PTxCert)
PVotingScript (Term s PVoter)
PProposingScript (Term s (PAsData PInteger)) (Term s PProposalProcedure)

Instances

Instances details

PEq PScriptInfo Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PScriptInfo -> Term s PScriptInfo -> Term s PBool

PIsData PScriptInfo Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptInfo) -> Term s PScriptInfo

pdataImpl :: forall (s :: S). Term s PScriptInfo -> Term s PData

PLiftable PScriptInfo Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PScriptInfo	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PScriptInfo = AsHaskell (DeriveDataPLiftable PScriptInfo ScriptInfo)
type PlutusRepr PScriptInfo
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PScriptInfo = PlutusRepr (DeriveDataPLiftable PScriptInfo ScriptInfo)

Methods

haskToRepr :: AsHaskell PScriptInfo -> PlutusRepr PScriptInfo

reprToHask :: PlutusRepr PScriptInfo -> Either LiftError (AsHaskell PScriptInfo)

reprToPlut :: forall (s :: S). PlutusRepr PScriptInfo -> PLifted s PScriptInfo

plutToRepr :: (forall (s :: S). PLifted s PScriptInfo) -> Either LiftError (PlutusRepr PScriptInfo)

PValidateData PScriptInfo Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PScriptInfo Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PScriptInfo	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PScriptInfo = PInner (DeriveAsDataStruct PScriptInfo)

Methods

pcon' :: forall (s :: S). PScriptInfo s -> Term s (PInner PScriptInfo)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PScriptInfo) -> (PScriptInfo s -> Term s b) -> Term s b

PShow PScriptInfo Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PScriptInfo -> Term s PString

PTryFrom PData (PAsData PScriptInfo) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PScriptInfo)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PScriptInfo) = PTryFromExcess PData (PInner (PAsData PScriptInfo))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PScriptInfo), Reduce (PTryFromExcess PData (PAsData PScriptInfo) s)) -> Term s r) -> Term s r

Generic (PScriptInfo s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PScriptInfo s)

Since: plutarch-ledger-api-3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

from :: PScriptInfo s -> Rep (PScriptInfo s) x Source #

to :: Rep (PScriptInfo s) x -> PScriptInfo s Source #

Generic (PScriptInfo s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PScriptInfo s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PScriptInfo s) = GCode (PScriptInfo s)

Methods

from :: PScriptInfo s -> Rep (PScriptInfo s)

to :: Rep (PScriptInfo s) -> PScriptInfo s

type AsHaskell PScriptInfo Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PScriptInfo = AsHaskell (DeriveDataPLiftable PScriptInfo ScriptInfo)

type PlutusRepr PScriptInfo Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PScriptInfo = PlutusRepr (DeriveDataPLiftable PScriptInfo ScriptInfo)

type PInner PScriptInfo Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PScriptInfo = PInner (DeriveAsDataStruct PScriptInfo)

type PTryFromExcess PData (PAsData PScriptInfo) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PScriptInfo) = PTryFromExcess PData (PInner (PAsData PScriptInfo))

type Rep (PScriptInfo s) Source #

Since: 3.1.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PScriptInfo s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PScriptInfo s) = GCode (PScriptInfo s)

data PTxInInfo (s :: S) Source #

An input of the transaction.

Since: 2.0.0

Constructors

PTxInInfo
Fields ptxInInfo'outRef :: Term s PTxOutRef ptxInInfo'resolved :: Term s PTxOut

Instances

Instances details

PEq PTxInInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PTxInInfo -> Term s PTxInInfo -> Term s PBool

PIsData PTxInInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInInfo) -> Term s PTxInInfo

pdataImpl :: forall (s :: S). Term s PTxInInfo -> Term s PData

PLiftable PTxInInfo Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PTxInInfo	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PTxInInfo = AsHaskell (DeriveDataPLiftable PTxInInfo TxInInfo)
type PlutusRepr PTxInInfo
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PTxInInfo = PlutusRepr (DeriveDataPLiftable PTxInInfo TxInInfo)

Methods

haskToRepr :: AsHaskell PTxInInfo -> PlutusRepr PTxInInfo

reprToHask :: PlutusRepr PTxInInfo -> Either LiftError (AsHaskell PTxInInfo)

reprToPlut :: forall (s :: S). PlutusRepr PTxInInfo -> PLifted s PTxInInfo

plutToRepr :: (forall (s :: S). PLifted s PTxInInfo) -> Either LiftError (PlutusRepr PTxInInfo)

PValidateData PTxInInfo Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PTxInInfo Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PTxInInfo	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PTxInInfo = PInner (DeriveAsDataStruct PTxInInfo)

Methods

pcon' :: forall (s :: S). PTxInInfo s -> Term s (PInner PTxInInfo)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PTxInInfo) -> (PTxInInfo s -> Term s b) -> Term s b

PShow PTxInInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PTxInInfo -> Term s PString

PTryFrom PData (PAsData PTxInInfo) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PTxInInfo)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PTxInInfo) = PTryFromExcess PData (PInner (PAsData PTxInInfo))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PTxInInfo), Reduce (PTryFromExcess PData (PAsData PTxInInfo) s)) -> Term s r) -> Term s r

Generic (PTxInInfo s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PTxInInfo s)

Since: plutarch-ledger-api-2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PTxInInfo s) = D1 ('MetaData "PTxInInfo" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PTxInInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "ptxInInfo'outRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOutRef)) :*: S1 ('MetaSel ('Just "ptxInInfo'resolved") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOut))))

Methods

from :: PTxInInfo s -> Rep (PTxInInfo s) x Source #

to :: Rep (PTxInInfo s) x -> PTxInInfo s Source #

Generic (PTxInInfo s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PTxInInfo s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PTxInInfo s) = GCode (PTxInInfo s)

Methods

from :: PTxInInfo s -> Rep (PTxInInfo s)

to :: Rep (PTxInInfo s) -> PTxInInfo s

type AsHaskell PTxInInfo Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PTxInInfo = AsHaskell (DeriveDataPLiftable PTxInInfo TxInInfo)

type PlutusRepr PTxInInfo Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PTxInInfo = PlutusRepr (DeriveDataPLiftable PTxInInfo TxInInfo)

type PInner PTxInInfo Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PTxInInfo = PInner (DeriveAsDataStruct PTxInInfo)

type PTryFromExcess PData (PAsData PTxInInfo) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PTxInInfo) = PTryFromExcess PData (PInner (PAsData PTxInInfo))

type Rep (PTxInInfo s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PTxInInfo s) = D1 ('MetaData "PTxInInfo" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PTxInInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "ptxInInfo'outRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOutRef)) :*: S1 ('MetaSel ('Just "ptxInInfo'resolved") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxOut))))

type Code (PTxInInfo s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PTxInInfo s) = GCode (PTxInInfo s)

data PTxInfo (s :: S) Source #

Constructors

PTxInfo

Fields

ptxInfo'inputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
ptxInfo'referenceInputs :: Term s (PAsData (PBuiltinList (PAsData PTxInInfo)))
ptxInfo'outputs :: Term s (PAsData (PBuiltinList (PAsData PTxOut)))
ptxInfo'fee :: Term s (PAsData PLovelace)
ptxInfo'mint :: Term s (PAsData PMintValue)
ptxInfo'txCerts :: Term s (PAsData (PBuiltinList (PAsData PTxCert)))
ptxInfo'wdrl :: Term s (PAsData (PUnsortedMap PCredential PLovelace))
ptxInfo'validRange :: Term s (PInterval PPosixTime)
ptxInfo'signatories :: Term s (PAsData (PBuiltinList (PAsData PPubKeyHash)))
ptxInfo'redeemers :: Term s (PAsData (PUnsortedMap PScriptPurpose PRedeemer))
ptxInfo'data :: Term s (PAsData (PUnsortedMap PDatumHash PDatum))
ptxInfo'id :: Term s (PAsData PTxId)
ptxInfo'votes :: Term s (PAsData (PUnsortedMap PVoter (PUnsortedMap PGovernanceActionId PVote)))
ptxInfo'proposalProcedures :: Term s (PAsData (PBuiltinList (PAsData PProposalProcedure)))
ptxInfo'currentTreasuryAmount :: Term s (PMaybeData PLovelace)
ptxInfo'treasuryDonation :: Term s (PMaybeData PLovelace)

Instances

Instances details

PEq PTxInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PTxInfo -> Term s PTxInfo -> Term s PBool

PIsData PTxInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PTxInfo) -> Term s PTxInfo

pdataImpl :: forall (s :: S). Term s PTxInfo -> Term s PData

PLiftable PTxInfo Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PTxInfo	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PTxInfo = AsHaskell (DeriveDataPLiftable PTxInfo TxInfo)
type PlutusRepr PTxInfo
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PTxInfo = PlutusRepr (DeriveDataPLiftable PTxInfo TxInfo)

Methods

haskToRepr :: AsHaskell PTxInfo -> PlutusRepr PTxInfo

reprToHask :: PlutusRepr PTxInfo -> Either LiftError (AsHaskell PTxInfo)

reprToPlut :: forall (s :: S). PlutusRepr PTxInfo -> PLifted s PTxInfo

plutToRepr :: (forall (s :: S). PLifted s PTxInfo) -> Either LiftError (PlutusRepr PTxInfo)

PValidateData PTxInfo Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PTxInfo Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PTxInfo	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PTxInfo = PInner (DeriveAsDataStruct PTxInfo)

Methods

pcon' :: forall (s :: S). PTxInfo s -> Term s (PInner PTxInfo)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PTxInfo) -> (PTxInfo s -> Term s b) -> Term s b

PShow PTxInfo Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PTxInfo -> Term s PString

PTryFrom PData (PAsData PTxInfo) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PTxInfo)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PTxInfo) = PTryFromExcess PData (PInner (PAsData PTxInfo))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PTxInfo), Reduce (PTryFromExcess PData (PAsData PTxInfo) s)) -> Term s r) -> Term s r

Generic (PTxInfo s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PTxInfo s)

Since: plutarch-ledger-api-2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

from :: PTxInfo s -> Rep (PTxInfo s) x Source #

to :: Rep (PTxInfo s) x -> PTxInfo s Source #

Generic (PTxInfo s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PTxInfo s)	Since: plutarch-ledger-api-2.0.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PTxInfo s) = GCode (PTxInfo s)

Methods

from :: PTxInfo s -> Rep (PTxInfo s)

to :: Rep (PTxInfo s) -> PTxInfo s

type AsHaskell PTxInfo Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PTxInfo = AsHaskell (DeriveDataPLiftable PTxInfo TxInfo)

type PlutusRepr PTxInfo Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PTxInfo = PlutusRepr (DeriveDataPLiftable PTxInfo TxInfo)

type PInner PTxInfo Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PTxInfo = PInner (DeriveAsDataStruct PTxInfo)

type PTryFromExcess PData (PAsData PTxInfo) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PTxInfo) = PTryFromExcess PData (PInner (PAsData PTxInfo))

type Rep (PTxInfo s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PTxInfo s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PTxInfo s) = GCode (PTxInfo s)

data PScriptContext (s :: S) Source #

Since: 3.1.0

Constructors

PScriptContext
Fields pscriptContext'txInfo :: Term s PTxInfo pscriptContext'redeemer :: Term s PRedeemer pscriptContext'scriptInfo :: Term s PScriptInfo

Instances

Instances details

PEq PScriptContext Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

(#==) :: forall (s :: S). Term s PScriptContext -> Term s PScriptContext -> Term s PBool

PIsData PScriptContext Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PScriptContext) -> Term s PScriptContext

pdataImpl :: forall (s :: S). Term s PScriptContext -> Term s PData

PLiftable PScriptContext Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type AsHaskell PScriptContext	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type AsHaskell PScriptContext = AsHaskell (DeriveDataPLiftable PScriptContext ScriptContext)
type PlutusRepr PScriptContext
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PlutusRepr PScriptContext = PlutusRepr (DeriveDataPLiftable PScriptContext ScriptContext)

Methods

haskToRepr :: AsHaskell PScriptContext -> PlutusRepr PScriptContext

reprToHask :: PlutusRepr PScriptContext -> Either LiftError (AsHaskell PScriptContext)

reprToPlut :: forall (s :: S). PlutusRepr PScriptContext -> PLifted s PScriptContext

plutToRepr :: (forall (s :: S). PLifted s PScriptContext) -> Either LiftError (PlutusRepr PScriptContext)

PValidateData PScriptContext Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType PScriptContext Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PInner PScriptContext	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PInner PScriptContext = PInner (DeriveAsDataStruct PScriptContext)

Methods

pcon' :: forall (s :: S). PScriptContext s -> Term s (PInner PScriptContext)

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PScriptContext) -> (PScriptContext s -> Term s b) -> Term s b

PShow PScriptContext Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Methods

pshow' :: forall (s :: S). Bool -> Term s PScriptContext -> Term s PString

PTryFrom PData (PAsData PScriptContext) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type PTryFromExcess PData (PAsData PScriptContext)
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type PTryFromExcess PData (PAsData PScriptContext) = PTryFromExcess PData (PInner (PAsData PScriptContext))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData PScriptContext), Reduce (PTryFromExcess PData (PAsData PScriptContext) s)) -> Term s r) -> Term s r

Generic (PScriptContext s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Rep (PScriptContext s)

Since: plutarch-ledger-api-2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PScriptContext s) = D1 ('MetaData "PScriptContext" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "pscriptContext'txInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxInfo)) :*: (S1 ('MetaSel ('Just "pscriptContext'redeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PRedeemer)) :*: S1 ('MetaSel ('Just "pscriptContext'scriptInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PScriptInfo)))))

Methods

from :: PScriptContext s -> Rep (PScriptContext s) x Source #

to :: Rep (PScriptContext s) x -> PScriptContext s Source #

Generic (PScriptContext s) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

Associated Types

type Code (PScriptContext s)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.V3.Contexts type Code (PScriptContext s) = GCode (PScriptContext s)

Methods

from :: PScriptContext s -> Rep (PScriptContext s)

to :: Rep (PScriptContext s) -> PScriptContext s

type AsHaskell PScriptContext Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type AsHaskell PScriptContext = AsHaskell (DeriveDataPLiftable PScriptContext ScriptContext)

type PlutusRepr PScriptContext Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PlutusRepr PScriptContext = PlutusRepr (DeriveDataPLiftable PScriptContext ScriptContext)

type PInner PScriptContext Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PInner PScriptContext = PInner (DeriveAsDataStruct PScriptContext)

type PTryFromExcess PData (PAsData PScriptContext) Source #

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type PTryFromExcess PData (PAsData PScriptContext) = PTryFromExcess PData (PInner (PAsData PScriptContext))

type Rep (PScriptContext s) Source #

Since: 2.0.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Rep (PScriptContext s) = D1 ('MetaData "PScriptContext" "Plutarch.LedgerApi.V3.Contexts" "plutarch-ledger-api-3.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "pscriptContext'txInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PTxInfo)) :*: (S1 ('MetaSel ('Just "pscriptContext'redeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PRedeemer)) :*: S1 ('MetaSel ('Just "pscriptContext'scriptInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PScriptInfo)))))

type Code (PScriptContext s) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.V3.Contexts

type Code (PScriptContext s) = GCode (PScriptContext s)

pfindOwnInput :: forall (s :: S). Term s (PScriptContext :--> PMaybe PTxInInfo) Source #

Find the input currently being validated.

Since: 3.6.0

pfindDatum :: forall (s :: S). Term s (PDatumHash :--> (PTxInfo :--> PMaybe PDatum)) Source #

Find the datum corresponding to a datum hash, if there is one.

Since: 3.1.0

pfindDatumHash :: forall (s :: S). Term s (PDatum :--> (PTxInfo :--> PMaybe PDatumHash)) Source #

Find the hash of a datum if it's part of the pending transaction's hashes.

Since: 3.1.0

pparseDatum :: forall (a :: S -> Type) (s :: S). PTryFrom PData (PAsData a) => Term s (PDatumHash :--> (PUnsortedMap PDatumHash PDatum :--> PMaybe (PAsData a))) Source #

Lookup up the datum given the datum hash.

Takes as argument the datum assoc list from a PTxInfo. Validates the datum using PTryFrom.

Example:

 pparseDatum MyType # datumHash #$ pfield "datums" # txinfo

Since: 2.1.2

pfindTxInByTxOutRef :: forall (s :: S). Term s (PTxOutRef :--> (PTxInfo :--> PMaybe PTxInInfo)) Source #

Given a UTXO reference and a transaction (PTxInfo), resolve it to one of the transaction's inputs (PTxInInfo). If no matching input exists, the result is PNothing.

NOTE

This only searches the true transaction inputs and not the referenced transaction inputs.

Since: 3.6.0

pfindContinuingOutputs :: forall (s :: S). Term s (PScriptContext :--> PBuiltinList PInteger) Source #

Find the indices of all the outputs that pay to the same script address we are currently spending from, if any.

Since: 3.6.0

pgetContinuingOutputs :: forall (s :: S). Term s (PScriptContext :--> PBuiltinList (PAsData PTxOut)) Source #

Get all the outputs that pay to the same script address we are currently spending from, if any.

Since: 3.6.0

ptxSignedBy :: forall (s :: S). Term s (PTxInfo :--> (PPubKeyHash :--> PBool)) Source #

Check if a transaction was signed by the given public key.

Since: 3.6.0

ppubKeyOutputsAt :: forall (s :: S). Term s (PPubKeyHash :--> (PTxInfo :--> PBuiltinList (PAsData PLedgerValue))) Source #

Get the Values paid to a public key address by a pending transaction.

Since: 3.6.0

pvaluePaidTo :: forall (s :: S). Term s (PTxInfo :--> (PPubKeyHash :--> PLedgerValue)) Source #

Get the total value paid to a public key address by a pending transaction.

Since: 3.6.0

pvalueSpent :: forall (s :: S). Term s (PTxInfo :--> PLedgerValue) Source #

pvalueProduced :: forall (s :: S). Term s (PTxInfo :--> PLedgerValue) Source #

pownCurrencySymbol :: forall (s :: S). Term s (PScriptContext :--> PMaybe PCurrencySymbol) Source #

Get the PCurrencySymbol of the current minting policy script.

Since: 3.6.0

pspendsOutput :: forall (s :: S). Term s (PTxInfo :--> (PTxId :--> (PInteger :--> PBool))) Source #

Check if the pending transaction spends a specific transaction output (identified by the hash of a transaction and an index into that transactions' outputs)

Since: 3.6.0