Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Default.Universe.Cardano

Synopsis

minBoundInteger ∷ Integer
maxBoundInteger ∷ Integer
maxBoundByteString ∷ Int
newtype CInteger = CInteger Integer
newtype CByteString = CByteString ByteString

Documentation

minBoundInteger ∷ Integer Source #

maxBoundInteger ∷ Integer Source #

maxBoundByteString ∷ Int Source #

newtype CInteger Source #

Cardano on-chain integer

Constructors

CInteger Integer

Instances

Instances details

ExMemoryUsage CInteger Source #
Instance details Defined in PlutusCore.Default.Universe.Cardano Methods memoryUsage ∷ CInteger → CostRose Source #
PrettyBy ConstConfig CInteger Source #
Instance details Defined in PlutusCore.Default.Universe.Cardano Methods prettyBy ∷ ConstConfig → CInteger → Doc ann Source # prettyListBy ∷ ConstConfig → [CInteger] → Doc ann Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term CInteger Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ CInteger → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term CInteger Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM CInteger Source #
KnownTypeAst tyname DefaultUni CInteger Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni CInteger ∷ Bool Source # type ToHoles DefaultUni hole CInteger ∷ [Hole] Source # type ToBinds DefaultUni acc CInteger ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
type IsBuiltin DefaultUni CInteger Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni CInteger = IsBuiltin DefaultUni Integer
type ToBinds DefaultUni acc CInteger Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc CInteger = ToBinds DefaultUni acc Integer
type ToHoles DefaultUni hole CInteger Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole CInteger = ToHoles DefaultUni hole Integer

newtype CByteString Source #

Cardano on-chain bytestring

Constructors

CByteString ByteString

Instances

Instances details

ExMemoryUsage CByteString Source #
Instance details Defined in PlutusCore.Default.Universe.Cardano Methods memoryUsage ∷ CByteString → CostRose Source #
PrettyBy ConstConfig CByteString Source #
Instance details Defined in PlutusCore.Default.Universe.Cardano Methods prettyBy ∷ ConstConfig → CByteString → Doc ann Source # prettyListBy ∷ ConstConfig → [CByteString] → Doc ann Source #
KnownBuiltinTypeIn DefaultUni term ByteString ⇒ MakeKnownIn DefaultUni term CByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ CByteString → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term ByteString ⇒ ReadKnownIn DefaultUni term CByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM CByteString Source #
KnownTypeAst tyname DefaultUni CByteString Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni CByteString ∷ Bool Source # type ToHoles DefaultUni hole CByteString ∷ [Hole] Source # type ToBinds DefaultUni acc CByteString ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
type IsBuiltin DefaultUni CByteString Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni CByteString = IsBuiltin DefaultUni ByteString
type ToBinds DefaultUni acc CByteString Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc CByteString = ToBinds DefaultUni acc ByteString
type ToHoles DefaultUni hole CByteString Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole CByteString = ToHoles DefaultUni hole ByteString