plutus-ledger-1.2.0.0: Wallet API
Safe HaskellNone
LanguageHaskell2010

Ledger

Synopsis

Documentation

data SatInt #

Instances

Instances details
Bounded SatInt 
Instance details

Defined in Data.SatInt

Enum SatInt 
Instance details

Defined in Data.SatInt

Eq SatInt 
Instance details

Defined in Data.SatInt

Integral SatInt 
Instance details

Defined in Data.SatInt

Num SatInt 
Instance details

Defined in Data.SatInt

Ord SatInt 
Instance details

Defined in Data.SatInt

Read SatInt 
Instance details

Defined in Data.SatInt

Real SatInt 
Instance details

Defined in Data.SatInt

Show SatInt 
Instance details

Defined in Data.SatInt

Generic SatInt 
Instance details

Defined in Data.SatInt

Associated Types

type Rep SatInt :: Type -> Type Source #

Bits SatInt 
Instance details

Defined in Data.SatInt

FiniteBits SatInt 
Instance details

Defined in Data.SatInt

NFData SatInt 
Instance details

Defined in Data.SatInt

Methods

rnf :: SatInt -> () Source #

Prim SatInt 
Instance details

Defined in Data.SatInt

FromJSON SatInt 
Instance details

Defined in Data.SatInt

Methods

parseJSON :: Value -> Parser SatInt

parseJSONList :: Value -> Parser [SatInt]

ToJSON SatInt 
Instance details

Defined in Data.SatInt

Methods

toJSON :: SatInt -> Value

toEncoding :: SatInt -> Encoding

toJSONList :: [SatInt] -> Value

toEncodingList :: [SatInt] -> Encoding

NoThunks SatInt 
Instance details

Defined in Data.SatInt

Methods

noThunks :: Context -> SatInt -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> SatInt -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy SatInt -> String

FromField SatInt 
Instance details

Defined in Data.SatInt

Methods

parseField :: Field -> Parser SatInt

ExMemoryUsage SatInt 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Lift SatInt 
Instance details

Defined in Data.SatInt

type Rep SatInt 
Instance details

Defined in Data.SatInt

