ytxp-sdk-0.2.1: Provides off-chain and on-chain interoperability tools for YTxP pattern implementations
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.YTxP.SDK.Redeemers

Synopsis

Documentation

newtype AuthorisedScriptIndex Source #

Represents an index into a authorised reference script in a TxInReferenceInput list

Constructors

AuthorisedScriptIndex Integer 

Instances

Instances details
Arbitrary AuthorisedScriptIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

arbitrary :: Gen AuthorisedScriptIndex

shrink :: AuthorisedScriptIndex -> [AuthorisedScriptIndex]

Show AuthorisedScriptIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

showsPrec :: Int -> AuthorisedScriptIndex -> ShowS Source #

show :: AuthorisedScriptIndex -> String Source #

showList :: [AuthorisedScriptIndex] -> ShowS Source #

Eq AuthorisedScriptIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

(==) :: AuthorisedScriptIndex -> AuthorisedScriptIndex -> Bool Source #

(/=) :: AuthorisedScriptIndex -> AuthorisedScriptIndex -> Bool Source #

Wrapped AuthorisedScriptIndex 
Instance details

Defined in Cardano.YTxP.SDK.Optics

Associated Types

type Unwrapped AuthorisedScriptIndex

Methods

_Wrapped' :: Iso' AuthorisedScriptIndex (Unwrapped AuthorisedScriptIndex)

Eq AuthorisedScriptIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

(==) :: AuthorisedScriptIndex -> AuthorisedScriptIndex -> Bool

FromData AuthorisedScriptIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

fromBuiltinData :: BuiltinData -> Maybe AuthorisedScriptIndex

ToData AuthorisedScriptIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

toBuiltinData :: AuthorisedScriptIndex -> BuiltinData

UnsafeFromData AuthorisedScriptIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

unsafeFromBuiltinData :: BuiltinData -> AuthorisedScriptIndex

AuthorisedScriptIndex ~ t => Rewrapped AuthorisedScriptIndex t 
Instance details

Defined in Cardano.YTxP.SDK.Optics

type Unwrapped AuthorisedScriptIndex 
Instance details

Defined in Cardano.YTxP.SDK.Optics

type Unwrapped AuthorisedScriptIndex = Integer

data AuthorisedScriptPurpose Source #

Constructors

Minting 
Spending 
Rewarding 

Instances

Instances details
Arbitrary AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

arbitrary :: Gen AuthorisedScriptPurpose

shrink :: AuthorisedScriptPurpose -> [AuthorisedScriptPurpose]

Bounded AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

minBound :: AuthorisedScriptPurpose Source #

maxBound :: AuthorisedScriptPurpose Source #

Enum AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

succ :: AuthorisedScriptPurpose -> AuthorisedScriptPurpose Source #

pred :: AuthorisedScriptPurpose -> AuthorisedScriptPurpose Source #

toEnum :: Int -> AuthorisedScriptPurpose Source #

fromEnum :: AuthorisedScriptPurpose -> Int Source #

enumFrom :: AuthorisedScriptPurpose -> [AuthorisedScriptPurpose] Source #

enumFromThen :: AuthorisedScriptPurpose -> AuthorisedScriptPurpose -> [AuthorisedScriptPurpose] Source #

enumFromTo :: AuthorisedScriptPurpose -> AuthorisedScriptPurpose -> [AuthorisedScriptPurpose] Source #

enumFromThenTo :: AuthorisedScriptPurpose -> AuthorisedScriptPurpose -> AuthorisedScriptPurpose -> [AuthorisedScriptPurpose] Source #

Generic AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Associated Types

type Rep AuthorisedScriptPurpose :: Type -> Type Source #

Methods

from :: AuthorisedScriptPurpose -> Rep AuthorisedScriptPurpose x Source #

to :: Rep AuthorisedScriptPurpose x -> AuthorisedScriptPurpose Source #

Show AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

showsPrec :: Int -> AuthorisedScriptPurpose -> ShowS Source #

show :: AuthorisedScriptPurpose -> String Source #

showList :: [AuthorisedScriptPurpose] -> ShowS Source #

Generic AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Associated Types

type Code AuthorisedScriptPurpose :: [[Type]]

Methods

from :: AuthorisedScriptPurpose -> Rep AuthorisedScriptPurpose

to :: Rep AuthorisedScriptPurpose -> AuthorisedScriptPurpose

Eq AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

(==) :: AuthorisedScriptPurpose -> AuthorisedScriptPurpose -> Bool Source #

(/=) :: AuthorisedScriptPurpose -> AuthorisedScriptPurpose -> Bool Source #

Eq AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

(==) :: AuthorisedScriptPurpose -> AuthorisedScriptPurpose -> Bool

FromData AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

fromBuiltinData :: BuiltinData -> Maybe AuthorisedScriptPurpose

ToData AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

toBuiltinData :: AuthorisedScriptPurpose -> BuiltinData

UnsafeFromData AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

unsafeFromBuiltinData :: BuiltinData -> AuthorisedScriptPurpose

type Rep AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

