Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Default.Universe

Description

The universe used by default and its instances.

Synopsis

data DefaultUni a where
- DefaultUniInteger ∷ DefaultUni (Esc Integer)
- DefaultUniByteString ∷ DefaultUni (Esc ByteString)
- DefaultUniString ∷ DefaultUni (Esc Text)
- DefaultUniUnit ∷ DefaultUni (Esc ())
- DefaultUniBool ∷ DefaultUni (Esc Bool)
- DefaultUniProtoList ∷ DefaultUni (Esc List)
- DefaultUniProtoPair ∷ DefaultUni (Esc (,))
- DefaultUniApply ∷ !(DefaultUni (Esc f)) → !(DefaultUni (Esc a)) → DefaultUni (Esc (f a))
- DefaultUniData ∷ DefaultUni (Esc Data)
- DefaultUniBLS12_381_G1_Element ∷ DefaultUni (Esc Element)
- DefaultUniBLS12_381_G2_Element ∷ DefaultUni (Esc Element)
- DefaultUniBLS12_381_MlResult ∷ DefaultUni (Esc MlResult)
pattern DefaultUniList ∷ ∀ {a} {k1} {k2} {f ∷ k1 → k2} {a1 ∷ k1}. () ⇒ ∀. (a ~ Esc (f a1), Esc f ~ Esc List) ⇒ DefaultUni (Esc a1) → DefaultUni a
pattern DefaultUniPair ∷ ∀ {a} {k1} {k2} {f1 ∷ k1 → k2} {a1 ∷ k1} {k3} {k4} {f2 ∷ k3 → k4} {a2 ∷ k3}. () ⇒ ∀. (a ~ Esc (f1 a1), Esc f1 ~ Esc (f2 a2), Esc f2 ~ Esc (,)) ⇒ DefaultUni (Esc a2) → DefaultUni (Esc a1) → DefaultUni a
noMoreTypeFunctions ∷ DefaultUni (Esc (f ∷ a → b → c → d)) → any
module Universe

Documentation

data DefaultUni a where Source #

The universe used by default.

Constructors

DefaultUniInteger ∷ DefaultUni (Esc Integer)
DefaultUniByteString ∷ DefaultUni (Esc ByteString)
DefaultUniString ∷ DefaultUni (Esc Text)
DefaultUniUnit ∷ DefaultUni (Esc ())
DefaultUniBool ∷ DefaultUni (Esc Bool)
DefaultUniProtoList ∷ DefaultUni (Esc List)
DefaultUniProtoPair ∷ DefaultUni (Esc (,))
DefaultUniApply ∷ !(DefaultUni (Esc f)) → !(DefaultUni (Esc a)) → DefaultUni (Esc (f a))
DefaultUniData ∷ DefaultUni (Esc Data)
DefaultUniBLS12_381_G1_Element ∷ DefaultUni (Esc Element)
DefaultUniBLS12_381_G2_Element ∷ DefaultUni (Esc Element)
DefaultUniBLS12_381_MlResult ∷ DefaultUni (Esc MlResult)

Instances

Instances details

