Safe Haskell	None
Language	Haskell2010

Blockfrost.Types.Cardano.Scripts

Description

Cardano Scripts responses

Synopsis

data Script = Script {
- _scriptScriptHash :: ScriptHash
- _scriptType :: ScriptType
- _scriptSerialisedSize :: Maybe Integer
}
data ScriptType
- = Plutus
- | Timelock
data ScriptRedeemer = ScriptRedeemer {
- _scriptRedeemerTxHash :: TxHash
- _scriptRedeemerTxIndex :: Integer
- _scriptRedeemerPurpose :: ValidationPurpose
- _scriptRedeemerDatumHash :: Text
- _scriptRedeemerUnitMem :: Quantity
- _scriptRedeemerUnitSteps :: Quantity
- _scriptRedeemerFee :: Lovelaces
}
newtype ScriptDatum = ScriptDatum {
- _scriptDatumJsonValue :: Value
}
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

Eq Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods (==) :: Script -> Script -> Bool Source # (/=) :: Script -> Script -> Bool Source #
Show Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> Script -> ShowS Source # show :: Script -> String Source # showList :: [ Script ] -> ShowS Source #
Generic Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Associated Types type Rep Script :: Type -> Type Source # Methods from :: Script -> Rep Script x Source # to :: Rep Script x -> Script Source #
ToJSON Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: Script -> Value Source # toEncoding :: Script -> Encoding Source # toJSONList :: [ Script ] -> Value Source # toEncodingList :: [ Script ] -> Encoding Source #
FromJSON Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser Script Source # parseJSONList :: Value -> Parser [ Script ] Source #
ToSample Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toSamples :: Proxy Script -> [( Text , Script )] Source #
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.4.0.1-A9W5au7R2kOUA8M8hTMe9" ' 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

Plutus
Timelock

Instances

Instances details

Eq ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods (==) :: ScriptType -> ScriptType -> Bool Source # (/=) :: ScriptType -> ScriptType -> Bool Source #
Show ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptType -> ShowS Source # show :: ScriptType -> String Source # showList :: [ ScriptType ] -> ShowS Source #
Generic ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Associated Types type Rep ScriptType :: Type -> Type Source # Methods from :: ScriptType -> Rep ScriptType x Source # to :: Rep ScriptType x -> ScriptType Source #
ToJSON ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptType -> Value Source # toEncoding :: ScriptType -> Encoding Source # toJSONList :: [ ScriptType ] -> Value Source # toEncodingList :: [ ScriptType ] -> Encoding Source #
FromJSON ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptType Source # parseJSONList :: Value -> Parser [ ScriptType ] Source #
ToSample ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toSamples :: Proxy ScriptType -> [( Text , ScriptType )] Source #
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.4.0.1-A9W5au7R2kOUA8M8hTMe9" ' False ) ( C1 (' MetaCons "Plutus" ' 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
_scriptRedeemerDatumHash :: Text

Datum hash
_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

Eq ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods (==) :: ScriptRedeemer -> ScriptRedeemer -> Bool Source # (/=) :: ScriptRedeemer -> ScriptRedeemer -> Bool Source #
Show ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptRedeemer -> ShowS Source # show :: ScriptRedeemer -> String Source # showList :: [ ScriptRedeemer ] -> ShowS Source #
Generic ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Associated Types type Rep ScriptRedeemer :: Type -> Type Source # Methods from :: ScriptRedeemer -> Rep ScriptRedeemer x Source # to :: Rep ScriptRedeemer x -> ScriptRedeemer Source #
ToJSON ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptRedeemer -> Value Source # toEncoding :: ScriptRedeemer -> Encoding Source # toJSONList :: [ ScriptRedeemer ] -> Value Source # toEncodingList :: [ ScriptRedeemer ] -> Encoding Source #
FromJSON ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptRedeemer Source # parseJSONList :: Value -> Parser [ ScriptRedeemer ] Source #
ToSample ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toSamples :: Proxy ScriptRedeemer -> [( Text , ScriptRedeemer )] Source #
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.4.0.1-A9W5au7R2kOUA8M8hTMe9" ' 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 "_scriptRedeemerDatumHash") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Text ) :: 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

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

newtype ScriptJSON Source #

Constructors

ScriptJSON
Fields _scriptJsonJson :: Maybe Value

Instances

Instances details

Eq ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods (==) :: ScriptJSON -> ScriptJSON -> Bool Source # (/=) :: ScriptJSON -> ScriptJSON -> Bool Source #
Show ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptJSON -> ShowS Source # show :: ScriptJSON -> String Source # showList :: [ ScriptJSON ] -> ShowS Source #
Generic ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Associated Types type Rep ScriptJSON :: Type -> Type Source # Methods from :: ScriptJSON -> Rep ScriptJSON x Source # to :: Rep ScriptJSON x -> ScriptJSON Source #
ToJSON ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptJSON -> Value Source # toEncoding :: ScriptJSON -> Encoding Source # toJSONList :: [ ScriptJSON ] -> Value Source # toEncodingList :: [ ScriptJSON ] -> Encoding Source #
FromJSON ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptJSON Source # parseJSONList :: Value -> Parser [ ScriptJSON ] Source #
ToSample ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toSamples :: Proxy ScriptJSON -> [( Text , ScriptJSON )] Source #
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.4.0.1-A9W5au7R2kOUA8M8hTMe9" ' 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

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