Safe Haskell	None
Language	Haskell2010

PlutusLedgerApi.V1.Scripts

Description

Functions for working with scripts on the ledger.

Synopsis

data ScriptError
- = EvaluationError ![Text] !String
- | EvaluationException !String !String
newtype Redeemer = Redeemer {
- getRedeemer :: BuiltinData
}
newtype Datum = Datum {
- getDatum :: BuiltinData
}
newtype Context = Context BuiltinData
newtype DatumHash = DatumHash BuiltinByteString
newtype RedeemerHash = RedeemerHash BuiltinByteString
newtype ScriptHash = ScriptHash {
- getScriptHash :: BuiltinByteString
}

Documentation

data ScriptError Source #

A higher-level evaluation error.

Constructors

EvaluationError ![Text] !String	Expected behavior of the engine (e.g. user-provided error)
EvaluationException !String !String	Unexpected behavior of the engine (a bug)

Instances

Instances details

Generic ScriptError Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Associated Types

type Rep ScriptError

Instance details

Defined in PlutusLedgerApi.V1.Scripts

type Rep ScriptError = D1 ('MetaData "ScriptError" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "EvaluationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "EvaluationException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))

Methods

from :: ScriptError -> Rep ScriptError x Source #

to :: Rep ScriptError x -> ScriptError Source #

Show ScriptError Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

show :: ScriptError -> String Source #

showList :: [ScriptError] -> ShowS Source #

NFData ScriptError Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

rnf :: ScriptError -> () Source #

Eq ScriptError Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

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

HasBlueprintDefinition ScriptError Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Associated Types

type Unroll ScriptError
Instance details Defined in PlutusLedgerApi.V1.Scripts type Unroll ScriptError = Insert ScriptError (GUnroll (IfStuckRep (RepIsStuckError ScriptError :: Type -> Type) (Rep ScriptError)))

Methods

definitionId :: DefinitionId

type Rep ScriptError Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

type Rep ScriptError = D1 ('MetaData "ScriptError" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "EvaluationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "EvaluationException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))

type Unroll ScriptError Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

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

newtype Redeemer Source #

Redeemer is a wrapper around Data values that are used as redeemers in transaction inputs.

Constructors

Redeemer
Fields getRedeemer :: BuiltinData

Instances

Instances details

Generic Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Associated Types

type Rep Redeemer
Instance details Defined in PlutusLedgerApi.V1.Scripts type Rep Redeemer = D1 ('MetaData "Redeemer" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "Redeemer" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRedeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

Methods

from :: Redeemer -> Rep Redeemer x Source #

to :: Rep Redeemer x -> Redeemer Source #

Show Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

show :: Redeemer -> String Source #

showList :: [Redeemer] -> ShowS Source #

NFData Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

rnf :: Redeemer -> () Source #

Eq Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

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

Ord Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

compare :: Redeemer -> Redeemer -> Ordering Source #

(<) :: Redeemer -> Redeemer -> Bool Source #

(<=) :: Redeemer -> Redeemer -> Bool Source #

(>) :: Redeemer -> Redeemer -> Bool Source #

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

max :: Redeemer -> Redeemer -> Redeemer Source #

min :: Redeemer -> Redeemer -> Redeemer Source #

HasBlueprintDefinition Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Associated Types

type Unroll Redeemer
Instance details Defined in PlutusLedgerApi.V1.Scripts type Unroll Redeemer = Insert Redeemer (GUnroll (IfStuckRep (RepIsStuckError Redeemer :: Type -> Type) (Rep Redeemer)))

Methods

definitionId :: DefinitionId

Eq Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

(==) :: Redeemer -> Redeemer -> Bool

FromData Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe Redeemer #

ToData Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: Redeemer -> BuiltinData #

UnsafeFromData Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> Redeemer #

Show Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

showsPrec :: Integer -> Redeemer -> ShowS

show :: Redeemer -> BuiltinString

Pretty Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: Redeemer -> Doc ann

prettyList :: [Redeemer] -> Doc ann

Serialise Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

encode :: Redeemer -> Encoding

decode :: Decoder s Redeemer

encodeList :: [Redeemer] -> Encoding

decodeList :: Decoder s [Redeemer]

HasBlueprintSchema Redeemer referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

schema :: Schema referencedTypes

Lift DefaultUni Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

lift :: Redeemer -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

typeRep :: Proxy Redeemer -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

type Rep Redeemer = D1 ('MetaData "Redeemer" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "Redeemer" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRedeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

type Unroll Redeemer Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

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

newtype Datum Source #

Datum is a wrapper around Data values which are used as data in transaction outputs.

Constructors

Datum
Fields getDatum :: BuiltinData

Instances

Instances details

Generic Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Associated Types

type Rep Datum
Instance details Defined in PlutusLedgerApi.V1.Scripts type Rep Datum = D1 ('MetaData "Datum" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "Datum" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

Methods

from :: Datum -> Rep Datum x Source #

to :: Rep Datum x -> Datum Source #

Show Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

show :: Datum -> String Source #

showList :: [Datum] -> ShowS Source #

NFData Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

rnf :: Datum -> () Source #

Eq Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

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

Ord Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

compare :: Datum -> Datum -> Ordering Source #

(<) :: Datum -> Datum -> Bool Source #

(<=) :: Datum -> Datum -> Bool Source #

(>) :: Datum -> Datum -> Bool Source #

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

max :: Datum -> Datum -> Datum Source #

min :: Datum -> Datum -> Datum Source #

HasBlueprintDefinition Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Associated Types

type Unroll Datum
Instance details Defined in PlutusLedgerApi.V1.Scripts type Unroll Datum = Insert Datum (GUnroll (IfStuckRep (RepIsStuckError Datum :: Type -> Type) (Rep Datum)))

Methods

definitionId :: DefinitionId

Eq Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

(==) :: Datum -> Datum -> Bool

FromData Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe Datum #

ToData Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: Datum -> BuiltinData #

UnsafeFromData Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> Datum #

Show Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

showsPrec :: Integer -> Datum -> ShowS

show :: Datum -> BuiltinString

Pretty Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: Datum -> Doc ann

prettyList :: [Datum] -> Doc ann

Serialise Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

encode :: Datum -> Encoding

decode :: Decoder s Datum

encodeList :: [Datum] -> Encoding

decodeList :: Decoder s [Datum]

HasBlueprintSchema Datum referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

schema :: Schema referencedTypes

Lift DefaultUni Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

lift :: Datum -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

typeRep :: Proxy Datum -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

type Rep Datum = D1 ('MetaData "Datum" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "Datum" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

type Unroll Datum Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

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

newtype Context Source #

Information about the state of the blockchain and about the transaction that is currently being validated, represented as a value in Data.

Constructors

Context BuiltinData

Instances

Instances details

Show Context Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods showsPrec :: Int -> Context -> ShowS Source # show :: Context -> String Source # showList :: [Context] -> ShowS Source #
Pretty Context Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty :: Context -> Doc ann prettyList :: [Context] -> Doc ann

newtype DatumHash Source #

Type representing the BLAKE2b-256 hash of a datum. 32 bytes.

This is a simple type without any validation, use with caution. You may want to add checks for its invariants. See the Shelley ledger specification.

Constructors

DatumHash BuiltinByteString

Instances

Instances details

IsString DatumHash Source #

from hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromString :: String -> DatumHash Source #

Generic DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Associated Types

type Rep DatumHash
Instance details Defined in PlutusLedgerApi.V1.Scripts type Rep DatumHash = D1 ('MetaData "DatumHash" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "DatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

Methods

from :: DatumHash -> Rep DatumHash x Source #

to :: Rep DatumHash x -> DatumHash Source #

Show DatumHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

show :: DatumHash -> String Source #

showList :: [DatumHash] -> ShowS Source #

NFData DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

rnf :: DatumHash -> () Source #

Eq DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

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

Ord DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

compare :: DatumHash -> DatumHash -> Ordering Source #

(<) :: DatumHash -> DatumHash -> Bool Source #

(<=) :: DatumHash -> DatumHash -> Bool Source #

(>) :: DatumHash -> DatumHash -> Bool Source #

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

max :: DatumHash -> DatumHash -> DatumHash Source #

min :: DatumHash -> DatumHash -> DatumHash Source #

HasBlueprintDefinition DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Associated Types

type Unroll DatumHash
Instance details Defined in PlutusLedgerApi.V1.Scripts type Unroll DatumHash = Insert DatumHash (GUnroll (IfStuckRep (RepIsStuckError DatumHash :: Type -> Type) (Rep DatumHash)))

Methods

definitionId :: DefinitionId

Eq DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

(==) :: DatumHash -> DatumHash -> Bool

FromData DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe DatumHash #

ToData DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: DatumHash -> BuiltinData #

UnsafeFromData DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> DatumHash #

Ord DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

compare :: DatumHash -> DatumHash -> Ordering

(<) :: DatumHash -> DatumHash -> Bool

(<=) :: DatumHash -> DatumHash -> Bool

(>) :: DatumHash -> DatumHash -> Bool

(>=) :: DatumHash -> DatumHash -> Bool

max :: DatumHash -> DatumHash -> DatumHash

min :: DatumHash -> DatumHash -> DatumHash

Show DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

showsPrec :: Integer -> DatumHash -> ShowS

show :: DatumHash -> BuiltinString

Pretty DatumHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: DatumHash -> Doc ann

prettyList :: [DatumHash] -> Doc ann

HasBlueprintSchema DatumHash referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

schema :: Schema referencedTypes

Lift DefaultUni DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

lift :: DatumHash -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

typeRep :: Proxy DatumHash -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

type Rep DatumHash = D1 ('MetaData "DatumHash" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "DatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

type Unroll DatumHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

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

newtype RedeemerHash Source #

Type representing the BLAKE2b-256 hash of a redeemer. 32 bytes.

This is a simple type without any validation, use with caution. You may want to add checks for its invariants. See the Shelley ledger specification.

Constructors

RedeemerHash BuiltinByteString

Instances

Instances details

IsString RedeemerHash Source #

from hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromString :: String -> RedeemerHash Source #

Generic RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Associated Types

type Rep RedeemerHash
Instance details Defined in PlutusLedgerApi.V1.Scripts type Rep RedeemerHash = D1 ('MetaData "RedeemerHash" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "RedeemerHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

Methods

from :: RedeemerHash -> Rep RedeemerHash x Source #

to :: Rep RedeemerHash x -> RedeemerHash Source #

Show RedeemerHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

show :: RedeemerHash -> String Source #

showList :: [RedeemerHash] -> ShowS Source #

NFData RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

rnf :: RedeemerHash -> () Source #

Eq RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

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

Ord RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

compare :: RedeemerHash -> RedeemerHash -> Ordering Source #

(<) :: RedeemerHash -> RedeemerHash -> Bool Source #

(<=) :: RedeemerHash -> RedeemerHash -> Bool Source #

(>) :: RedeemerHash -> RedeemerHash -> Bool Source #

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

max :: RedeemerHash -> RedeemerHash -> RedeemerHash Source #

min :: RedeemerHash -> RedeemerHash -> RedeemerHash Source #

HasBlueprintDefinition RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Associated Types

type Unroll RedeemerHash
Instance details Defined in PlutusLedgerApi.V1.Scripts type Unroll RedeemerHash = Insert RedeemerHash (GUnroll (IfStuckRep (RepIsStuckError RedeemerHash :: Type -> Type) (Rep RedeemerHash)))

Methods

definitionId :: DefinitionId

Eq RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

(==) :: RedeemerHash -> RedeemerHash -> Bool

FromData RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe RedeemerHash #

ToData RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: RedeemerHash -> BuiltinData #

UnsafeFromData RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> RedeemerHash #

Ord RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

compare :: RedeemerHash -> RedeemerHash -> Ordering

(<) :: RedeemerHash -> RedeemerHash -> Bool

(<=) :: RedeemerHash -> RedeemerHash -> Bool

(>) :: RedeemerHash -> RedeemerHash -> Bool

(>=) :: RedeemerHash -> RedeemerHash -> Bool

max :: RedeemerHash -> RedeemerHash -> RedeemerHash

min :: RedeemerHash -> RedeemerHash -> RedeemerHash

Show RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

showsPrec :: Integer -> RedeemerHash -> ShowS

show :: RedeemerHash -> BuiltinString

Pretty RedeemerHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: RedeemerHash -> Doc ann

prettyList :: [RedeemerHash] -> Doc ann

HasBlueprintSchema RedeemerHash referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

schema :: Schema referencedTypes

Lift DefaultUni RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

lift :: RedeemerHash -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

typeRep :: Proxy RedeemerHash -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

type Rep RedeemerHash = D1 ('MetaData "RedeemerHash" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "RedeemerHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

type Unroll RedeemerHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

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

newtype ScriptHash Source #

Type representing the BLAKE2b-224 hash of a script. 28 bytes.

This is a simple type without any validation, use with caution. You may want to add checks for its invariants. See the Shelley ledger specification.

Constructors

ScriptHash
Fields getScriptHash :: BuiltinByteString

Instances

Instances details

IsString ScriptHash Source #

from hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromString :: String -> ScriptHash Source #

Generic ScriptHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Associated Types

type Rep ScriptHash
Instance details Defined in PlutusLedgerApi.V1.Scripts type Rep ScriptHash = D1 ('MetaData "ScriptHash" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "getScriptHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

Methods

from :: ScriptHash -> Rep ScriptHash x Source #

to :: Rep ScriptHash x -> ScriptHash Source #

Show ScriptHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

show :: ScriptHash -> String Source #

showList :: [ScriptHash] -> ShowS Source #

NFData ScriptHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

rnf :: ScriptHash -> () Source #

Eq ScriptHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

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

Ord ScriptHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

compare :: ScriptHash -> ScriptHash -> Ordering Source #

(<) :: ScriptHash -> ScriptHash -> Bool Source #

(<=) :: ScriptHash -> ScriptHash -> Bool Source #

(>) :: ScriptHash -> ScriptHash -> Bool Source #

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

max :: ScriptHash -> ScriptHash -> ScriptHash Source #

min :: ScriptHash -> ScriptHash -> ScriptHash Source #

HasBlueprintDefinition ScriptHash Source #

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Associated Types

type Unroll ScriptHash
Instance details Defined in PlutusLedgerApi.V1.Scripts type Unroll ScriptHash = Insert ScriptHash (GUnroll (IfStuckRep (RepIsStuckError ScriptHash :: Type -> Type) (Rep ScriptHash)))