ToKind DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods toSingKind ∷ ∀ k (a ∷ k). DefaultUni (Esc a) → SingKind k Source #
TestTypesFromTheUniverseAreAllKnown DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe
Closed DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type Everywhere DefaultUni constr Source # Methods encodeUni ∷ DefaultUni a → [Int] Source # withDecodedUni ∷ (∀ k (a ∷ k). Typeable k ⇒ DefaultUni (Esc a) → DecodeUniM r) → DecodeUniM r Source # bring ∷ Everywhere DefaultUni constr ⇒ proxy constr → DefaultUni (Esc a) → (constr a ⇒ r) → r Source #
HasUniApply DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods uniApply ∷ ∀ k l (f ∷ k → l) (a ∷ k). DefaultUni (Esc f) → DefaultUni (Esc a) → DefaultUni (Esc (f a)) Source # matchUniApply ∷ DefaultUni tb → r → (∀ k l (f ∷ k → l) (a ∷ k). tb ~ Esc (f a) ⇒ DefaultUni (Esc f) → DefaultUni (Esc a) → r) → r Source #
GEq DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods geq ∷ ∀ (a ∷ k) (b ∷ k). DefaultUni a → DefaultUni b → Maybe (a :~: b) Source #
GShow DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods gshowsPrec ∷ ∀ (a ∷ k). Int → DefaultUni a → ShowS Source #
UniOf term ~ DefaultUni ⇒ MakeKnownIn DefaultUni term Void Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods makeKnown ∷ Void → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Int16 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Int16 → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Int32 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Int32 → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Int64 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Int64 → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Int8 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Int8 → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Word16 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Word16 → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Word32 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Word32 → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Word64 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Word64 → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Word8 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Word8 → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term ByteString ⇒ MakeKnownIn DefaultUni term ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ ByteString → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Element ⇒ MakeKnownIn DefaultUni term Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Element → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Element ⇒ MakeKnownIn DefaultUni term Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Element → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term MlResult ⇒ MakeKnownIn DefaultUni term MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ MlResult → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Data ⇒ MakeKnownIn DefaultUni term Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Data → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ IntegerCostedLiterally → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ NumBytesCostedAsNumWords → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Text ⇒ MakeKnownIn DefaultUni term Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Text → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Integer Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Integer → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Natural Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Natural → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term () ⇒ MakeKnownIn DefaultUni term () Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ () → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Bool ⇒ MakeKnownIn DefaultUni term Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Bool → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Int Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Int → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Word Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Word → BuiltinResult term Source #
UniOf term ~ DefaultUni ⇒ ReadKnownIn DefaultUni term Void Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods readKnown ∷ term → ReadKnownM Void Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Int16 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Int16 Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Int32 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Int32 Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Int64 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Int64 Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Int8 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Int8 Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Word16 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Word16 Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Word32 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Word32 Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Word64 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Word64 Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Word8 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Word8 Source #
KnownBuiltinTypeIn DefaultUni term ByteString ⇒ ReadKnownIn DefaultUni term ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM ByteString Source #
KnownBuiltinTypeIn DefaultUni term Element ⇒ ReadKnownIn DefaultUni term Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Element Source #
KnownBuiltinTypeIn DefaultUni term Element ⇒ ReadKnownIn DefaultUni term Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Element Source #
KnownBuiltinTypeIn DefaultUni term MlResult ⇒ ReadKnownIn DefaultUni term MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM MlResult Source #
KnownBuiltinTypeIn DefaultUni term Data ⇒ ReadKnownIn DefaultUni term Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Data Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM IntegerCostedLiterally Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM NumBytesCostedAsNumWords Source #
KnownBuiltinTypeIn DefaultUni term Text ⇒ ReadKnownIn DefaultUni term Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Text Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Integer Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Integer Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Natural Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Natural Source #
KnownBuiltinTypeIn DefaultUni term () ⇒ ReadKnownIn DefaultUni term () Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM () Source #
KnownBuiltinTypeIn DefaultUni term Bool ⇒ ReadKnownIn DefaultUni term Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Bool Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Int Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Int Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Word Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Word Source #
Contains DefaultUni ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc ByteString) Source #
Contains DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc Element) Source #
Contains DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc Element) Source #
Contains DefaultUni MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc MlResult) Source #
Contains DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc Data) Source #
Contains DefaultUni Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc Text) Source #
Contains DefaultUni Integer Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc Integer) Source #
Contains DefaultUni () Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc ()) Source #
Contains DefaultUni Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc Bool) Source #
tyname ~ TyName ⇒ KnownTypeAst tyname DefaultUni Void Source #
Instance details Defined in PlutusCore.Examples.Builtins Associated Types type IsBuiltin DefaultUni Void ∷ Bool Source # type ToHoles DefaultUni Void ∷ [Hole] Source # type ToBinds DefaultUni acc Void ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Int16 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Int16 ∷ Bool Source # type ToHoles DefaultUni Int16 ∷ [Hole] Source # type ToBinds DefaultUni acc Int16 ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Int32 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Int32 ∷ Bool Source # type ToHoles DefaultUni Int32 ∷ [Hole] Source # type ToBinds DefaultUni acc Int32 ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Int64 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Int64 ∷ Bool Source # type ToHoles DefaultUni Int64 ∷ [Hole] Source # type ToBinds DefaultUni acc Int64 ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Int8 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Int8 ∷ Bool Source # type ToHoles DefaultUni Int8 ∷ [Hole] Source # type ToBinds DefaultUni acc Int8 ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Word16 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Word16 ∷ Bool Source # type ToHoles DefaultUni Word16 ∷ [Hole] Source # type ToBinds DefaultUni acc Word16 ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Word32 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Word32 ∷ Bool Source # type ToHoles DefaultUni Word32 ∷ [Hole] Source # type ToBinds DefaultUni acc Word32 ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Word64 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Word64 ∷ Bool Source # type ToHoles DefaultUni Word64 ∷ [Hole] Source # type ToBinds DefaultUni acc Word64 ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Word8 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Word8 ∷ Bool Source # type ToHoles DefaultUni Word8 ∷ [Hole] Source # type ToBinds DefaultUni acc Word8 ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni ByteString ⇒ KnownTypeAst tyname DefaultUni ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni ByteString ∷ Bool Source # type ToHoles DefaultUni ByteString ∷ [Hole] Source # type ToBinds DefaultUni acc ByteString ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni Element ⇒ KnownTypeAst tyname DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Element ∷ Bool Source # type ToHoles DefaultUni Element ∷ [Hole] Source # type ToBinds DefaultUni acc Element ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni Element ⇒ KnownTypeAst tyname DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Element ∷ Bool Source # type ToHoles DefaultUni Element ∷ [Hole] Source # type ToBinds DefaultUni acc Element ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni MlResult ⇒ KnownTypeAst tyname DefaultUni MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni MlResult ∷ Bool Source # type ToHoles DefaultUni MlResult ∷ [Hole] Source # type ToBinds DefaultUni acc MlResult ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni Data ⇒ KnownTypeAst tyname DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Data ∷ Bool Source # type ToHoles DefaultUni Data ∷ [Hole] Source # type ToBinds DefaultUni acc Data ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni IntegerCostedLiterally ∷ Bool Source # type ToHoles DefaultUni IntegerCostedLiterally ∷ [Hole] Source # type ToBinds DefaultUni acc IntegerCostedLiterally ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni NumBytesCostedAsNumWords ∷ Bool Source # type ToHoles DefaultUni NumBytesCostedAsNumWords ∷ [Hole] Source # type ToBinds DefaultUni acc NumBytesCostedAsNumWords ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni Text ⇒ KnownTypeAst tyname DefaultUni Text Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Text ∷ Bool Source # type ToHoles DefaultUni Text ∷ [Hole] Source # type ToBinds DefaultUni acc Text ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni Integer ⇒ KnownTypeAst tyname DefaultUni Integer Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Integer ∷ Bool Source # type ToHoles DefaultUni Integer ∷ [Hole] Source # type ToBinds DefaultUni acc Integer ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Natural Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Natural ∷ Bool Source # type ToHoles DefaultUni Natural ∷ [Hole] Source # type ToBinds DefaultUni acc Natural ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni () ⇒ KnownTypeAst tyname DefaultUni () Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni () ∷ Bool Source # type ToHoles DefaultUni () ∷ [Hole] Source # type ToBinds DefaultUni acc () ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni Bool ⇒ KnownTypeAst tyname DefaultUni Bool Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Bool ∷ Bool Source # type ToHoles DefaultUni Bool ∷ [Hole] Source # type ToBinds DefaultUni acc Bool ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Int Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Int ∷ Bool Source # type ToHoles DefaultUni Int ∷ [Hole] Source # type ToBinds DefaultUni acc Int ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Word Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Word ∷ Bool Source # type ToHoles DefaultUni Word ∷ [Hole] Source # type ToBinds DefaultUni acc Word ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni a ⇒ KnownTypeAst tyname DefaultUni (ListCostedByLength a ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni (ListCostedByLength a) ∷ Bool Source # type ToHoles DefaultUni (ListCostedByLength a) ∷ [Hole] Source # type ToBinds DefaultUni acc (ListCostedByLength a) ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type0 tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni [a] ⇒ KnownTypeAst tyname DefaultUni ([a] ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni [a] ∷ Bool Source # type ToHoles DefaultUni [a] ∷ [Hole] Source # type ToBinds DefaultUni acc [a] ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type0 tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni (a, b) ⇒ KnownTypeAst tyname DefaultUni ((a, b) ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni (a, b) ∷ Bool Source # type ToHoles DefaultUni (a, b) ∷ [Hole] Source # type ToBinds DefaultUni acc (a, b) ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type0 tyname DefaultUni () Source #
KnownBuiltinTypeIn DefaultUni term [a] ⇒ MakeKnownIn DefaultUni term (ListCostedByLength a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ ListCostedByLength a → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term [a] ⇒ MakeKnownIn DefaultUni term [a] Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ [a] → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term [a] ⇒ ReadKnownIn DefaultUni term (ListCostedByLength a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM (ListCostedByLength a) Source #
KnownBuiltinTypeIn DefaultUni term [a] ⇒ ReadKnownIn DefaultUni term [a] Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM [a] Source #
(Contains DefaultUni f, Contains DefaultUni a) ⇒ Contains DefaultUni (f a ∷ k2) Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc (f a)) Source #
KnownBuiltinTypeIn DefaultUni term (a, b) ⇒ MakeKnownIn DefaultUni term (a, b) Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ (a, b) → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term (a, b) ⇒ ReadKnownIn DefaultUni term (a, b) Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM (a, b) Source #
MakeKnownIn DefaultUni term a ⇒ MakeKnownIn DefaultUni term (MetaForall name a) Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods makeKnown ∷ MetaForall name a → BuiltinResult term Source #
PrettyBy RenderContext (DefaultUni a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods prettyBy ∷ RenderContext → DefaultUni a → Doc ann Source # prettyListBy ∷ RenderContext → [DefaultUni a] → Doc ann Source #
PrettyBy RenderContext (SomeTypeIn DefaultUni) Source #
Instance details Defined in PlutusCore.Default.Universe Methods prettyBy ∷ RenderContext → SomeTypeIn DefaultUni → Doc ann Source # prettyListBy ∷ RenderContext → [SomeTypeIn DefaultUni] → Doc ann Source #
Show (DefaultUni a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods showsPrec ∷ Int → DefaultUni a → ShowS Source # show ∷ DefaultUni a → String Source # showList ∷ [DefaultUni a] → ShowS Source #
Pretty (DefaultUni a) Source #	This always pretty-prints parens around type applications (e.g. `(list bool)`) and doesn't pretty-print them otherwise (e.g. `integer`).
Instance details Defined in PlutusCore.Default.Universe Methods pretty ∷ DefaultUni a → Doc ann Source # prettyList ∷ [DefaultUni a] → Doc ann Source #
Pretty (SomeTypeIn DefaultUni) Source #
Instance details Defined in PlutusCore.Default.Universe Methods pretty ∷ SomeTypeIn DefaultUni → Doc ann Source # prettyList ∷ [SomeTypeIn DefaultUni] → Doc ann Source #
Contains DefaultUni (,) Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc (,)) Source #
Contains DefaultUni List Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc List) Source #
type Everywhere DefaultUni constr Source #
Instance details Defined in PlutusCore.Default.Universe type Everywhere DefaultUni constr = (Permits constr Integer, Permits constr ByteString, Permits constr Text, Permits constr (), Permits constr Bool, Permits constr List, Permits constr (,), Permits constr Data, Permits constr Element, Permits constr Element, Permits constr MlResult)
type IsBuiltin DefaultUni Void Source #
Instance details Defined in PlutusCore.Examples.Builtins type IsBuiltin DefaultUni Void = 'False
type IsBuiltin DefaultUni Int16 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int16
type IsBuiltin DefaultUni Int32 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int32
type IsBuiltin DefaultUni Int64 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int64
type IsBuiltin DefaultUni Int8 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int8
type IsBuiltin DefaultUni Word16 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word16
type IsBuiltin DefaultUni Word32 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word32
type IsBuiltin DefaultUni Word64 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word64
type IsBuiltin DefaultUni Word8 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word8
type IsBuiltin DefaultUni ByteString Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni ByteString = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni ByteString)
type IsBuiltin DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Element = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Element)
type IsBuiltin DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Element = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Element)
type IsBuiltin DefaultUni MlResult Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni MlResult = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni MlResult)
type IsBuiltin DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Data = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Data)
type IsBuiltin DefaultUni IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni IntegerCostedLiterally = IsBuiltin DefaultUni Integer
type IsBuiltin DefaultUni NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni NumBytesCostedAsNumWords = IsBuiltin DefaultUni Integer
type IsBuiltin DefaultUni Text Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Text = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Text)
type IsBuiltin DefaultUni Integer Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Integer = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Integer)
type IsBuiltin DefaultUni Natural Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Natural
type IsBuiltin DefaultUni () Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni () = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni ())
type IsBuiltin DefaultUni Bool Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Bool = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Bool)
type IsBuiltin DefaultUni Int Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int
type IsBuiltin DefaultUni Word Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word
type ToHoles DefaultUni Void Source #
Instance details Defined in PlutusCore.Examples.Builtins type ToHoles DefaultUni Void = '[] ∷ [Hole]
type ToHoles DefaultUni Int16 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Int16
type ToHoles DefaultUni Int32 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Int32
type ToHoles DefaultUni Int64 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Int64
type ToHoles DefaultUni Int8 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Int8
type ToHoles DefaultUni Word16 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Word16
type ToHoles DefaultUni Word32 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Word32
type ToHoles DefaultUni Word64 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Word64
type ToHoles DefaultUni Word8 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Word8
type ToHoles DefaultUni ByteString Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni ByteString = ToHoles DefaultUni (ElaborateBuiltin DefaultUni ByteString)
type ToHoles DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Element = ToHoles DefaultUni (ElaborateBuiltin DefaultUni Element)
type ToHoles DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Element = ToHoles DefaultUni (ElaborateBuiltin DefaultUni Element)
type ToHoles DefaultUni MlResult Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni MlResult = ToHoles DefaultUni (ElaborateBuiltin DefaultUni MlResult)
type ToHoles DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Data = ToHoles DefaultUni (ElaborateBuiltin DefaultUni Data)
type ToHoles DefaultUni IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni IntegerCostedLiterally = ToHoles DefaultUni Integer
type ToHoles DefaultUni NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni NumBytesCostedAsNumWords = ToHoles DefaultUni Integer
type ToHoles DefaultUni Text Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Text = ToHoles DefaultUni (ElaborateBuiltin DefaultUni Text)
type ToHoles DefaultUni Integer Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Integer = ToHoles DefaultUni (ElaborateBuiltin DefaultUni Integer)
type ToHoles DefaultUni Natural Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Natural
type ToHoles DefaultUni () Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni () = ToHoles DefaultUni (ElaborateBuiltin DefaultUni ())
type ToHoles DefaultUni Bool Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Bool = ToHoles DefaultUni (ElaborateBuiltin DefaultUni Bool)
type ToHoles DefaultUni Int Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Int
type ToHoles DefaultUni Word Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Word
type ElaborateBuiltin DefaultUni (x ∷ a) Source #
Instance details Defined in PlutusCore.Default.Universe type ElaborateBuiltin DefaultUni (x ∷ a)
type ToBinds DefaultUni acc Void Source #
Instance details Defined in PlutusCore.Examples.Builtins type ToBinds DefaultUni acc Void = acc
type ToBinds DefaultUni acc Int16 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int16
type ToBinds DefaultUni acc Int32 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int32
type ToBinds DefaultUni acc Int64 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int64
type ToBinds DefaultUni acc Int8 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int8
type ToBinds DefaultUni acc Word16 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word16
type ToBinds DefaultUni acc Word32 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word32
type ToBinds DefaultUni acc Word64 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word64
type ToBinds DefaultUni acc Word8 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word8
type ToBinds DefaultUni acc ByteString Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc ByteString = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni ByteString)
type ToBinds DefaultUni acc Element Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Element = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Element)
type ToBinds DefaultUni acc Element Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Element = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Element)
type ToBinds DefaultUni acc MlResult Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc MlResult = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni MlResult)
type ToBinds DefaultUni acc Data Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Data = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Data)
type ToBinds DefaultUni acc IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc IntegerCostedLiterally = ToBinds DefaultUni acc Integer
type ToBinds DefaultUni acc NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc NumBytesCostedAsNumWords = ToBinds DefaultUni acc Integer
type ToBinds DefaultUni acc Text Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Text = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Text)
type ToBinds DefaultUni acc Integer Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Integer = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Integer)
type ToBinds DefaultUni acc Natural Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Natural
type ToBinds DefaultUni acc () Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc () = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni ())
type ToBinds DefaultUni acc Bool Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Bool = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Bool)
type ToBinds DefaultUni acc Int Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int
type ToBinds DefaultUni acc Word Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word
type ToBinds DefaultUni acc (ListCostedByLength a ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc (ListCostedByLength a ∷ Type) = ToBinds DefaultUni acc [a]
type ToBinds DefaultUni acc ([a] ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc ([a] ∷ Type) = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni [a])
type ToBinds DefaultUni acc ((a, b) ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc ((a, b) ∷ Type) = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni (a, b))
type IsBuiltin DefaultUni (ListCostedByLength a ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni (ListCostedByLength a ∷ Type) = IsBuiltin DefaultUni [a]
type IsBuiltin DefaultUni ([a] ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni ([a] ∷ Type) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni [a])
type ToHoles DefaultUni (ListCostedByLength a ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni (ListCostedByLength a ∷ Type) = ToHoles DefaultUni [a]
type ToHoles DefaultUni ([a] ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni ([a] ∷ Type) = ToHoles DefaultUni (ElaborateBuiltin DefaultUni [a])
type IsBuiltin DefaultUni ((a, b) ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni ((a, b) ∷ Type) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni (a, b))
type ToHoles DefaultUni ((a, b) ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni ((a, b) ∷ Type) = ToHoles DefaultUni (ElaborateBuiltin DefaultUni (a, b))

pattern DefaultUniList ∷ ∀ {a} {k1} {k2} {f ∷ k1 → k2} {a1 ∷ k1}. () ⇒ ∀. (a ~ Esc (f a1), Esc f ~ Esc List) ⇒ DefaultUni (Esc a1) → DefaultUni a Source #

pattern DefaultUniPair ∷ ∀ {a} {k1} {k2} {f1 ∷ k1 → k2} {a1 ∷ k1} {k3} {k4} {f2 ∷ k3 → k4} {a2 ∷ k3}. () ⇒ ∀. (a ~ Esc (f1 a1), Esc f1 ~ Esc (f2 a2), Esc f2 ~ Esc (,)) ⇒ DefaultUni (Esc a2) → DefaultUni (Esc a1) → DefaultUni a Source #

noMoreTypeFunctions ∷ DefaultUni (Esc (f ∷ a → b → c → d)) → any Source #

For pleasing the coverage checker.

module Universe