Safe Haskell	Safe-Inferred
Language	Haskell2010

Blockfrost.Types.Cardano.Scripts

Description

Cardano Scripts responses

Synopsis

data Script = Script {
- _scriptScriptHash :: ScriptHash
- _scriptType :: ScriptType
- _scriptSerialisedSize :: Maybe Integer
}
data ScriptType
- = PlutusV1
- | PlutusV2
- | PlutusV3
- | Timelock
data ScriptRedeemer = ScriptRedeemer {
}
newtype ScriptDatum = ScriptDatum {
- _scriptDatumJsonValue :: Value
}
newtype ScriptDatumCBOR = ScriptDatumCBOR {
- _scriptDatumCborCbor :: Text
}
newtype InlineDatum = InlineDatum {
- unInlineDatum :: ScriptDatumCBOR
}
newtype ScriptJSON = ScriptJSON {
- _scriptJsonJson :: Maybe Value
}
newtype ScriptCBOR = ScriptCBOR {
- _scriptCborCbor :: Maybe Text
}

Documentation

data Script Source #

Script info

Constructors

Script
Fields _scriptScriptHash :: ScriptHash Hash of the script _scriptType :: ScriptType Type of the script language _scriptSerialisedSize :: Maybe Integer The size of the CBOR serialised script, if a Plutus script

Instances

Instances details

