Safe Haskell	None
Language	Haskell2010

Plutus.Script.Utils.V1.Typed.Scripts

Synopsis

mkForwardingMintingPolicy :: ValidatorHash -> MintingPolicy
mkForwardingStakeValidator :: ValidatorHash -> StakeValidator
module Plutus.Script.Utils.V1.Typed.Scripts.Validators
data Validator
data MintingPolicy
data StakeValidator
data TypedScriptTxOut a
data TypedScriptTxOutRef a
makeTypedScriptTxOut :: forall out. (ToData (DatumType out), FromData (DatumType out)) => TypedValidator out -> DatumType out -> Value -> TypedScriptTxOut out
typeScriptTxOut :: forall out m. (FromData (DatumType out), ToData (DatumType out), MonadError ConnectionError m) => TypedValidator out -> TxOutRef -> TxOut -> Datum -> m (TypedScriptTxOut out)
typeScriptTxOutRef :: forall out m. (FromData (DatumType out), ToData (DatumType out), MonadError ConnectionError m) => TypedValidator out -> TxOutRef -> TxOut -> Datum -> m (TypedScriptTxOutRef out)

Documentation

mkForwardingMintingPolicy :: ValidatorHash -> MintingPolicy Source #

A minting policy that checks whether the validator script was run in the minting transaction.

mkForwardingStakeValidator :: ValidatorHash -> StakeValidator Source #

A stake validator that checks whether the validator script was run in the right transaction.

module Plutus.Script.Utils.V1.Typed.Scripts.Validators

data Validator #

Instances

Instances details

