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 (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Int16 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Int16 → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Int32 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Int32 → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Int64 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Int64 → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Int8 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Int8 → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Word16 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Word16 → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Word32 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Word32 → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Word64 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Word64 → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Word8 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Word8 → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term ByteString ⇒ MakeKnownIn DefaultUni term ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ ByteString → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Element ⇒ MakeKnownIn DefaultUni term Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Element → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Element ⇒ MakeKnownIn DefaultUni term Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Element → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term MlResult ⇒ MakeKnownIn DefaultUni term MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ MlResult → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Data ⇒ MakeKnownIn DefaultUni term Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Data → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ IntegerCostedLiterally → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ NumBytesCostedAsNumWords → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Text ⇒ MakeKnownIn DefaultUni term Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Text → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Integer Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Integer → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Natural Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Natural → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term () ⇒ MakeKnownIn DefaultUni term () Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ () → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Bool ⇒ MakeKnownIn DefaultUni term Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Bool → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Int Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Int → BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Word Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Word → BuiltinResult (HeadSpine 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 hole 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 () ∷ [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 hole 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 hole 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 hole 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 hole (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 hole [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 hole (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 (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term [a] ⇒ MakeKnownIn DefaultUni term [a] Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ [a] → BuiltinResult (HeadSpine 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 (HeadSpine 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 (HeadSpine 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 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 ToHoles DefaultUni _1 Void Source #
Instance details Defined in PlutusCore.Examples.Builtins type ToHoles DefaultUni _1 Void = '[] ∷ [Hole]
type ToHoles DefaultUni hole Int16 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int16
type ToHoles DefaultUni hole Int32 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int32
type ToHoles DefaultUni hole Int64 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int64
type ToHoles DefaultUni hole Int8 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int8
type ToHoles DefaultUni hole Word16 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word16
type ToHoles DefaultUni hole Word32 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word32
type ToHoles DefaultUni hole Word64 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word64
type ToHoles DefaultUni hole Word8 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word8
type ToHoles DefaultUni hole ByteString Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole ByteString = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni ByteString)
type ToHoles DefaultUni hole Element Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Element = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Element)
type ToHoles DefaultUni hole Element Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Element = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Element)
type ToHoles DefaultUni hole MlResult Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole MlResult = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni MlResult)
type ToHoles DefaultUni hole Data Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Data = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Data)
type ToHoles DefaultUni hole IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole IntegerCostedLiterally = ToHoles DefaultUni hole Integer
type ToHoles DefaultUni hole NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole NumBytesCostedAsNumWords = ToHoles DefaultUni hole Integer
type ToHoles DefaultUni hole Text Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Text = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Text)
type ToHoles DefaultUni hole Integer Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Integer = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Integer)
type ToHoles DefaultUni hole Natural Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Natural
type ToHoles DefaultUni hole () Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole () = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni ())
type ToHoles DefaultUni hole Bool Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Bool = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Bool)
type ToHoles DefaultUni hole Int Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int
type ToHoles DefaultUni hole Word Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole 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 ToHoles DefaultUni hole (ListCostedByLength a ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole (ListCostedByLength a ∷ Type) = ToHoles DefaultUni hole [a]
type ToHoles DefaultUni hole ([a] ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole ([a] ∷ Type) = ToHoles DefaultUni hole (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 ToHoles DefaultUni hole ((a, b) ∷ Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole ((a, b) ∷ Type) = ToHoles DefaultUni hole (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 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))

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