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

Instance details

Defined in Blockfrost.Types.Cardano.Scripts

type Rep Script = D1 ('MetaData "Script" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.13.0.0-5VduFUrhiBL3cGPZJdyInJ" '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)))))

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.13.0.0-5VduFUrhiBL3cGPZJdyInJ" '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

Instance details

Defined in Blockfrost.Types.Cardano.Scripts

type Rep ScriptType = D1 ('MetaData "ScriptType" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.13.0.0-5VduFUrhiBL3cGPZJdyInJ" '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)))

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.13.0.0-5VduFUrhiBL3cGPZJdyInJ" '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

Instance details

Defined in Blockfrost.Types.Cardano.Scripts

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

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
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep ScriptDatum = D1 ('MetaData "ScriptDatum" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.13.0.0-5VduFUrhiBL3cGPZJdyInJ" 'True) (C1 ('MetaCons "ScriptDatum" 'PrefixI 'True) (S1 ('MetaSel ('Just "_scriptDatumJsonValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

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.13.0.0-5VduFUrhiBL3cGPZJdyInJ" '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
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep ScriptDatumCBOR = D1 ('MetaData "ScriptDatumCBOR" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.13.0.0-5VduFUrhiBL3cGPZJdyInJ" 'True) (C1 ('MetaCons "ScriptDatumCBOR" 'PrefixI 'True) (S1 ('MetaSel ('Just "_scriptDatumCborCbor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

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.13.0.0-5VduFUrhiBL3cGPZJdyInJ" '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
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep InlineDatum = D1 ('MetaData "InlineDatum" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.13.0.0-5VduFUrhiBL3cGPZJdyInJ" 'True) (C1 ('MetaCons "InlineDatum" 'PrefixI 'True) (S1 ('MetaSel ('Just "unInlineDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptDatumCBOR)))

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.13.0.0-5VduFUrhiBL3cGPZJdyInJ" '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
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep ScriptJSON = D1 ('MetaData "ScriptJSON" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.13.0.0-5VduFUrhiBL3cGPZJdyInJ" 'True) (C1 ('MetaCons "ScriptJSON" 'PrefixI 'True) (S1 ('MetaSel ('Just "_scriptJsonJson") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value))))

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.13.0.0-5VduFUrhiBL3cGPZJdyInJ" '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
Instance details Defined in Blockfrost.Types.Cardano.Scripts type Rep ScriptCBOR = D1 ('MetaData "ScriptCBOR" "Blockfrost.Types.Cardano.Scripts" "blockfrost-api-0.13.0.0-5VduFUrhiBL3cGPZJdyInJ" 'True) (C1 ('MetaCons "ScriptCBOR" 'PrefixI 'True) (S1 ('MetaSel ('Just "_scriptCborCbor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))