plutus-core-1.36.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Default

Synopsis

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 :: forall 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 :: (forall 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 :: forall k l (f :: k -> l) (a :: k). DefaultUni (Esc f) -> DefaultUni (Esc a) -> DefaultUni (Esc (f a)) Source #

matchUniApply :: DefaultUni tb -> r -> (forall 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 :: forall (a :: k) (b :: k). DefaultUni a -> DefaultUni b -> Maybe (a :~: b) #

GShow DefaultUni Source # 
Instance details

Defined in PlutusCore.Default.Universe

Methods

gshowsPrec :: forall (a :: k). Int -> DefaultUni a -> ShowS #

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 #

prettyListBy :: RenderContext -> [DefaultUni a] -> Doc ann #

PrettyBy RenderContext (SomeTypeIn DefaultUni) Source # 
Instance details

Defined in PlutusCore.Default.Universe

Methods

prettyBy :: RenderContext -> SomeTypeIn DefaultUni -> Doc ann #

prettyListBy :: RenderContext -> [SomeTypeIn DefaultUni] -> Doc ann #

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 #

prettyList :: [DefaultUni a] -> Doc ann #

Pretty (SomeTypeIn DefaultUni) Source # 
Instance details

Defined in PlutusCore.Default.Universe

Methods

pretty :: SomeTypeIn DefaultUni -> Doc ann #

prettyList :: [SomeTypeIn DefaultUni] -> Doc ann #

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 :: forall {a} {k1} {k2} {f :: k1 -> k2} {a1 :: k1}. () => forall. (a ~ Esc (f a1), Esc f ~ Esc List) => DefaultUni (Esc a1) -> DefaultUni a Source #

pattern DefaultUniPair :: forall {a} {k1} {k2} {f1 :: k1 -> k2} {a1 :: k1} {k3} {k4} {f2 :: k3 -> k4} {a2 :: k3}. () => forall. (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

module PlutusCore.Default.Builtins