Eq Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: Validator -> Validator -> Bool Source # (/=) :: Validator -> Validator -> Bool Source #
Ord Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: Validator -> Validator -> Ordering Source # (<) :: Validator -> Validator -> Bool Source # (<=) :: Validator -> Validator -> Bool Source # (>) :: Validator -> Validator -> Bool Source # (>=) :: Validator -> Validator -> Bool Source # max :: Validator -> Validator -> Validator Source # min :: Validator -> Validator -> Validator Source #
Show Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> Validator -> ShowS Source # show :: Validator -> String Source # showList :: [Validator] -> ShowS Source #
Generic Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep Validator :: Type -> Type Source # Methods from :: Validator -> Rep Validator x Source # to :: Rep Validator x -> Validator Source #
NFData Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: Validator -> () Source #
Serialise Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods encode :: Validator -> Encoding decode :: Decoder s Validator encodeList :: [Validator] -> Encoding decodeList :: Decoder s [Validator]
Pretty Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: Validator -> Doc ann prettyList :: [Validator] -> Doc ann
type Rep Validator
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep Validator = D1 ('MetaData "Validator" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "Validator" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

data MintingPolicy #

Instances

Instances details

Eq MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: MintingPolicy -> MintingPolicy -> Bool Source # (/=) :: MintingPolicy -> MintingPolicy -> Bool Source #
Ord MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: MintingPolicy -> MintingPolicy -> Ordering Source # (<) :: MintingPolicy -> MintingPolicy -> Bool Source # (<=) :: MintingPolicy -> MintingPolicy -> Bool Source # (>) :: MintingPolicy -> MintingPolicy -> Bool Source # (>=) :: MintingPolicy -> MintingPolicy -> Bool Source # max :: MintingPolicy -> MintingPolicy -> MintingPolicy Source # min :: MintingPolicy -> MintingPolicy -> MintingPolicy Source #
Show MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> MintingPolicy -> ShowS Source # show :: MintingPolicy -> String Source # showList :: [MintingPolicy] -> ShowS Source #
Generic MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep MintingPolicy :: Type -> Type Source # Methods from :: MintingPolicy -> Rep MintingPolicy x Source # to :: Rep MintingPolicy x -> MintingPolicy Source #
NFData MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: MintingPolicy -> () Source #
Serialise MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods encode :: MintingPolicy -> Encoding decode :: Decoder s MintingPolicy encodeList :: [MintingPolicy] -> Encoding decodeList :: Decoder s [MintingPolicy]
Pretty MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: MintingPolicy -> Doc ann prettyList :: [MintingPolicy] -> Doc ann
type Rep MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep MintingPolicy = D1 ('MetaData "MintingPolicy" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "MintingPolicy" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMintingPolicy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

data StakeValidator #

Instances

Instances details

Eq StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: StakeValidator -> StakeValidator -> Bool Source # (/=) :: StakeValidator -> StakeValidator -> Bool Source #
Ord StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: StakeValidator -> StakeValidator -> Ordering Source # (<) :: StakeValidator -> StakeValidator -> Bool Source # (<=) :: StakeValidator -> StakeValidator -> Bool Source # (>) :: StakeValidator -> StakeValidator -> Bool Source # (>=) :: StakeValidator -> StakeValidator -> Bool Source # max :: StakeValidator -> StakeValidator -> StakeValidator Source # min :: StakeValidator -> StakeValidator -> StakeValidator Source #
Show StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> StakeValidator -> ShowS Source # show :: StakeValidator -> String Source # showList :: [StakeValidator] -> ShowS Source #
Generic StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep StakeValidator :: Type -> Type Source # Methods from :: StakeValidator -> Rep StakeValidator x Source # to :: Rep StakeValidator x -> StakeValidator Source #
NFData StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: StakeValidator -> () Source #
Serialise StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods encode :: StakeValidator -> Encoding decode :: Decoder s StakeValidator encodeList :: [StakeValidator] -> Encoding decodeList :: Decoder s [StakeValidator]
Pretty StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: StakeValidator -> Doc ann prettyList :: [StakeValidator] -> Doc ann
type Rep StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep StakeValidator = D1 ('MetaData "StakeValidator" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "StakeValidator" 'PrefixI 'True) (S1 ('MetaSel ('Just "getStakeValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

data TypedScriptTxOut a Source #

A TxOut tagged by a phantom type: and the connection type of the output.

Instances

Instances details

Eq (DatumType a) => Eq (TypedScriptTxOut a) Source #
Instance details Defined in Plutus.Script.Utils.V1.Typed.Scripts Methods (==) :: TypedScriptTxOut a -> TypedScriptTxOut a -> Bool Source # (/=) :: TypedScriptTxOut a -> TypedScriptTxOut a -> Bool Source #

data TypedScriptTxOutRef a Source #

A TxOutRef tagged by a phantom type: and the connection type of the output.

Instances

Instances details

Eq (DatumType a) => Eq (TypedScriptTxOutRef a) Source #
Instance details Defined in Plutus.Script.Utils.V1.Typed.Scripts Methods (==) :: TypedScriptTxOutRef a -> TypedScriptTxOutRef a -> Bool Source # (/=) :: TypedScriptTxOutRef a -> TypedScriptTxOutRef a -> Bool Source #

makeTypedScriptTxOut :: forall out. (ToData (DatumType out), FromData (DatumType out)) => TypedValidator out -> DatumType out -> Value -> TypedScriptTxOut out Source #

Create a TypedScriptTxOut from a correctly-typed data script, an address, and a value.

typeScriptTxOut :: forall out m. (FromData (DatumType out), ToData (DatumType out), MonadError ConnectionError m) => TypedValidator out -> TxOutRef -> TxOut -> Datum -> m (TypedScriptTxOut out) Source #

Create a TypedScriptTxOut from an existing TxOut by checking the types of its parts.

typeScriptTxOutRef :: forall out m. (FromData (DatumType out), ToData (DatumType out), MonadError ConnectionError m) => TypedValidator out -> TxOutRef -> TxOut -> Datum -> m (TypedScriptTxOutRef out) Source #

Create a TypedScriptTxOut from an existing TxOut by checking the types of its parts.