type Rep SatInt = D1 ('MetaData "SatInt" "Data.SatInt" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'True) (C1 ('MetaCons "SI" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSatInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype ExMemory #

Constructors

ExMemory CostingInteger 

Instances

Instances details
Eq ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Num ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Ord ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Show ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Generic ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExMemory :: Type -> Type Source #

Semigroup ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Monoid ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NFData ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnf :: ExMemory -> () Source #

FromJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

parseJSON :: Value -> Parser ExMemory

parseJSONList :: Value -> Parser [ExMemory]

ToJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

toJSON :: ExMemory -> Value

toEncoding :: ExMemory -> Encoding

toJSONList :: [ExMemory] -> Value

toEncodingList :: [ExMemory] -> Encoding

Pretty ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExMemory -> Doc ann #

prettyList :: [ExMemory] -> Doc ann #

NoThunks ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

noThunks :: Context -> ExMemory -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ExMemory -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ExMemory -> String

ExMemoryUsage ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Lift ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

PrettyBy config ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy :: config -> ExMemory -> Doc ann

prettyListBy :: config -> [ExMemory] -> Doc ann

type Rep ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

type Rep ExMemory = D1 ('MetaData "ExMemory" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'True) (C1 ('MetaCons "ExMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

data ExBudget #

Constructors

ExBudget 

Instances

Instances details
Eq ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Show ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Generic ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Associated Types

type Rep ExBudget :: Type -> Type Source #

Semigroup ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Monoid ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

NFData ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

rnf :: ExBudget -> () Source #

FromJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

parseJSON :: Value -> Parser ExBudget

parseJSONList :: Value -> Parser [ExBudget]

ToJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

toJSON :: ExBudget -> Value

toEncoding :: ExBudget -> Encoding

toJSONList :: [ExBudget] -> Value

toEncodingList :: [ExBudget] -> Encoding

Pretty ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

pretty :: ExBudget -> Doc ann #

prettyList :: [ExBudget] -> Doc ann #

NoThunks ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

noThunks :: Context -> ExBudget -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ExBudget -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ExBudget -> String

Lift ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

PrettyBy config ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

prettyBy :: config -> ExBudget -> Doc ann

prettyListBy :: config -> [ExBudget] -> Doc ann

type Rep ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

type Rep ExBudget = D1 ('MetaData "ExBudget" "PlutusCore.Evaluation.Machine.ExBudget" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "ExBudget" 'PrefixI 'True) (S1 ('MetaSel ('Just "exBudgetCPU") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExCPU) :*: S1 ('MetaSel ('Just "exBudgetMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExMemory)))

newtype ExCPU #

Constructors

ExCPU CostingInteger 

Instances

Instances details
Eq ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

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

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

Num ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Ord ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Show ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Generic ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExCPU :: Type -> Type Source #

Methods

from :: ExCPU -> Rep ExCPU x Source #

to :: Rep ExCPU x -> ExCPU Source #

Semigroup ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Monoid ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NFData ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnf :: ExCPU -> () Source #

FromJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

parseJSON :: Value -> Parser ExCPU

parseJSONList :: Value -> Parser [ExCPU]

ToJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

toJSON :: ExCPU -> Value

toEncoding :: ExCPU -> Encoding

toJSONList :: [ExCPU] -> Value

toEncodingList :: [ExCPU] -> Encoding

Pretty ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExCPU -> Doc ann #

prettyList :: [ExCPU] -> Doc ann #

NoThunks ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

noThunks :: Context -> ExCPU -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ExCPU -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ExCPU -> String

Lift ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

PrettyBy config ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy :: config -> ExCPU -> Doc ann

prettyListBy :: config -> [ExCPU] -> Doc ann

type Rep ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

type Rep ExCPU = D1 ('MetaData "ExCPU" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

fromSymbol :: CurrencySymbol -> ValidatorHash #

ownCurrencySymbol :: ScriptContext -> CurrencySymbol #

spendsOutput :: TxInfo -> TxId -> Integer -> Bool #

valueProduced :: TxInfo -> Value #

valueSpent :: TxInfo -> Value #

data ScriptContext #

Instances

Instances details
Eq ScriptContext 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Show ScriptContext 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Generic ScriptContext 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Associated Types

type Rep ScriptContext :: Type -> Type Source #

Eq ScriptContext 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Pretty ScriptContext 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

pretty :: ScriptContext -> Doc ann #

prettyList :: [ScriptContext] -> Doc ann #

FromData ScriptContext 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptContext

ToData ScriptContext 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

toBuiltinData :: ScriptContext -> BuiltinData

UnsafeFromData ScriptContext 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptContext

IsScriptContext ScriptContext 
Instance details

Defined in Plutus.Script.Utils.Typed

Methods

mkUntypedValidator :: (UnsafeFromData d, UnsafeFromData r) => (d -> r -> ScriptContext -> Bool) -> UntypedValidator #

mkUntypedStakeValidator :: UnsafeFromData r => (r -> ScriptContext -> Bool) -> UntypedStakeValidator #

mkUntypedMintingPolicy :: UnsafeFromData r => (r -> ScriptContext -> Bool) -> UntypedMintingPolicy #

Lift DefaultUni ScriptContext 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

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

Typeable DefaultUni ScriptContext 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

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

type Rep ScriptContext 
Instance details

Defined in Plutus.V1.Ledger.Contexts

type Rep ScriptContext = D1 ('MetaData "ScriptContext" "Plutus.V1.Ledger.Contexts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "ScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "scriptContextTxInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo) :*: S1 ('MetaSel ('Just "scriptContextPurpose") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptPurpose)))

data ScriptPurpose #

Instances

Instances details
Eq ScriptPurpose 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Ord ScriptPurpose Source # 
Instance details

Defined in Ledger.Contexts.Orphans

Show ScriptPurpose 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Generic ScriptPurpose 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Associated Types

type Rep ScriptPurpose :: Type -> Type Source #

Eq ScriptPurpose 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Pretty ScriptPurpose 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

pretty :: ScriptPurpose -> Doc ann #

prettyList :: [ScriptPurpose] -> Doc ann #

FromData ScriptPurpose 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptPurpose

ToData ScriptPurpose 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

toBuiltinData :: ScriptPurpose -> BuiltinData

UnsafeFromData ScriptPurpose 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptPurpose

Lift DefaultUni ScriptPurpose 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

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

Typeable DefaultUni ScriptPurpose 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

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

type Rep ScriptPurpose 
Instance details

Defined in Plutus.V1.Ledger.Contexts

type Rep ScriptPurpose = D1 ('MetaData "ScriptPurpose" "Plutus.V1.Ledger.Contexts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) ((C1 ('MetaCons "Minting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CurrencySymbol)) :+: C1 ('MetaCons "Spending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef))) :+: (C1 ('MetaCons "Rewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential)) :+: C1 ('MetaCons "Certifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DCert))))

data TxInInfo #

Constructors

TxInInfo 

Instances

Instances details
Eq TxInInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Show TxInInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Generic TxInInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Associated Types

type Rep TxInInfo :: Type -> Type Source #

Eq TxInInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

(==) :: TxInInfo -> TxInInfo -> Bool

Pretty TxInInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

pretty :: TxInInfo -> Doc ann #

prettyList :: [TxInInfo] -> Doc ann #

FromData TxInInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInInfo

ToData TxInInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

toBuiltinData :: TxInInfo -> BuiltinData

UnsafeFromData TxInInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInInfo

Lift DefaultUni TxInInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

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

Typeable DefaultUni TxInInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

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

type Rep TxInInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

type Rep TxInInfo = D1 ('MetaData "TxInInfo" "Plutus.V1.Ledger.Contexts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "TxInInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "txInInfoOutRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef) :*: S1 ('MetaSel ('Just "txInInfoResolved") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOut)))

data TxInfo #

Instances

Instances details
Eq TxInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Show TxInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Generic TxInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Associated Types

type Rep TxInfo :: Type -> Type Source #

Eq TxInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

(==) :: TxInfo -> TxInfo -> Bool

Pretty TxInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

pretty :: TxInfo -> Doc ann #

prettyList :: [TxInfo] -> Doc ann #

FromData TxInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInfo

ToData TxInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

toBuiltinData :: TxInfo -> BuiltinData

UnsafeFromData TxInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInfo

Lift DefaultUni TxInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

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

Typeable DefaultUni TxInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

Methods

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

type Rep TxInfo 
Instance details

Defined in Plutus.V1.Ledger.Contexts

data TxOutRef #

Constructors

TxOutRef 

Fields

Instances

Instances details
Eq TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

Ord TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

Show TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

Generic TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

Associated Types

type Rep TxOutRef :: Type -> Type Source #

NFData TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

rnf :: TxOutRef -> () Source #

Serialise TxOutRef 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

encode :: TxOutRef -> Encoding

decode :: Decoder s TxOutRef

encodeList :: [TxOutRef] -> Encoding

decodeList :: Decoder s [TxOutRef]

FromJSON TxOutRef 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

parseJSON :: Value -> Parser TxOutRef

parseJSONList :: Value -> Parser [TxOutRef]

FromJSONKey TxOutRef 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

fromJSONKey :: FromJSONKeyFunction TxOutRef

fromJSONKeyList :: FromJSONKeyFunction [TxOutRef]

ToJSON TxOutRef 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

toJSON :: TxOutRef -> Value

toEncoding :: TxOutRef -> Encoding

toJSONList :: [TxOutRef] -> Value

toEncodingList :: [TxOutRef] -> Encoding

ToJSONKey TxOutRef 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

toJSONKey :: ToJSONKeyFunction TxOutRef

toJSONKeyList :: ToJSONKeyFunction [TxOutRef]

Eq TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

(==) :: TxOutRef -> TxOutRef -> Bool

Pretty TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

pretty :: TxOutRef -> Doc ann #

prettyList :: [TxOutRef] -> Doc ann #

FromData TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOutRef

ToData TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

toBuiltinData :: TxOutRef -> BuiltinData

UnsafeFromData TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOutRef

Lift DefaultUni TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

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

Typeable DefaultUni TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

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

type Rep TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

type Rep TxOutRef = D1 ('MetaData "TxOutRef" "Plutus.V1.Ledger.Tx" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "TxOutRef" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutRefId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Just "txOutRefIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

newtype POSIXTime #

Constructors

POSIXTime 

Instances

Instances details
Enum POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Eq POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Integral POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Num POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Ord POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Real POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Show POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Generic POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Associated Types

type Rep POSIXTime :: Type -> Type Source #

NFData POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

rnf :: POSIXTime -> () Source #

Serialise POSIXTime 
Instance details

Defined in Ledger.Orphans

Methods

encode :: POSIXTime -> Encoding

decode :: Decoder s POSIXTime

encodeList :: [POSIXTime] -> Encoding

decodeList :: Decoder s [POSIXTime]

Hashable POSIXTime 
Instance details

Defined in Ledger.Orphans

FromJSON POSIXTime

Custom FromJSON instance which allows to parse a JSON number to a POSIXTime value. The parsed JSON value MUST be an Integer or else the parsing fails.

Instance details

Defined in Ledger.Orphans

Methods

parseJSON :: Value -> Parser POSIXTime

parseJSONList :: Value -> Parser [POSIXTime]

ToJSON POSIXTime

Custom ToJSON instance which allows to simply convert a POSIXTime value to a JSON number.

Instance details

Defined in Ledger.Orphans

Methods

toJSON :: POSIXTime -> Value

toEncoding :: POSIXTime -> Encoding

toJSONList :: [POSIXTime] -> Value

toEncodingList :: [POSIXTime] -> Encoding

Enum POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Eq POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

(==) :: POSIXTime -> POSIXTime -> Bool

AdditiveGroup POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveMonoid POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

zero :: POSIXTime

AdditiveSemigroup POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Ord POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Pretty POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

pretty :: POSIXTime -> Doc ann #

prettyList :: [POSIXTime] -> Doc ann #

FromData POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

fromBuiltinData :: BuiltinData -> Maybe POSIXTime

ToData POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

toBuiltinData :: POSIXTime -> BuiltinData

UnsafeFromData POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

unsafeFromBuiltinData :: BuiltinData -> POSIXTime

Lift DefaultUni POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

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

Typeable DefaultUni POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

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

type Rep POSIXTime 
Instance details

Defined in Plutus.V1.Ledger.Time

type Rep POSIXTime = D1 ('MetaData "POSIXTime" "Plutus.V1.Ledger.Time" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "POSIXTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPOSIXTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

newtype PubKeyHash #

Constructors

PubKeyHash 

Fields

Instances

Instances details
Eq PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Ord PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Show PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

IsString PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Generic PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Associated Types

type Rep PubKeyHash :: Type -> Type Source #

NFData PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

rnf :: PubKeyHash -> () Source #

Serialise PubKeyHash 
Instance details

Defined in Ledger.Crypto.Orphans

Methods

encode :: PubKeyHash -> Encoding

decode :: Decoder s PubKeyHash

encodeList :: [PubKeyHash] -> Encoding

decodeList :: Decoder s [PubKeyHash]

Hashable PubKeyHash 
Instance details

Defined in Ledger.Crypto.Orphans

FromJSON PubKeyHash 
Instance details

Defined in Ledger.Crypto.Orphans

Methods

parseJSON :: Value -> Parser PubKeyHash

parseJSONList :: Value -> Parser [PubKeyHash]

FromJSONKey PubKeyHash 
Instance details

Defined in Ledger.Crypto.Orphans

Methods

fromJSONKey :: FromJSONKeyFunction PubKeyHash

fromJSONKeyList :: FromJSONKeyFunction [PubKeyHash]

ToJSON PubKeyHash 
Instance details

Defined in Ledger.Crypto.Orphans

Methods

toJSON :: PubKeyHash -> Value

toEncoding :: PubKeyHash -> Encoding

toJSONList :: [PubKeyHash] -> Value

toEncodingList :: [PubKeyHash] -> Encoding

ToJSONKey PubKeyHash 
Instance details

Defined in Ledger.Crypto.Orphans

Methods

toJSONKey :: ToJSONKeyFunction PubKeyHash

toJSONKeyList :: ToJSONKeyFunction [PubKeyHash]

Eq PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

(==) :: PubKeyHash -> PubKeyHash -> Bool

Ord PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Pretty PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

pretty :: PubKeyHash -> Doc ann #

prettyList :: [PubKeyHash] -> Doc ann #

FromData PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

fromBuiltinData :: BuiltinData -> Maybe PubKeyHash

ToData PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

toBuiltinData :: PubKeyHash -> BuiltinData

UnsafeFromData PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

unsafeFromBuiltinData :: BuiltinData -> PubKeyHash

Newtype PubKeyHash 
Instance details

Defined in Ledger.Crypto.Orphans

Associated Types

type O PubKeyHash

Lift DefaultUni PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

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

Typeable DefaultUni PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

Methods

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

type Rep PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

type Rep PubKeyHash = D1 ('MetaData "PubKeyHash" "Plutus.V1.Ledger.Crypto" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "PubKeyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPubKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))
type O PubKeyHash 
Instance details

Defined in Ledger.Crypto.Orphans

type O PubKeyHash = GO (Rep PubKeyHash)

newtype DatumHash #

Constructors

DatumHash BuiltinByteString 

Instances

Instances details
Eq DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep DatumHash :: Type -> Type Source #

NFData DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: DatumHash -> () Source #

Serialise DatumHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

encode :: DatumHash -> Encoding

decode :: Decoder s DatumHash

encodeList :: [DatumHash] -> Encoding

decodeList :: Decoder s [DatumHash]

Hashable DatumHash 
Instance details

Defined in Ledger.Scripts.Orphans

FromJSON DatumHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser DatumHash

parseJSONList :: Value -> Parser [DatumHash]

FromJSONKey DatumHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

fromJSONKey :: FromJSONKeyFunction DatumHash

fromJSONKeyList :: FromJSONKeyFunction [DatumHash]

ToJSON DatumHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSON :: DatumHash -> Value

toEncoding :: DatumHash -> Encoding

toJSONList :: [DatumHash] -> Value

toEncodingList :: [DatumHash] -> Encoding

ToJSONKey DatumHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSONKey :: ToJSONKeyFunction DatumHash

toJSONKeyList :: ToJSONKeyFunction [DatumHash]

Eq DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Ord DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Pretty DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: DatumHash -> Doc ann #

prettyList :: [DatumHash] -> Doc ann #

FromData DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe DatumHash

ToData DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

toBuiltinData :: DatumHash -> BuiltinData

UnsafeFromData DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> DatumHash

Lift DefaultUni DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep DatumHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

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

newtype Datum #

Constructors

Datum 

Fields

Instances

Instances details
Eq Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

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

Ord Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep Datum :: Type -> Type Source #

Methods

from :: Datum -> Rep Datum x Source #

to :: Rep Datum x -> Datum Source #

NFData Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: Datum -> () Source #

Serialise Datum 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

encode :: Datum -> Encoding

decode :: Decoder s Datum

encodeList :: [Datum] -> Encoding

decodeList :: Decoder s [Datum]

FromJSON Datum 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser Datum

parseJSONList :: Value -> Parser [Datum]

ToJSON Datum 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSON :: Datum -> Value

toEncoding :: Datum -> Encoding

toJSONList :: [Datum] -> Value

toEncodingList :: [Datum] -> Encoding

Eq Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Pretty Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: Datum -> Doc ann #

prettyList :: [Datum] -> Doc ann #

FromData Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe Datum

ToData Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

toBuiltinData :: Datum -> BuiltinData

UnsafeFromData Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> Datum

Lift DefaultUni Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Datum = D1 ('MetaData "Datum" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "Datum" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

data Interval a #

Constructors

Interval 

Fields

Instances

Instances details
Functor Interval 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

fmap :: (a -> b) -> Interval a -> Interval b

(Typeable DefaultUni a, Lift DefaultUni (LowerBound a), Lift DefaultUni (UpperBound a)) => Lift DefaultUni (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

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

Eq a => Eq (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(==) :: Interval a -> Interval a -> Bool Source #

(/=) :: Interval a -> Interval a -> Bool Source #

Ord a => Ord (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Show a => Show (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Generic (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Associated Types

type Rep (Interval a) :: Type -> Type Source #

Methods

from :: Interval a -> Rep (Interval a) x Source #

to :: Rep (Interval a) x -> Interval a Source #

NFData a => NFData (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

rnf :: Interval a -> () Source #

Serialise a => Serialise (Interval a) 
Instance details

Defined in Ledger.Slot

Methods

encode :: Interval a -> Encoding

decode :: Decoder s (Interval a)

encodeList :: [Interval a] -> Encoding

decodeList :: Decoder s [Interval a]

Hashable a => Hashable (Interval a) 
Instance details

Defined in Ledger.Slot

Methods

hashWithSalt :: Int -> Interval a -> Int

hash :: Interval a -> Int

FromJSON a => FromJSON (Interval a) 
Instance details

Defined in Ledger.Slot

Methods

parseJSON :: Value -> Parser (Interval a)

parseJSONList :: Value -> Parser [Interval a]

ToJSON a => ToJSON (Interval a) 
Instance details

Defined in Ledger.Slot

Methods

toJSON :: Interval a -> Value

toEncoding :: Interval a -> Encoding

toJSONList :: [Interval a] -> Value

toEncodingList :: [Interval a] -> Encoding

Eq a => Eq (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(==) :: Interval a -> Interval a -> Bool

Ord a => BoundedJoinSemiLattice (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

bottom :: Interval a

Ord a => BoundedMeetSemiLattice (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

top :: Interval a

Ord a => JoinSemiLattice (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(\/) :: Interval a -> Interval a -> Interval a

Ord a => MeetSemiLattice (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(/\) :: Interval a -> Interval a -> Interval a

Pretty a => Pretty (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

pretty :: Interval a -> Doc ann #

prettyList :: [Interval a] -> Doc ann #

FromData a => FromData (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

fromBuiltinData :: BuiltinData -> Maybe (Interval a)

ToData a => ToData (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

toBuiltinData :: Interval a -> BuiltinData

UnsafeFromData a => UnsafeFromData (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

unsafeFromBuiltinData :: BuiltinData -> Interval a

Typeable DefaultUni Interval 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

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

type Rep (Interval a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

type Rep (Interval a) = D1 ('MetaData "Interval" "Plutus.V1.Ledger.Interval" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "Interval" 'PrefixI 'True) (S1 ('MetaSel ('Just "ivFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LowerBound a)) :*: S1 ('MetaSel ('Just "ivTo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpperBound a))))

newtype ValidatorHash #

Constructors

ValidatorHash BuiltinByteString 

Instances

Instances details
Eq ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep ValidatorHash :: Type -> Type Source #

NFData ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: ValidatorHash -> () Source #

Serialise ValidatorHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

encode :: ValidatorHash -> Encoding

decode :: Decoder s ValidatorHash

encodeList :: [ValidatorHash] -> Encoding

decodeList :: Decoder s [ValidatorHash]

Hashable ValidatorHash 
Instance details

Defined in Ledger.Scripts.Orphans

FromJSON ValidatorHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser ValidatorHash

parseJSONList :: Value -> Parser [ValidatorHash]

FromJSONKey ValidatorHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

fromJSONKey :: FromJSONKeyFunction ValidatorHash

fromJSONKeyList :: FromJSONKeyFunction [ValidatorHash]

ToJSON ValidatorHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSON :: ValidatorHash -> Value

toEncoding :: ValidatorHash -> Encoding

toJSONList :: [ValidatorHash] -> Value

toEncodingList :: [ValidatorHash] -> Encoding

ToJSONKey ValidatorHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSONKey :: ToJSONKeyFunction ValidatorHash

toJSONKeyList :: ToJSONKeyFunction [ValidatorHash]

Eq ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Pretty ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: ValidatorHash -> Doc ann #

prettyList :: [ValidatorHash] -> Doc ann #

FromData ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe ValidatorHash

ToData ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

toBuiltinData :: ValidatorHash -> BuiltinData

UnsafeFromData ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> ValidatorHash

Lift DefaultUni ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep ValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep ValidatorHash = D1 ('MetaData "ValidatorHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "ValidatorHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype MintingPolicyHash #

Constructors

MintingPolicyHash BuiltinByteString 

Instances

Instances details
Eq MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep MintingPolicyHash :: Type -> Type Source #

NFData MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: MintingPolicyHash -> () Source #

Serialise MintingPolicyHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

encode :: MintingPolicyHash -> Encoding

decode :: Decoder s MintingPolicyHash

encodeList :: [MintingPolicyHash] -> Encoding

decodeList :: Decoder s [MintingPolicyHash]

Hashable MintingPolicyHash 
Instance details

Defined in Ledger.Scripts.Orphans

FromJSON MintingPolicyHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser MintingPolicyHash

parseJSONList :: Value -> Parser [MintingPolicyHash]

FromJSONKey MintingPolicyHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

fromJSONKey :: FromJSONKeyFunction MintingPolicyHash

fromJSONKeyList :: FromJSONKeyFunction [MintingPolicyHash]

ToJSON MintingPolicyHash 
Instance details

Defined in Ledger.Scripts.Orphans

ToJSONKey MintingPolicyHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSONKey :: ToJSONKeyFunction MintingPolicyHash

toJSONKeyList :: ToJSONKeyFunction [MintingPolicyHash]

Eq MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Pretty MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: MintingPolicyHash -> Doc ann #

prettyList :: [MintingPolicyHash] -> Doc ann #

FromData MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe MintingPolicyHash

ToData MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

toBuiltinData :: MintingPolicyHash -> BuiltinData

UnsafeFromData MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> MintingPolicyHash

Lift DefaultUni MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep MintingPolicyHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep MintingPolicyHash = D1 ('MetaData "MintingPolicyHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "MintingPolicyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

isPayToScriptOut :: TxOut -> Bool #

isPubKeyOut :: TxOut -> Bool #

pubKeyHashTxOut :: Value -> PubKeyHash -> TxOut #

pubKeyTxIns :: Fold (Set TxIn) TxIn #

scriptTxIns :: Fold (Set TxIn) TxIn #

data RedeemerPtr #

Instances

Instances details
Eq RedeemerPtr 
Instance details

Defined in Plutus.V1.Ledger.Tx

Ord RedeemerPtr 
Instance details

Defined in Plutus.V1.Ledger.Tx

Show RedeemerPtr 
Instance details

Defined in Plutus.V1.Ledger.Tx

Generic RedeemerPtr 
Instance details

Defined in Plutus.V1.Ledger.Tx

Associated Types

type Rep RedeemerPtr :: Type -> Type Source #

NFData RedeemerPtr 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

rnf :: RedeemerPtr -> () Source #

Serialise RedeemerPtr 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

encode :: RedeemerPtr -> Encoding

decode :: Decoder s RedeemerPtr

encodeList :: [RedeemerPtr] -> Encoding

decodeList :: Decoder s [RedeemerPtr]

FromJSON RedeemerPtr 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

parseJSON :: Value -> Parser RedeemerPtr

parseJSONList :: Value -> Parser [RedeemerPtr]

FromJSONKey RedeemerPtr 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

fromJSONKey :: FromJSONKeyFunction RedeemerPtr

fromJSONKeyList :: FromJSONKeyFunction [RedeemerPtr]

ToJSON RedeemerPtr 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

toJSON :: RedeemerPtr -> Value

toEncoding :: RedeemerPtr -> Encoding

toJSONList :: [RedeemerPtr] -> Value

toEncodingList :: [RedeemerPtr] -> Encoding

ToJSONKey RedeemerPtr 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

toJSONKey :: ToJSONKeyFunction RedeemerPtr

toJSONKeyList :: ToJSONKeyFunction [RedeemerPtr]

type Rep RedeemerPtr 
Instance details

Defined in Plutus.V1.Ledger.Tx

type Rep RedeemerPtr = D1 ('MetaData "RedeemerPtr" "Plutus.V1.Ledger.Tx" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "RedeemerPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptTag) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

data ScriptTag #

Constructors

Spend 
Mint 
Cert 
Reward 

Instances

Instances details
Eq ScriptTag 
Instance details

Defined in Plutus.V1.Ledger.Tx

Ord ScriptTag 
Instance details

Defined in Plutus.V1.Ledger.Tx

Show ScriptTag 
Instance details

Defined in Plutus.V1.Ledger.Tx

Generic ScriptTag 
Instance details

Defined in Plutus.V1.Ledger.Tx

Associated Types

type Rep ScriptTag :: Type -> Type Source #

NFData ScriptTag 
Instance details

Defined in Plutus.V1.Ledger.Tx

Methods

rnf :: ScriptTag -> () Source #

Serialise ScriptTag 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

encode :: ScriptTag -> Encoding

decode :: Decoder s ScriptTag

encodeList :: [ScriptTag] -> Encoding

decodeList :: Decoder s [ScriptTag]

FromJSON ScriptTag 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

parseJSON :: Value -> Parser ScriptTag

parseJSONList :: Value -> Parser [ScriptTag]

ToJSON ScriptTag 
Instance details

Defined in Ledger.Tx.Orphans.V1

Methods

toJSON :: ScriptTag -> Value

toEncoding :: ScriptTag -> Encoding

toJSONList :: [ScriptTag] -> Value

toEncodingList :: [ScriptTag] -> Encoding

type Rep ScriptTag 
Instance details

Defined in Plutus.V1.Ledger.Tx

type Rep ScriptTag = D1 ('MetaData "ScriptTag" "Plutus.V1.Ledger.Tx" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) ((C1 ('MetaCons "Spend" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mint" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Cert" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Reward" 'PrefixI 'False) (U1 :: Type -> Type)))

newtype Validator #

Constructors

Validator 

Fields

Instances

Instances details
Eq Validator 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord Validator 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show Validator 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic Validator 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep Validator :: Type -> Type 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]

FromJSON Validator 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser Validator

parseJSONList :: Value -> Parser [Validator]

ToJSON Validator 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSON :: Validator -> Value

toEncoding :: Validator -> Encoding

toJSONList :: [Validator] -> Value

toEncodingList :: [Validator] -> Encoding

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)))

newtype Redeemer #

Constructors

Redeemer 

Fields

Instances

Instances details
Eq Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep Redeemer :: Type -> Type Source #

NFData Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: Redeemer -> () Source #

Serialise Redeemer 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

encode :: Redeemer -> Encoding

decode :: Decoder s Redeemer

encodeList :: [Redeemer] -> Encoding

decodeList :: Decoder s [Redeemer]

FromJSON Redeemer 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser Redeemer

parseJSONList :: Value -> Parser [Redeemer]

ToJSON Redeemer 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSON :: Redeemer -> Value

toEncoding :: Redeemer -> Encoding

toJSONList :: [Redeemer] -> Value

toEncodingList :: [Redeemer] -> Encoding

Eq Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Pretty Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: Redeemer -> Doc ann #

prettyList :: [Redeemer] -> Doc ann #

FromData Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe Redeemer

ToData Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

toBuiltinData :: Redeemer -> BuiltinData

UnsafeFromData Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> Redeemer

Lift DefaultUni Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep Redeemer 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Redeemer = D1 ('MetaData "Redeemer" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "Redeemer" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRedeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

data Address #

Instances

Instances details
Eq Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Ord Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Show Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Generic Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Associated Types

type Rep Address :: Type -> Type Source #

NFData Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

rnf :: Address -> () Source #

Serialise Address 
Instance details

Defined in Ledger.Address.Orphans

Methods

encode :: Address -> Encoding

decode :: Decoder s Address

encodeList :: [Address] -> Encoding

decodeList :: Decoder s [Address]

FromJSON Address 
Instance details

Defined in Ledger.Address.Orphans

Methods

parseJSON :: Value -> Parser Address

parseJSONList :: Value -> Parser [Address]

ToJSON Address 
Instance details

Defined in Ledger.Address.Orphans

Methods

toJSON :: Address -> Value

toEncoding :: Address -> Encoding

toJSONList :: [Address] -> Value

toEncodingList :: [Address] -> Encoding

Eq Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

(==) :: Address -> Address -> Bool

Pretty Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

pretty :: Address -> Doc ann #

prettyList :: [Address] -> Doc ann #

FromData Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

fromBuiltinData :: BuiltinData -> Maybe Address

ToData Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

toBuiltinData :: Address -> BuiltinData

UnsafeFromData Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

unsafeFromBuiltinData :: BuiltinData -> Address

Lift DefaultUni Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

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

Typeable DefaultUni Address 
Instance details

Defined in Plutus.V1.Ledger.Address

Methods

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

type Rep Address 
Instance details

Defined in Plutus.V1.Ledger.Address

type Rep Address = D1 ('MetaData "Address" "Plutus.V1.Ledger.Address" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'False) (C1 ('MetaCons "Address" 'PrefixI 'True) (S1 ('MetaSel ('Just "addressCredential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('Just "addressStakingCredential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe StakingCredential))))

applyArguments :: Script -> [Data] -> Script #

evaluateScript :: MonadError ScriptError m => Script -> m (ExBudget, [Text]) #

fromCompiledCode :: CompiledCode a -> Script #

mkMintingPolicyScript :: CompiledCode (BuiltinData -> BuiltinData -> ()) -> MintingPolicy #

mkStakeValidatorScript :: CompiledCode (BuiltinData -> BuiltinData -> ()) -> StakeValidator #

mkValidatorScript :: CompiledCode (BuiltinData -> BuiltinData -> BuiltinData -> ()) -> Validator #

runScript :: MonadError ScriptError m => Context -> Validator -> Datum -> Redeemer -> m (ExBudget, [Text]) #

newtype Context #

Constructors

Context BuiltinData 

Instances

Instances details
Show Context 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON Context 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser Context

parseJSONList :: Value -> Parser [Context]

ToJSON Context 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSON :: Context -> Value

toEncoding :: Context -> Encoding

toJSONList :: [Context] -> Value

toEncodingList :: [Context] -> Encoding

Pretty Context 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: Context -> Doc ann #

prettyList :: [Context] -> Doc ann #

newtype MintingPolicy #

Constructors

MintingPolicy 

Instances

Instances details
Eq MintingPolicy 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord MintingPolicy 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show MintingPolicy 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic MintingPolicy 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep MintingPolicy :: Type -> Type 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]

FromJSON MintingPolicy 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser MintingPolicy

parseJSONList :: Value -> Parser [MintingPolicy]

ToJSON MintingPolicy 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSON :: MintingPolicy -> Value

toEncoding :: MintingPolicy -> Encoding

toJSONList :: [MintingPolicy] -> Value

toEncodingList :: [MintingPolicy] -> Encoding

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)))

newtype RedeemerHash #

Constructors

RedeemerHash BuiltinByteString 

Instances

Instances details
Eq RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep RedeemerHash :: Type -> Type Source #

NFData RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: RedeemerHash -> () Source #

Serialise RedeemerHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

encode :: RedeemerHash -> Encoding

decode :: Decoder s RedeemerHash

encodeList :: [RedeemerHash] -> Encoding

decodeList :: Decoder s [RedeemerHash]

Hashable RedeemerHash 
Instance details

Defined in Ledger.Scripts.Orphans

FromJSON RedeemerHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser RedeemerHash

parseJSONList :: Value -> Parser [RedeemerHash]

FromJSONKey RedeemerHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

fromJSONKey :: FromJSONKeyFunction RedeemerHash

fromJSONKeyList :: FromJSONKeyFunction [RedeemerHash]

ToJSON RedeemerHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSON :: RedeemerHash -> Value

toEncoding :: RedeemerHash -> Encoding

toJSONList :: [RedeemerHash] -> Value

toEncodingList :: [RedeemerHash] -> Encoding

ToJSONKey RedeemerHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSONKey :: ToJSONKeyFunction RedeemerHash

toJSONKeyList :: ToJSONKeyFunction [RedeemerHash]

Eq RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Pretty RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: RedeemerHash -> Doc ann #

prettyList :: [RedeemerHash] -> Doc ann #

FromData RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe RedeemerHash

ToData RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

toBuiltinData :: RedeemerHash -> BuiltinData

UnsafeFromData RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> RedeemerHash

Lift DefaultUni RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep RedeemerHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

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

newtype Script #

Constructors

Script 

Fields

  • unScript :: Program DeBruijn DefaultUni DefaultFun ()
     

Instances

Instances details
Eq Script 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord Script 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show Script 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic Script 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep Script :: Type -> Type Source #

NFData Script 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: Script -> () Source #

Serialise Script 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

encode :: Script -> Encoding

decode :: Decoder s Script

encodeList :: [Script] -> Encoding

decodeList :: Decoder s [Script]

FromJSON Script 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser Script

parseJSONList :: Value -> Parser [Script]

ToJSON Script 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSON :: Script -> Value

toEncoding :: Script -> Encoding

toJSONList :: [Script] -> Value

toEncodingList :: [Script] -> Encoding

type Rep Script 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Script = D1 ('MetaData "Script" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "Script" 'PrefixI 'True) (S1 ('MetaSel ('Just "unScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Program DeBruijn DefaultUni DefaultFun ()))))

data ScriptError #

Instances

Instances details
Eq ScriptError 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show ScriptError 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic ScriptError 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep ScriptError :: Type -> Type Source #

NFData ScriptError 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: ScriptError -> () Source #

FromJSON ScriptError 
Instance details

Defined in Ledger.Orphans

Methods

parseJSON :: Value -> Parser ScriptError

parseJSONList :: Value -> Parser [ScriptError]

ToJSON ScriptError 
Instance details

Defined in Ledger.Orphans

Methods

toJSON :: ScriptError -> Value

toEncoding :: ScriptError -> Encoding

toJSONList :: [ScriptError] -> Value

toEncodingList :: [ScriptError] -> Encoding

type Rep ScriptError 
Instance details

Defined in Plutus.V1.Ledger.Scripts

newtype ScriptHash #

Constructors

ScriptHash 

Fields

Instances

Instances details
Eq ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep ScriptHash :: Type -> Type Source #

NFData ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: ScriptHash -> () Source #

Serialise ScriptHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

encode :: ScriptHash -> Encoding

decode :: Decoder s ScriptHash

encodeList :: [ScriptHash] -> Encoding

decodeList :: Decoder s [ScriptHash]

Hashable ScriptHash 
Instance details

Defined in Ledger.Scripts.Orphans

FromJSON ScriptHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser ScriptHash

parseJSONList :: Value -> Parser [ScriptHash]

FromJSONKey ScriptHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

fromJSONKey :: FromJSONKeyFunction ScriptHash

fromJSONKeyList :: FromJSONKeyFunction [ScriptHash]

ToJSON ScriptHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSON :: ScriptHash -> Value

toEncoding :: ScriptHash -> Encoding

toJSONList :: [ScriptHash] -> Value

toEncodingList :: [ScriptHash] -> Encoding

ToJSONKey ScriptHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSONKey :: ToJSONKeyFunction ScriptHash

toJSONKeyList :: ToJSONKeyFunction [ScriptHash]

Eq ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Ord ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Pretty ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: ScriptHash -> Doc ann #

prettyList :: [ScriptHash] -> Doc ann #

FromData ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptHash

ToData ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

toBuiltinData :: ScriptHash -> BuiltinData

UnsafeFromData ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptHash

Lift DefaultUni ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep ScriptHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep ScriptHash = D1 ('MetaData "ScriptHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "getScriptHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype StakeValidator #

Constructors

StakeValidator 

Instances

Instances details
Eq StakeValidator 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord StakeValidator 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show StakeValidator 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic StakeValidator 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep StakeValidator :: Type -> Type 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]

FromJSON StakeValidator 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser StakeValidator

parseJSONList :: Value -> Parser [StakeValidator]

ToJSON StakeValidator 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSON :: StakeValidator -> Value

toEncoding :: StakeValidator -> Encoding

toJSONList :: [StakeValidator] -> Value

toEncodingList :: [StakeValidator] -> Encoding

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)))

newtype StakeValidatorHash #

Constructors

StakeValidatorHash BuiltinByteString 

Instances

Instances details
Eq StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep StakeValidatorHash :: Type -> Type Source #

NFData StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: StakeValidatorHash -> () Source #

Serialise StakeValidatorHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

encode :: StakeValidatorHash -> Encoding

decode :: Decoder s StakeValidatorHash

encodeList :: [StakeValidatorHash] -> Encoding

decodeList :: Decoder s [StakeValidatorHash]

Hashable StakeValidatorHash 
Instance details

Defined in Ledger.Scripts.Orphans

FromJSON StakeValidatorHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

parseJSON :: Value -> Parser StakeValidatorHash

parseJSONList :: Value -> Parser [StakeValidatorHash]

FromJSONKey StakeValidatorHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

fromJSONKey :: FromJSONKeyFunction StakeValidatorHash

fromJSONKeyList :: FromJSONKeyFunction [StakeValidatorHash]

ToJSON StakeValidatorHash 
Instance details

Defined in Ledger.Scripts.Orphans

ToJSONKey StakeValidatorHash 
Instance details

Defined in Ledger.Scripts.Orphans

Methods

toJSONKey :: ToJSONKeyFunction StakeValidatorHash

toJSONKeyList :: ToJSONKeyFunction [StakeValidatorHash]

Eq StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Pretty StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: StakeValidatorHash -> Doc ann #

prettyList :: [StakeValidatorHash] -> Doc ann #

FromData StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe StakeValidatorHash

ToData StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

toBuiltinData :: StakeValidatorHash -> BuiltinData

UnsafeFromData StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> StakeValidatorHash

Lift DefaultUni StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

Typeable DefaultUni StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

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

type Rep StakeValidatorHash 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep StakeValidatorHash = D1 ('MetaData "StakeValidatorHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "StakeValidatorHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

examplePlutusScriptAlwaysFails :: WitCtx witctx -> PlutusScript PlutusScriptV1 #

examplePlutusScriptAlwaysSucceeds :: WitCtx witctx -> PlutusScript PlutusScriptV1 #

selectAsset :: Value -> AssetId -> Quantity #

valueFromList :: [(AssetId, Quantity)] -> Value #

valueToList :: Value -> [(AssetId, Quantity)] #

data WitCtx witctx where #

Constructors

WitCtxTxIn :: WitCtx WitCtxTxIn 
WitCtxMint :: WitCtx WitCtxMint 
WitCtxStake :: WitCtx WitCtxStake 

newtype TxId #

Constructors

TxId (Hash StandardCrypto EraIndependentTxBody) 

Instances

Instances details
Eq TxId 
Instance details

Defined in Cardano.Api.TxIn

Methods

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

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

Ord TxId 
Instance details

Defined in Cardano.Api.TxIn

Show TxId 
Instance details

Defined in Cardano.Api.TxIn

IsString TxId 
Instance details

Defined in Cardano.Api.TxIn

Generic TxId Source # 
Instance details

Defined in Ledger.Tx.Orphans

Associated Types

type Rep TxId :: Type -> Type Source #

Methods

from :: TxId -> Rep TxId x Source #

to :: Rep TxId x -> TxId Source #

Serialise TxId 
Instance details

Defined in Ledger.Tx.Orphans

Methods

encode :: TxId -> Encoding

decode :: Decoder s TxId

encodeList :: [TxId] -> Encoding

decodeList :: Decoder s [TxId]

FromJSON TxId 
Instance details

Defined in Cardano.Api.TxIn

Methods

parseJSON :: Value -> Parser TxId

parseJSONList :: Value -> Parser [TxId]

FromJSONKey TxId 
Instance details

Defined in Cardano.Api.TxIn

Methods

fromJSONKey :: FromJSONKeyFunction TxId

fromJSONKeyList :: FromJSONKeyFunction [TxId]

ToJSON TxId 
Instance details

Defined in Cardano.Api.TxIn

Methods

toJSON :: TxId -> Value

toEncoding :: TxId -> Encoding

toJSONList :: [TxId] -> Value

toEncodingList :: [TxId] -> Encoding

ToJSONKey TxId 
Instance details

Defined in Cardano.Api.TxIn

Methods

toJSONKey :: ToJSONKeyFunction TxId

toJSONKeyList :: ToJSONKeyFunction [TxId]

Pretty TxId Source # 
Instance details

Defined in Ledger.Tx.Orphans

Methods

pretty :: TxId -> Doc ann #

prettyList :: [TxId] -> Doc ann #

HasTypeProxy TxId 
Instance details

Defined in Cardano.Api.TxIn

Associated Types

data AsType TxId

Methods

proxyToAsType :: Proxy TxId -> AsType TxId

SerialiseAsRawBytes TxId 
Instance details

Defined in Cardano.Api.TxIn

Methods

serialiseToRawBytes :: TxId -> ByteString

deserialiseFromRawBytes :: AsType TxId -> ByteString -> Maybe TxId

type Rep TxId Source # 
Instance details

Defined in Ledger.Tx.Orphans

type Rep TxId = D1 ('MetaData "TxId" "Cardano.Api.TxIn" "cardano-api-1.35.4-DlJBOMjUMEP4jWrRjidGIP" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash StandardCrypto EraIndependentTxBody))))
data AsType TxId 
Instance details

Defined in Cardano.Api.TxIn

data AsType TxId = AsTxId

data TxIn #

Constructors

TxIn TxId TxIx 

Instances

Instances details
Eq TxIn 
Instance details

Defined in Cardano.Api.TxIn

Methods

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

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

Ord TxIn 
Instance details

Defined in Cardano.Api.TxIn

Show TxIn 
Instance details

Defined in Cardano.Api.TxIn

Generic TxIn Source # 
Instance details

Defined in Ledger.Tx.Orphans

Associated Types

type Rep TxIn :: Type -> Type Source #

Methods

from :: TxIn -> Rep TxIn x Source #

to :: Rep TxIn x -> TxIn Source #

Serialise TxIn 
Instance details

Defined in Ledger.Tx.Orphans

Methods

encode :: TxIn -> Encoding

decode :: Decoder s TxIn

encodeList :: [TxIn] -> Encoding

decodeList :: Decoder s [TxIn]

FromJSON TxIn 
Instance details

Defined in Cardano.Api.TxIn

Methods

parseJSON :: Value -> Parser TxIn

parseJSONList :: Value -> Parser [TxIn]

FromJSONKey TxIn 
Instance details

Defined in Cardano.Api.TxIn

Methods

fromJSONKey :: FromJSONKeyFunction TxIn

fromJSONKeyList :: FromJSONKeyFunction [TxIn]

ToJSON TxIn 
Instance details

Defined in Cardano.Api.TxIn

Methods

toJSON :: TxIn -> Value

toEncoding :: TxIn -> Encoding

toJSONList :: [TxIn] -> Value

toEncodingList :: [TxIn] -> Encoding

ToJSONKey TxIn 
Instance details

Defined in Cardano.Api.TxIn

Methods

toJSONKey :: ToJSONKeyFunction TxIn

toJSONKeyList :: ToJSONKeyFunction [TxIn]

Pretty TxIn Source # 
Instance details

Defined in Ledger.Tx.Orphans

Methods

pretty :: TxIn -> Doc ann #

prettyList :: [TxIn] -> Doc ann #

type Rep TxIn Source # 
Instance details

Defined in Ledger.Tx.Orphans

type Rep TxIn = D1 ('MetaData "TxIn" "Cardano.Api.TxIn" "cardano-api-1.35.4-DlJBOMjUMEP4jWrRjidGIP" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIx)))

newtype TxIx #

Constructors

TxIx Word 

Instances

Instances details
Enum TxIx 
Instance details

Defined in Cardano.Api.TxIn

Eq TxIx 
Instance details

Defined in Cardano.Api.TxIn

Methods

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

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

Ord TxIx 
Instance details

Defined in Cardano.Api.TxIn

Show TxIx 
Instance details

Defined in Cardano.Api.TxIn

Generic TxIx Source # 
Instance details

Defined in Ledger.Tx.Orphans

Associated Types

type Rep TxIx :: Type -> Type Source #

Methods

from :: TxIx -> Rep TxIx x Source #

to :: Rep TxIx x -> TxIx Source #

Serialise TxIx 
Instance details

Defined in Ledger.Tx.Orphans

Methods

encode :: TxIx -> Encoding

decode :: Decoder s TxIx

encodeList :: [TxIx] -> Encoding

decodeList :: Decoder s [TxIx]

FromJSON TxIx 
Instance details

Defined in Cardano.Api.TxIn

Methods

parseJSON :: Value -> Parser TxIx

parseJSONList :: Value -> Parser [TxIx]

ToJSON TxIx 
Instance details

Defined in Cardano.Api.TxIn

Methods

toJSON :: TxIx -> Value

toEncoding :: TxIx -> Encoding

toJSONList :: [TxIx] -> Value

toEncodingList :: [TxIx] -> Encoding

type Rep TxIx Source # 
Instance details

Defined in Ledger.Tx.Orphans

type Rep TxIx = D1 ('MetaData "TxIx" "Cardano.Api.TxIn" "cardano-api-1.35.4-DlJBOMjUMEP4jWrRjidGIP" 'True) (C1 ('MetaCons "TxIx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))

data AssetId #

Instances

Instances details
Eq AssetId 
Instance details

Defined in Cardano.Api.Value

Ord AssetId 
Instance details

Defined in Cardano.Api.Value

Show AssetId 
Instance details

Defined in Cardano.Api.Value

Generic AssetId Source # 
Instance details

Defined in Ledger.Value.Orphans

Associated Types

type Rep AssetId :: Type -> Type Source #

Serialise AssetId 
Instance details

Defined in Ledger.Value.Orphans

Methods

encode :: AssetId -> Encoding

decode :: Decoder s AssetId

encodeList :: [AssetId] -> Encoding

decodeList :: Decoder s [AssetId]

FromJSON AssetId 
Instance details

Defined in Ledger.Value.Orphans

Methods

parseJSON :: Value -> Parser AssetId

parseJSONList :: Value -> Parser [AssetId]

ToJSON AssetId 
Instance details

Defined in Ledger.Value.Orphans

Methods

toJSON :: AssetId -> Value

toEncoding :: AssetId -> Encoding

toJSONList :: [AssetId] -> Value

toEncodingList :: [AssetId] -> Encoding

Pretty AssetId Source # 
Instance details

Defined in Ledger.Value.Orphans

Methods

pretty :: AssetId -> Doc ann #

prettyList :: [AssetId] -> Doc ann #

type Rep AssetId Source # 
Instance details

Defined in Ledger.Value.Orphans

type Rep AssetId = D1 ('MetaData "AssetId" "Cardano.Api.Value" "cardano-api-1.35.4-DlJBOMjUMEP4jWrRjidGIP" 'False) (C1 ('MetaCons "AdaAssetId" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AssetId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PolicyId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AssetName)))

data AssetName #

Instances

Instances details
Eq AssetName 
Instance details

Defined in Cardano.Api.Value

Ord AssetName 
Instance details

Defined in Cardano.Api.Value

Show AssetName 
Instance details

Defined in Cardano.Api.Value

IsString AssetName 
Instance details

Defined in Cardano.Api.Value

Serialise AssetName 
Instance details

Defined in Ledger.Value.Orphans

Methods

encode :: AssetName -> Encoding

decode :: Decoder s AssetName

encodeList :: [AssetName] -> Encoding

decodeList :: Decoder s [AssetName]

FromJSON AssetName 
Instance details

Defined in Cardano.Api.Value

Methods

parseJSON :: Value -> Parser AssetName

parseJSONList :: Value -> Parser [AssetName]

FromJSONKey AssetName 
Instance details

Defined in Cardano.Api.Value

Methods

fromJSONKey :: FromJSONKeyFunction AssetName

fromJSONKeyList :: FromJSONKeyFunction [AssetName]

ToJSON AssetName 
Instance details

Defined in Cardano.Api.Value

Methods

toJSON :: AssetName -> Value

toEncoding :: AssetName -> Encoding

toJSONList :: [AssetName] -> Value

toEncodingList :: [AssetName] -> Encoding

ToJSONKey AssetName 
Instance details

Defined in Cardano.Api.Value

Methods

toJSONKey :: ToJSONKeyFunction AssetName

toJSONKeyList :: ToJSONKeyFunction [AssetName]

HasTypeProxy AssetName 
Instance details

Defined in Cardano.Api.Value

Associated Types

data AsType AssetName

SerialiseAsRawBytes AssetName 
Instance details

Defined in Cardano.Api.Value

Methods

serialiseToRawBytes :: AssetName -> ByteString

deserialiseFromRawBytes :: AsType AssetName -> ByteString -> Maybe AssetName

data AsType AssetName 
Instance details

Defined in Cardano.Api.Value

data AsType AssetName = AsAssetName

newtype Lovelace #

Constructors

Lovelace Integer 

Instances

Instances details
Enum Lovelace 
Instance details

Defined in Cardano.Api.Value

Eq Lovelace 
Instance details

Defined in Cardano.Api.Value

Integral Lovelace 
Instance details

Defined in Cardano.Api.Value

Num Lovelace 
Instance details

Defined in Cardano.Api.Value

Ord Lovelace 
Instance details

Defined in Cardano.Api.Value

Real Lovelace 
Instance details

Defined in Cardano.Api.Value

Show Lovelace 
Instance details

Defined in Cardano.Api.Value

Generic Lovelace Source # 
Instance details

Defined in Ledger.Orphans

Associated Types

type Rep Lovelace :: Type -> Type Source #

Semigroup Lovelace 
Instance details

Defined in Cardano.Api.Value

Monoid Lovelace 
Instance details

Defined in Cardano.Api.Value

Serialise Lovelace 
Instance details

Defined in Ledger.Value.Orphans

Methods

encode :: Lovelace -> Encoding

decode :: Decoder s Lovelace

encodeList :: [Lovelace] -> Encoding

decodeList :: Decoder s [Lovelace]

FromJSON Lovelace 
Instance details

Defined in Cardano.Api.Value

Methods

parseJSON :: Value -> Parser Lovelace

parseJSONList :: Value -> Parser [Lovelace]

ToJSON Lovelace 
Instance details

Defined in Cardano.Api.Value

Methods

toJSON :: Lovelace -> Value

toEncoding :: Lovelace -> Encoding

toJSONList :: [Lovelace] -> Value

toEncodingList :: [Lovelace] -> Encoding

Pretty Lovelace Source # 
Instance details

Defined in Ledger.Value.Orphans

Methods

pretty :: Lovelace -> Doc ann #

prettyList :: [Lovelace] -> Doc ann #

FromCBOR Lovelace 
Instance details

Defined in Cardano.Api.Value

Methods

fromCBOR :: Decoder s Lovelace

label :: Proxy Lovelace -> Text

ToCBOR Lovelace 
Instance details

Defined in Cardano.Api.Value

Methods

toCBOR :: Lovelace -> Encoding

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Lovelace -> Size

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Lovelace] -> Size

type Rep Lovelace Source # 
Instance details

Defined in Ledger.Orphans

type Rep Lovelace = D1 ('MetaData "Lovelace" "Cardano.Api.Value" "cardano-api-1.35.4-DlJBOMjUMEP4jWrRjidGIP" 'True) (C1 ('MetaCons "Lovelace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

data PolicyId #

Instances

Instances details
Eq PolicyId 
Instance details

Defined in Cardano.Api.Value

Ord PolicyId 
Instance details

Defined in Cardano.Api.Value

Show PolicyId 
Instance details

Defined in Cardano.Api.Value

IsString PolicyId 
Instance details

Defined in Cardano.Api.Value

Generic PolicyId Source # 
Instance details

Defined in Ledger.Orphans

Associated Types

type Rep PolicyId :: Type -> Type Source #

Serialise PolicyId 
Instance details

Defined in Ledger.Value.Orphans

Methods

encode :: PolicyId -> Encoding

decode :: Decoder s PolicyId

encodeList :: [PolicyId] -> Encoding

decodeList :: Decoder s [PolicyId]

FromJSON PolicyId 
Instance details

Defined in Cardano.Api.Value

Methods

parseJSON :: Value -> Parser PolicyId

parseJSONList :: Value -> Parser [PolicyId]

FromJSONKey PolicyId 
Instance details

Defined in Ledger.Tx.CardanoAPI.Internal

Methods

fromJSONKey :: FromJSONKeyFunction PolicyId

fromJSONKeyList :: FromJSONKeyFunction [PolicyId]

ToJSON PolicyId 
Instance details

Defined in Cardano.Api.Value

Methods

toJSON :: PolicyId -> Value

toEncoding :: PolicyId -> Encoding

toJSONList :: [PolicyId] -> Value

toEncodingList :: [PolicyId] -> Encoding

ToJSONKey PolicyId 
Instance details

Defined in Ledger.Tx.CardanoAPI.Internal

Methods

toJSONKey :: ToJSONKeyFunction PolicyId

toJSONKeyList :: ToJSONKeyFunction [PolicyId]

HasTypeProxy PolicyId 
Instance details

Defined in Cardano.Api.Value

Associated Types

data AsType PolicyId

Methods

proxyToAsType :: Proxy PolicyId -> AsType PolicyId

SerialiseAsRawBytes PolicyId 
Instance details

Defined in Cardano.Api.Value

Methods

serialiseToRawBytes :: PolicyId -> ByteString

deserialiseFromRawBytes :: AsType PolicyId -> ByteString -> Maybe PolicyId

type Rep PolicyId Source # 
Instance details

Defined in Ledger.Orphans

type Rep PolicyId = D1 ('MetaData "PolicyId" "Cardano.Api.Value" "cardano-api-1.35.4-DlJBOMjUMEP4jWrRjidGIP" 'True) (C1 ('MetaCons "PolicyId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPolicyId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash)))
data AsType PolicyId 
Instance details

Defined in Cardano.Api.Value

data AsType PolicyId = AsPolicyId

data Value #

Instances

Instances details
Eq Value 
Instance details

Defined in Cardano.Api.Value

Methods

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

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

Show Value 
Instance details

Defined in Cardano.Api.Value

Semigroup Value 
Instance details

Defined in Cardano.Api.Value

Monoid Value 
Instance details

Defined in Cardano.Api.Value

Serialise Value 
Instance details

Defined in Ledger.Value.Orphans

Methods

encode :: Value -> Encoding

decode :: Decoder s Value

encodeList :: [Value] -> Encoding

decodeList :: Decoder s [Value]

FromJSON Value 
Instance details

Defined in Cardano.Api.Value

Methods

parseJSON :: Value0 -> Parser Value

parseJSONList :: Value0 -> Parser [Value]

ToJSON Value 
Instance details

Defined in Cardano.Api.Value

Methods

toJSON :: Value -> Value0

toEncoding :: Value -> Encoding

toJSONList :: [Value] -> Value0

toEncodingList :: [Value] -> Encoding

JoinSemiLattice Value 
Instance details

Defined in Ledger.Value.CardanoAPI

Methods

(\/) :: Value -> Value -> Value

Pretty Value Source # 
Instance details

Defined in Ledger.Value.Orphans

Methods

pretty :: Value -> Doc ann #

prettyList :: [Value] -> Doc ann #

dataHash :: BuiltinData -> BuiltinByteString #

data Language #

Constructors

PlutusV1 
PlutusV2 

Instances

Instances details
Bounded Language 
Instance details

Defined in Cardano.Ledger.Alonzo.Language

Enum Language 
Instance details

Defined in Cardano.Ledger.Alonzo.Language

Eq Language 
Instance details

Defined in Cardano.Ledger.Alonzo.Language

Ord Language 
Instance details

Defined in Cardano.Ledger.Alonzo.Language

Show Language 
Instance details

Defined in Cardano.Ledger.Alonzo.Language

Ix Language 
Instance details

Defined in Cardano.Ledger.Alonzo.Language

Generic Language 
Instance details

Defined in Cardano.Ledger.Alonzo.Language

Associated Types

type Rep Language :: Type -> Type Source #

NFData Language 
Instance details

Defined in Cardano.Ledger.Alonzo.Language

Methods

rnf :: Language -> () Source #

NoThunks Language 
Instance details

Defined in Cardano.Ledger.Alonzo.Language

Methods

noThunks :: Context -> Language -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> Language -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy Language -> String

FromCBOR Language 
Instance details

Defined in Cardano.Ledger.Alonzo.Language

Methods

fromCBOR :: Decoder s Language

label :: Proxy Language -> Text

ToCBOR Language 
Instance details

Defined in Cardano.Ledger.Alonzo.Language

Methods

toCBOR :: Language -> Encoding

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Language -> Size

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Language] -> Size

type Rep Language 
Instance details

Defined in Cardano.Ledger.Alonzo.Language

type Rep Language = D1 ('MetaData "Language" "Cardano.Ledger.Alonzo.Language" "cardano-ledger-alonzo-0.1.0.0-9kQ50A9XcYDHq5wCBkTOc6" 'False) (C1 ('MetaCons "PlutusV1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PlutusV2" 'PrefixI 'False) (U1 :: Type -> Type))

data Versioned script #

Constructors

Versioned 

Fields

Instances

Instances details
Functor Versioned 
Instance details

Defined in Plutus.Script.Utils.Scripts

Methods

fmap :: (a -> b) -> Versioned a -> Versioned b Source #

(<$) :: a -> Versioned b -> Versioned a Source #

Eq script => Eq (Versioned script) 
Instance details

Defined in Plutus.Script.Utils.Scripts

Methods

(==) :: Versioned script -> Versioned script -> Bool Source #

(/=) :: Versioned script -> Versioned script -> Bool Source #

Ord script => Ord (Versioned script) 
Instance details

Defined in Plutus.Script.Utils.Scripts

Methods

compare :: Versioned script -> Versioned script -> Ordering Source #

(<) :: Versioned script -> Versioned script -> Bool Source #

(<=) :: Versioned script -> Versioned script -> Bool Source #

(>) :: Versioned script -> Versioned script -> Bool Source #

(>=) :: Versioned script -> Versioned script -> Bool Source #

max :: Versioned script -> Versioned script -> Versioned script Source #

min :: Versioned script -> Versioned script -> Versioned script Source #

Show script => Show (Versioned script) 
Instance details

Defined in Plutus.Script.Utils.Scripts

Methods

showsPrec :: Int -> Versioned script -> ShowS Source #

show :: Versioned script -> String Source #

showList :: [Versioned script] -> ShowS Source #

Generic (Versioned script) 
Instance details

Defined in Plutus.Script.Utils.Scripts

Associated Types

type Rep (Versioned script) :: Type -> Type Source #

Methods

from :: Versioned script -> Rep (Versioned script) x Source #

to :: Rep (Versioned script) x -> Versioned script Source #

Serialise script => Serialise (Versioned script) 
Instance details

Defined in Plutus.Script.Utils.Scripts

Methods

encode :: Versioned script -> Encoding

decode :: Decoder s (Versioned script)

encodeList :: [Versioned script] -> Encoding

decodeList :: Decoder s [Versioned script]

FromJSON script => FromJSON (Versioned script) 
Instance details

Defined in Plutus.Script.Utils.Scripts

Methods

parseJSON :: Value -> Parser (Versioned script)

parseJSONList :: Value -> Parser [Versioned script]

ToJSON script => ToJSON (Versioned script) 
Instance details

Defined in Plutus.Script.Utils.Scripts

Methods

toJSON :: Versioned script -> Value

toEncoding :: Versioned script -> Encoding

toJSONList :: [Versioned script] -> Value

toEncodingList :: [Versioned script] -> Encoding

Pretty script => Pretty (Versioned script) 
Instance details

Defined in Plutus.Script.Utils.Scripts

Methods

pretty :: Versioned script -> Doc ann #

prettyList :: [Versioned script] -> Doc ann #

type Rep (Versioned script) 
Instance details

Defined in Plutus.Script.Utils.Scripts

type Rep (Versioned script) = D1 ('MetaData "Versioned" "Plutus.Script.Utils.Scripts" "plutus-script-utils-1.2.0.0-5TpLCy32WGLK5IaOxcwe9j" 'False) (C1 ('MetaCons "Versioned" 'PrefixI 'True) (S1 ('MetaSel ('Just "unversioned") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 script) :*: S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Language)))

to :: a -> Interval a #

from :: a -> Interval a #

after :: Ord a => a -> Interval a -> Bool #

before :: Ord a => a -> Interval a -> Bool #

contains :: Ord a => Interval a -> Interval a -> Bool #

hull :: Ord a => Interval a -> Interval a -> Interval a #

intersection :: Ord a => Interval a -> Interval a -> Interval a #

interval :: a -> a -> Interval a #

isEmpty :: (Enum a, Ord a) => Interval a -> Bool #

member :: Ord a => a -> Interval a -> Bool #

overlaps :: (Enum a, Ord a) => Interval a -> Interval a -> Bool #

singleton :: a -> Interval a #

type Closure = Bool #

data Extended a #

Constructors

NegInf 
Finite a 
PosInf 

Instances

Instances details
Functor Extended 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

fmap :: (a -> b) -> Extended a -> Extended b

(Typeable DefaultUni a, Lift DefaultUni a) => Lift DefaultUni (Extended a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

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

Eq a => Eq (Extended a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(==) :: Extended a -> Extended a -> Bool Source #

(/=) :: Extended a -> Extended a -> Bool Source #

Ord a => Ord (Extended a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Show a => Show (Extended a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Generic (Extended a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Associated Types

type Rep (Extended a) :: Type -> Type Source #

Methods

from :: Extended a -> Rep (Extended a) x Source #

to :: Rep (Extended a) x -> Extended a Source #

NFData a => NFData (Extended a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

rnf :: Extended a -> () Source #

Serialise a => Serialise (Extended a) 
Instance details

Defined in Ledger.Slot

Methods

encode :: Extended a -> Encoding

decode :: Decoder s (Extended a)

encodeList :: [Extended a] -> Encoding

decodeList :: Decoder s [Extended a]

Hashable a => Hashable (Extended a) 
Instance details

Defined in Ledger.Slot

Methods

hashWithSalt :: Int -> Extended a -> Int

hash :: Extended a -> Int

FromJSON a => FromJSON (Extended a) 
Instance details

Defined in Ledger.Slot

Methods

parseJSON :: Value -> Parser (Extended a)

parseJSONList :: Value -> Parser [Extended a]

ToJSON a => ToJSON (Extended a) 
Instance details

Defined in Ledger.Slot

Methods

toJSON :: Extended a -> Value

toEncoding :: Extended a -> Encoding

toJSONList :: [Extended a] -> Value

toEncodingList :: [Extended a] -> Encoding

Eq a => Eq (Extended a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

(==) :: Extended a -> Extended a -> Bool

Ord a => Ord (Extended a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

compare :: Extended a -> Extended a -> Ordering

(<) :: Extended a -> Extended a -> Bool

(<=) :: Extended a -> Extended a -> Bool

(>) :: Extended a -> Extended a -> Bool

(>=) :: Extended a -> Extended a -> Bool

max :: Extended a -> Extended a -> Extended a

min :: Extended a -> Extended a -> Extended a

Pretty a => Pretty (Extended a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

pretty :: Extended a -> Doc ann #

prettyList :: [Extended a] -> Doc ann #

FromData a => FromData (Extended a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

fromBuiltinData :: BuiltinData -> Maybe (Extended a)

ToData a => ToData (Extended a) 
Instance details

Defined in Plutus.V1.Ledger.Interval

Methods

toBuiltinData :: Extended a -> BuiltinData