type Rep AuthorisedScriptPurpose = D1 ('MetaData "AuthorisedScriptPurpose" "Cardano.YTxP.SDK.Redeemers" "ytxp-sdk-0.2.1-2tCqFMnGsye8cuQPc6eF12" 'False) (C1 ('MetaCons "Minting" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Spending" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rewarding" 'PrefixI 'False) (U1 :: Type -> Type)))
type Code AuthorisedScriptPurpose Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

type Code AuthorisedScriptPurpose = GCode AuthorisedScriptPurpose

newtype AuthorisedScriptProofIndex Source #

Constructors

AuthorisedScriptProofIndex (AuthorisedScriptPurpose, Integer) 

Instances

Instances details
Arbitrary AuthorisedScriptProofIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

arbitrary :: Gen AuthorisedScriptProofIndex

shrink :: AuthorisedScriptProofIndex -> [AuthorisedScriptProofIndex]

Show AuthorisedScriptProofIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

showsPrec :: Int -> AuthorisedScriptProofIndex -> ShowS Source #

show :: AuthorisedScriptProofIndex -> String Source #

showList :: [AuthorisedScriptProofIndex] -> ShowS Source #

Eq AuthorisedScriptProofIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

(==) :: AuthorisedScriptProofIndex -> AuthorisedScriptProofIndex -> Bool Source #

(/=) :: AuthorisedScriptProofIndex -> AuthorisedScriptProofIndex -> Bool Source #

Wrapped AuthorisedScriptProofIndex 
Instance details

Defined in Cardano.YTxP.SDK.Optics

Associated Types

type Unwrapped AuthorisedScriptProofIndex

Methods

_Wrapped' :: Iso' AuthorisedScriptProofIndex (Unwrapped AuthorisedScriptProofIndex)

Eq AuthorisedScriptProofIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

(==) :: AuthorisedScriptProofIndex -> AuthorisedScriptProofIndex -> Bool

FromData AuthorisedScriptProofIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

fromBuiltinData :: BuiltinData -> Maybe AuthorisedScriptProofIndex

ToData AuthorisedScriptProofIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

toBuiltinData :: AuthorisedScriptProofIndex -> BuiltinData

UnsafeFromData AuthorisedScriptProofIndex Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

unsafeFromBuiltinData :: BuiltinData -> AuthorisedScriptProofIndex

AuthorisedScriptProofIndex ~ t => Rewrapped AuthorisedScriptProofIndex t 
Instance details

Defined in Cardano.YTxP.SDK.Optics

type Unwrapped AuthorisedScriptProofIndex 
Instance details

Defined in Cardano.YTxP.SDK.Optics

type Unwrapped AuthorisedScriptProofIndex = (AuthorisedScriptPurpose, Integer)

data YieldingRedeemer Source #

The redeemer passed to the yielding minting policy, validator, and staking validators

Constructors

YieldingRedeemer 

Fields

Instances

Instances details
Arbitrary YieldingRedeemer Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

arbitrary :: Gen YieldingRedeemer

shrink :: YieldingRedeemer -> [YieldingRedeemer]

Generic YieldingRedeemer Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Associated Types

type Rep YieldingRedeemer :: Type -> Type Source #

Methods

from :: YieldingRedeemer -> Rep YieldingRedeemer x Source #

to :: Rep YieldingRedeemer x -> YieldingRedeemer Source #

Show YieldingRedeemer Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

showsPrec :: Int -> YieldingRedeemer -> ShowS Source #

show :: YieldingRedeemer -> String Source #

showList :: [YieldingRedeemer] -> ShowS Source #

Eq YieldingRedeemer Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

(==) :: YieldingRedeemer -> YieldingRedeemer -> Bool Source #

(/=) :: YieldingRedeemer -> YieldingRedeemer -> Bool Source #

HasBlueprintDefinition YieldingRedeemer Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Associated Types

type Unroll YieldingRedeemer :: [Type]

Methods

definitionId :: DefinitionId

Eq YieldingRedeemer Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

(==) :: YieldingRedeemer -> YieldingRedeemer -> Bool

FromData YieldingRedeemer Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

fromBuiltinData :: BuiltinData -> Maybe YieldingRedeemer

ToData YieldingRedeemer Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

toBuiltinData :: YieldingRedeemer -> BuiltinData

UnsafeFromData YieldingRedeemer Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

Methods

unsafeFromBuiltinData :: BuiltinData -> YieldingRedeemer

HasYieldingRedeemer YieldingRedeemer Source # 
Instance details

Defined in Cardano.YTxP.SDK.Optics

Methods

yieldingRedeemer :: Lens' YieldingRedeemer YieldingRedeemer Source #

authorisedScriptIndex :: Lens' YieldingRedeemer AuthorisedScriptIndex Source #

authorisedScriptProofIndex :: Lens' YieldingRedeemer AuthorisedScriptProofIndex Source #

type Rep YieldingRedeemer Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

type Rep YieldingRedeemer = D1 ('MetaData "YieldingRedeemer" "Cardano.YTxP.SDK.Redeemers" "ytxp-sdk-0.2.1-2tCqFMnGsye8cuQPc6eF12" 'False) (C1 ('MetaCons "YieldingRedeemer" 'PrefixI 'True) (S1 ('MetaSel ('Just "authorisedScriptIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AuthorisedScriptIndex) :*: S1 ('MetaSel ('Just "authorisedScriptProofIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AuthorisedScriptProofIndex)))
type Unroll YieldingRedeemer Source # 
Instance details

Defined in Cardano.YTxP.SDK.Redeemers

type Unroll YieldingRedeemer = Insert YieldingRedeemer (GUnroll (IfStuckRep (RepIsStuckError YieldingRedeemer :: Type -> Type) (Rep YieldingRedeemer)))