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 {
}
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 # (/=) :: Script -> Script -> Bool #
Show Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> Script -> ShowS # show :: Script -> String # showList :: [Script] -> ShowS #
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 #
ToJSON Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: Script -> Value # toEncoding :: Script -> Encoding # toJSONList :: [Script] -> Value # toEncodingList :: [Script] -> Encoding #
FromJSON Script Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser Script # parseJSONList :: Value -> Parser [Script] #
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.3.0.0-FCbWzoquwuxBjDUG0w82hr" '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 # (/=) :: ScriptType -> ScriptType -> Bool #
Show ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptType -> ShowS # show :: ScriptType -> String # showList :: [ScriptType] -> ShowS #
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 #
ToJSON ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptType -> Value # toEncoding :: ScriptType -> Encoding # toJSONList :: [ScriptType] -> Value # toEncodingList :: [ScriptType] -> Encoding #
FromJSON ScriptType Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptType # parseJSONList :: Value -> Parser [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.3.0.0-FCbWzoquwuxBjDUG0w82hr" '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 # (/=) :: ScriptRedeemer -> ScriptRedeemer -> Bool #
Show ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptRedeemer -> ShowS # show :: ScriptRedeemer -> String # showList :: [ScriptRedeemer] -> ShowS #
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 #
ToJSON ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptRedeemer -> Value # toEncoding :: ScriptRedeemer -> Encoding # toJSONList :: [ScriptRedeemer] -> Value # toEncodingList :: [ScriptRedeemer] -> Encoding #
FromJSON ScriptRedeemer Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptRedeemer # parseJSONList :: Value -> Parser [ScriptRedeemer] #
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.3.0.0-FCbWzoquwuxBjDUG0w82hr" '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 # (/=) :: ScriptDatum -> ScriptDatum -> Bool #
Show ScriptDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptDatum -> ShowS # show :: ScriptDatum -> String # showList :: [ScriptDatum] -> ShowS #
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 #
ToJSON ScriptDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptDatum -> Value # toEncoding :: ScriptDatum -> Encoding # toJSONList :: [ScriptDatum] -> Value # toEncodingList :: [ScriptDatum] -> Encoding #
FromJSON ScriptDatum Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptDatum # parseJSONList :: Value -> Parser [ScriptDatum] #
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.3.0.0-FCbWzoquwuxBjDUG0w82hr" '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 # (/=) :: ScriptJSON -> ScriptJSON -> Bool #
Show ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptJSON -> ShowS # show :: ScriptJSON -> String # showList :: [ScriptJSON] -> ShowS #
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 #
ToJSON ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptJSON -> Value # toEncoding :: ScriptJSON -> Encoding # toJSONList :: [ScriptJSON] -> Value # toEncodingList :: [ScriptJSON] -> Encoding #
FromJSON ScriptJSON Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptJSON # parseJSONList :: Value -> Parser [ScriptJSON] #
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.3.0.0-FCbWzoquwuxBjDUG0w82hr" '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 # (/=) :: ScriptCBOR -> ScriptCBOR -> Bool #
Show ScriptCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods showsPrec :: Int -> ScriptCBOR -> ShowS # show :: ScriptCBOR -> String # showList :: [ScriptCBOR] -> ShowS #
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 #
ToJSON ScriptCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods toJSON :: ScriptCBOR -> Value # toEncoding :: ScriptCBOR -> Encoding # toJSONList :: [ScriptCBOR] -> Value # toEncodingList :: [ScriptCBOR] -> Encoding #
FromJSON ScriptCBOR Source #
Instance details Defined in Blockfrost.Types.Cardano.Scripts Methods parseJSON :: Value -> Parser ScriptCBOR # parseJSONList :: Value -> Parser [ScriptCBOR] #
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.3.0.0-FCbWzoquwuxBjDUG0w82hr" 'True) (C1 ('MetaCons "ScriptCBOR" 'PrefixI 'True) (S1 ('MetaSel ('Just "_scriptCborCbor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))