FromJSON Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser Script # parseJSONList :: Value -> Parser [Script] # omittedField :: Maybe Script #
ToJSON Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: Script -> Value # toEncoding :: Script -> Encoding # toJSONList :: [Script] -> Value # toEncodingList :: [Script] -> Encoding # omitField :: Script -> Bool #
Generic Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Associated Types type Rep Script :: Type -> Type # Methods from :: Script -> Rep Script x # to :: Rep Script x -> Script #
Show Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> Script -> ShowS # show :: Script -> String # showList :: [Script] -> ShowS #
Eq Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods (==) :: Script -> Script -> Bool # (/=) :: Script -> Script -> Bool #
ToSample Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toSamples :: Proxy Script -> [(Text, Script)] #
type Rep Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep Script = D1 ('MetaData "Script" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.12.1.0-7z2reK4pPCl1mszJhcPLlO" 'False) (C1 ('MetaCons "Script" 'PrefixI 'True) (S1 ('MetaSel ('Just "_scriptScriptHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash) :: (S1 ('MetaSel ('Just "_scriptType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptType) :: S1 ('MetaSel ('Just "_scriptSerialisedSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Integer)))))

data ScriptType Source #

Script type

Constructors

PlutusV1
PlutusV2
PlutusV3
Timelock

Instances

Instances details

FromJSON ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptType # parseJSONList :: Value -> Parser [ScriptType] # omittedField :: Maybe ScriptType #
ToJSON ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptType -> Value # toEncoding :: ScriptType -> Encoding # toJSONList :: [ScriptType] -> Value # toEncodingList :: [ScriptType] -> Encoding # omitField :: ScriptType -> Bool #
Generic ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Associated Types type Rep ScriptType :: Type -> Type # Methods from :: ScriptType -> Rep ScriptType x # to :: Rep ScriptType x -> ScriptType #
Show ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptType -> ShowS # show :: ScriptType -> String # showList :: [ScriptType] -> ShowS #
Eq ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods (==) :: ScriptType -> ScriptType -> Bool # (/=) :: ScriptType -> ScriptType -> Bool #
Ord ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods compare :: ScriptType -> ScriptType -> Ordering # (<) :: ScriptType -> ScriptType -> Bool # (<=) :: ScriptType -> ScriptType -> Bool # (>) :: ScriptType -> ScriptType -> Bool # (>=) :: ScriptType -> ScriptType -> Bool # max :: ScriptType -> ScriptType -> ScriptType # min :: ScriptType -> ScriptType -> ScriptType #
ToSample ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toSamples :: Proxy ScriptType -> [(Text, ScriptType)] #
type Rep ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep ScriptType = D1 ('MetaData "ScriptType" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.12.1.0-7z2reK4pPCl1mszJhcPLlO" 'False) ((C1 ('MetaCons "PlutusV1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PlutusV2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PlutusV3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Timelock" 'PrefixI 'False) (U1 :: Type -> Type)))

data ScriptRedeemer Source #

Script redeemer

Constructors

ScriptRedeemer

Fields

_scriptRedeemerTxHash :: TxHash
Hash of the transaction
_scriptRedeemerTxIndex :: Integer
Index of the redeemer within a transaction
_scriptRedeemerPurpose :: ValidationPurpose
Validation purpose
_scriptRedeemerRedeemerDataHash :: DatumHash
Datum hash of the redeemer
_scriptRedeemerDatumHash :: DatumHash
Datum hash (DEPRECATED)
_scriptRedeemerUnitMem :: Quantity
The budget in Memory to run a script
_scriptRedeemerUnitSteps :: Quantity
The budget in Steps to run a script
_scriptRedeemerFee :: Lovelaces
The fee consumed to run the script

Instances

Instances details

FromJSON ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptRedeemer # parseJSONList :: Value -> Parser [ScriptRedeemer] # omittedField :: Maybe ScriptRedeemer #
ToJSON ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptRedeemer -> Value # toEncoding :: ScriptRedeemer -> Encoding # toJSONList :: [ScriptRedeemer] -> Value # toEncodingList :: [ScriptRedeemer] -> Encoding # omitField :: ScriptRedeemer -> Bool #
Generic ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Associated Types type Rep ScriptRedeemer :: Type -> Type # Methods from :: ScriptRedeemer -> Rep ScriptRedeemer x # to :: Rep ScriptRedeemer x -> ScriptRedeemer #
Show ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptRedeemer -> ShowS # show :: ScriptRedeemer -> String # showList :: [ScriptRedeemer] -> ShowS #
Eq ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods (==) :: ScriptRedeemer -> ScriptRedeemer -> Bool # (/=) :: ScriptRedeemer -> ScriptRedeemer -> Bool #
ToSample ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toSamples :: Proxy ScriptRedeemer -> [(Text, ScriptRedeemer)] #
type Rep ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep ScriptRedeemer = D1 ('MetaData "ScriptRedeemer" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.12.1.0-7z2reK4pPCl1mszJhcPLlO" 'False) (C1 ('MetaCons "ScriptRedeemer" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_scriptRedeemerTxHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxHash) :: S1 ('MetaSel ('Just "_scriptRedeemerTxIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :: (S1 ('MetaSel ('Just "_scriptRedeemerPurpose") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidationPurpose) :: S1 ('MetaSel ('Just "_scriptRedeemerRedeemerDataHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatumHash))) :: ((S1 ('MetaSel ('Just "_scriptRedeemerDatumHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatumHash) :: S1 ('MetaSel ('Just "_scriptRedeemerUnitMem") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Quantity)) :: (S1 ('MetaSel ('Just "_scriptRedeemerUnitSteps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Quantity) :*: S1 ('MetaSel ('Just "_scriptRedeemerFee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelaces)))))

newtype ScriptDatum Source #

Constructors

ScriptDatum
Fields _scriptDatumJsonValue :: Value

Instances

Instances details

FromJSON ScriptDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptDatum # parseJSONList :: Value -> Parser [ScriptDatum] # omittedField :: Maybe ScriptDatum #
ToJSON ScriptDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptDatum -> Value # toEncoding :: ScriptDatum -> Encoding # toJSONList :: [ScriptDatum] -> Value # toEncodingList :: [ScriptDatum] -> Encoding # omitField :: ScriptDatum -> Bool #
Generic ScriptDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Associated Types type Rep ScriptDatum :: Type -> Type # Methods from :: ScriptDatum -> Rep ScriptDatum x # to :: Rep ScriptDatum x -> ScriptDatum #
Show ScriptDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptDatum -> ShowS # show :: ScriptDatum -> String # showList :: [ScriptDatum] -> ShowS #
Eq ScriptDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods (==) :: ScriptDatum -> ScriptDatum -> Bool # (/=) :: ScriptDatum -> ScriptDatum -> Bool #
ToSample ScriptDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toSamples :: Proxy ScriptDatum -> [(Text, ScriptDatum)] #
type Rep ScriptDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep ScriptDatum = D1 ('MetaData "ScriptDatum" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.12.1.0-7z2reK4pPCl1mszJhcPLlO" 'True) (C1 ('MetaCons "ScriptDatum" 'PrefixI 'True) (S1 ('MetaSel ('Just "_scriptDatumJsonValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

newtype ScriptDatumCBOR Source #

Constructors

ScriptDatumCBOR
Fields _scriptDatumCborCbor :: Text

Instances

Instances details

FromJSON ScriptDatumCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptDatumCBOR # parseJSONList :: Value -> Parser [ScriptDatumCBOR] # omittedField :: Maybe ScriptDatumCBOR #
ToJSON ScriptDatumCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptDatumCBOR -> Value # toEncoding :: ScriptDatumCBOR -> Encoding # toJSONList :: [ScriptDatumCBOR] -> Value # toEncodingList :: [ScriptDatumCBOR] -> Encoding # omitField :: ScriptDatumCBOR -> Bool #
Generic ScriptDatumCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Associated Types type Rep ScriptDatumCBOR :: Type -> Type # Methods from :: ScriptDatumCBOR -> Rep ScriptDatumCBOR x # to :: Rep ScriptDatumCBOR x -> ScriptDatumCBOR #
Show ScriptDatumCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptDatumCBOR -> ShowS # show :: ScriptDatumCBOR -> String # showList :: [ScriptDatumCBOR] -> ShowS #
Eq ScriptDatumCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods (==) :: ScriptDatumCBOR -> ScriptDatumCBOR -> Bool # (/=) :: ScriptDatumCBOR -> ScriptDatumCBOR -> Bool #
ToSample ScriptDatumCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toSamples :: Proxy ScriptDatumCBOR -> [(Text, ScriptDatumCBOR)] #
type Rep ScriptDatumCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep ScriptDatumCBOR = D1 ('MetaData "ScriptDatumCBOR" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.12.1.0-7z2reK4pPCl1mszJhcPLlO" 'True) (C1 ('MetaCons "ScriptDatumCBOR" 'PrefixI 'True) (S1 ('MetaSel ('Just "_scriptDatumCborCbor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype InlineDatum Source #

Constructors

InlineDatum
Fields unInlineDatum :: ScriptDatumCBOR

Instances

Instances details

FromJSON InlineDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser InlineDatum # parseJSONList :: Value -> Parser [InlineDatum] # omittedField :: Maybe InlineDatum #
ToJSON InlineDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: InlineDatum -> Value # toEncoding :: InlineDatum -> Encoding # toJSONList :: [InlineDatum] -> Value # toEncodingList :: [InlineDatum] -> Encoding # omitField :: InlineDatum -> Bool #
Generic InlineDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Associated Types type Rep InlineDatum :: Type -> Type # Methods from :: InlineDatum -> Rep InlineDatum x # to :: Rep InlineDatum x -> InlineDatum #
Show InlineDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> InlineDatum -> ShowS # show :: InlineDatum -> String # showList :: [InlineDatum] -> ShowS #
Eq InlineDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods (==) :: InlineDatum -> InlineDatum -> Bool # (/=) :: InlineDatum -> InlineDatum -> Bool #
ToSample InlineDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toSamples :: Proxy InlineDatum -> [(Text, InlineDatum)] #
HasInlineDatum AddressUtxo (Maybe InlineDatum) Source #
Instance details Defined in Blockfrost.Lens Methods inlineDatum :: Lens' AddressUtxo (Maybe InlineDatum) Source #
HasInlineDatum UtxoInput (Maybe InlineDatum) Source #
Instance details Defined in Blockfrost.Lens Methods inlineDatum :: Lens' UtxoInput (Maybe InlineDatum) Source #
HasInlineDatum UtxoOutput (Maybe InlineDatum) Source #
Instance details Defined in Blockfrost.Lens Methods inlineDatum :: Lens' UtxoOutput (Maybe InlineDatum) Source #
type Rep InlineDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep InlineDatum = D1 ('MetaData "InlineDatum" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.12.1.0-7z2reK4pPCl1mszJhcPLlO" 'True) (C1 ('MetaCons "InlineDatum" 'PrefixI 'True) (S1 ('MetaSel ('Just "unInlineDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptDatumCBOR)))

newtype ScriptJSON Source #

Constructors

ScriptJSON
Fields _scriptJsonJson :: Maybe Value

Instances

Instances details

FromJSON ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptJSON # parseJSONList :: Value -> Parser [ScriptJSON] # omittedField :: Maybe ScriptJSON #
ToJSON ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptJSON -> Value # toEncoding :: ScriptJSON -> Encoding # toJSONList :: [ScriptJSON] -> Value # toEncodingList :: [ScriptJSON] -> Encoding # omitField :: ScriptJSON -> Bool #
Generic ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Associated Types type Rep ScriptJSON :: Type -> Type # Methods from :: ScriptJSON -> Rep ScriptJSON x # to :: Rep ScriptJSON x -> ScriptJSON #
Show ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptJSON -> ShowS # show :: ScriptJSON -> String # showList :: [ScriptJSON] -> ShowS #
Eq ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods (==) :: ScriptJSON -> ScriptJSON -> Bool # (/=) :: ScriptJSON -> ScriptJSON -> Bool #
ToSample ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toSamples :: Proxy ScriptJSON -> [(Text, ScriptJSON)] #
type Rep ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep ScriptJSON = D1 ('MetaData "ScriptJSON" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.12.1.0-7z2reK4pPCl1mszJhcPLlO" 'True) (C1 ('MetaCons "ScriptJSON" 'PrefixI 'True) (S1 ('MetaSel ('Just "_scriptJsonJson") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value))))

newtype ScriptCBOR Source #

Constructors

ScriptCBOR
Fields _scriptCborCbor :: Maybe Text

Instances

Instances details

FromJSON ScriptCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptCBOR # parseJSONList :: Value -> Parser [ScriptCBOR] # omittedField :: Maybe ScriptCBOR #
ToJSON ScriptCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptCBOR -> Value # toEncoding :: ScriptCBOR -> Encoding # toJSONList :: [ScriptCBOR] -> Value # toEncodingList :: [ScriptCBOR] -> Encoding # omitField :: ScriptCBOR -> Bool #
Generic ScriptCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Associated Types type Rep ScriptCBOR :: Type -> Type # Methods from :: ScriptCBOR -> Rep ScriptCBOR x # to :: Rep ScriptCBOR x -> ScriptCBOR #
Show ScriptCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptCBOR -> ShowS # show :: ScriptCBOR -> String # showList :: [ScriptCBOR] -> ShowS #
Eq ScriptCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods (==) :: ScriptCBOR -> ScriptCBOR -> Bool # (/=) :: ScriptCBOR -> ScriptCBOR -> Bool #
ToSample ScriptCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toSamples :: Proxy ScriptCBOR -> [(Text, ScriptCBOR)] #
type Rep ScriptCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep ScriptCBOR = D1 ('MetaData "ScriptCBOR" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.12.1.0-7z2reK4pPCl1mszJhcPLlO" 'True) (C1 ('MetaCons "ScriptCBOR" 'PrefixI 'True) (S1 ('MetaSel ('Just "_scriptCborCbor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))