Safe Haskell	None
Language	Haskell2010

UntypedPlutusCore

Contents

Base functors

Synopsis

substVarA :: Applicative f => (name -> f (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> f (Term name uni fun ann)
substVar :: (name -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann
termSubstNamesM :: Monad m => (name -> m (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> m (Term name uni fun ann)
termSubstNames :: (name -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann
termSubstFreeNamesA :: (Applicative f, HasUnique name TermUnique) => (name -> f (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> f (Term name uni fun ann)
termSubstFreeNames :: HasUnique name TermUnique => (name -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann
termMapNames :: forall name name' uni fun ann. (name -> name') -> Term name uni fun ann -> Term name' uni fun ann
programMapNames :: forall name name' uni fun ann. (name -> name') -> Program name uni fun ann -> Program name' uni fun ann
uniquesTerm :: HasUniques (Term name uni fun ann) => Term name uni fun ann -> Set Unique
vTerm :: Ord name => Term name uni fun ann -> Set name
termSize :: Term name uni fun ann -> Integer
programSize :: Program name uni fun ann -> Integer
serialisedSize :: Flat a => a -> Integer
simplifyTerm :: forall uni fun m a. (ToBuiltinMeaning uni fun, MonadQuote m) => SimplifyOpts a -> Term Name uni fun a -> m (Term Name uni fun a)
simplifyProgram :: forall uni fun m a. (ToBuiltinMeaning uni fun, MonadQuote m) => SimplifyOpts a -> Program Name uni fun a -> m (Program Name uni fun a)
data SimplifyOpts a = SimplifyOpts {
- _soMaxSimplifierIterations :: Int
- _soInlineHints :: InlineHints Name a
}
soMaxSimplifierIterations :: forall a. Lens' (SimplifyOpts a) Int
soInlineHints :: forall a a. Lens (SimplifyOpts a) (SimplifyOpts a) (InlineHints Name a) (InlineHints Name a)
defaultSimplifyOpts :: SimplifyOpts a
newtype InlineHints name a = InlineHints {
- shouldInline :: a -> name -> Bool
}
module UntypedPlutusCore.DeBruijn
termTagWidth :: NumBits
encodeTermTag :: Word8 -> Encoding
decodeTermTag :: Get Word8
encodeTerm :: forall name uni fun ann. (Closed uni, uni `Everywhere` Flat, PrettyPlc (Term name uni fun ann), Flat fun, Flat ann, Flat name, Flat (Binder name)) => Term name uni fun ann -> Encoding
data SizeLimit
- = NoLimit
- | Limit Integer
decodeTerm :: forall name uni fun ann. (Closed uni, uni `Everywhere` Flat, PrettyPlc (Term name uni fun ann), Flat fun, Flat ann, Flat name, Flat (Binder name)) => SizeLimit -> Get (Term name uni fun ann)
sizeTerm :: forall name uni fun ann. (Closed uni, uni `Everywhere` Flat, PrettyPlc (Term name uni fun ann), Flat fun, Flat ann, Flat name, Flat (Binder name)) => Term name uni fun ann -> NumBits -> NumBits
newtype WithSizeLimits (n :: Nat) a = WithSizeLimits a
module UntypedPlutusCore.Core.Type
termBinds :: Traversal' (Term name uni fun ann) name
termVars :: Traversal' (Term name uni fun ann) name
termUniques :: HasUniques (Term name uni fun ann) => Traversal' (Term name uni fun ann) Unique
termSubterms :: Traversal' (Term name uni fun ann) (Term name uni fun ann)
termSubtermsDeep :: Fold (Term name uni fun ann) (Term name uni fun ann)
termUniquesDeep :: HasUniques (Term name uni fun ann) => Fold (Term name uni fun ann) Unique
data TermF (name :: Type) (uni :: Type -> Type) (fun :: Type) (ann :: Type) r
- = VarF !ann !name
- | LamAbsF !ann !name !r
- | ApplyF !ann !r !r
- | ForceF !ann !r
- | DelayF !ann !r
- | ConstantF !ann !(Some (ValueOf uni))
- | BuiltinF !ann !fun
- | ErrorF !ann
module PlutusCore.Name
applyProgram :: Monoid a => Program name uni fun a -> Program name uni fun a -> Program name uni fun a
parseScoped :: (AsParseError e AlexPosn, AsUniqueError e AlexPosn, MonadError e m, MonadQuote m) => ByteString -> m (Program Name DefaultUni DefaultFun AlexPosn)
data DefaultUni a
data DefaultFun

Documentation

substVarA :: Applicative f => (name -> f (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> f (Term name uni fun ann) Source #

Applicatively replace a variable using the given function.

substVar :: (name -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann Source #

Replace a variable using the given function.

termSubstNamesM :: Monad m => (name -> m (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> m (Term name uni fun ann) Source #

Naively monadically substitute names using the given function (i.e. do not substitute binders).

termSubstNames :: (name -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann Source #

Naively substitute names using the given function (i.e. do not substitute binders).

termSubstFreeNamesA :: (Applicative f, HasUnique name TermUnique) => (name -> f (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> f (Term name uni fun ann) Source #

Applicatively substitute *free* names using the given function.

termSubstFreeNames :: HasUnique name TermUnique => (name -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann Source #

Substitute *free* names using the given function.

termMapNames :: forall name name' uni fun ann. (name -> name') -> Term name uni fun ann -> Term name' uni fun ann Source #

Completely replace the names with a new name type.

programMapNames :: forall name name' uni fun ann. (name -> name') -> Program name uni fun ann -> Program name' uni fun ann Source #

uniquesTerm :: HasUniques (Term name uni fun ann) => Term name uni fun ann -> Set Unique Source #

Get all the uniques in a term

vTerm :: Ord name => Term name uni fun ann -> Set name Source #

Get all the term variables in a term.

termSize :: Term name uni fun ann -> Integer Source #

Count the number of AST nodes in a term.

programSize :: Program name uni fun ann -> Integer Source #

Count the number of AST nodes in a program.

serialisedSize :: Flat a => a -> Integer Source #

Compute the size of the serialized form of a value.

simplifyTerm :: forall uni fun m a. (ToBuiltinMeaning uni fun, MonadQuote m) => SimplifyOpts a -> Term Name uni fun a -> m (Term Name uni fun a) Source #

simplifyProgram :: forall uni fun m a. (ToBuiltinMeaning uni fun, MonadQuote m) => SimplifyOpts a -> Program Name uni fun a -> m (Program Name uni fun a) Source #

data SimplifyOpts a Source #

Constructors

SimplifyOpts
Fields _soMaxSimplifierIterations :: Int _soInlineHints :: InlineHints Name a

Instances

Instances details

Show (SimplifyOpts a) Source #
Instance details Defined in UntypedPlutusCore.Simplify Methods showsPrec :: Int -> SimplifyOpts a -> ShowS Source # show :: SimplifyOpts a -> String Source # showList :: [SimplifyOpts a] -> ShowS Source #

soMaxSimplifierIterations :: forall a. Lens' (SimplifyOpts a) Int Source #

soInlineHints :: forall a a. Lens (SimplifyOpts a) (SimplifyOpts a) (InlineHints Name a) (InlineHints Name a) Source #

defaultSimplifyOpts :: SimplifyOpts a Source #

newtype InlineHints name a Source #

Constructors

InlineHints
Fields shouldInline :: a -> name -> Bool

Instances

Instances details

Show (InlineHints name a) Source #
Instance details Defined in PlutusCore.InlineUtils Methods showsPrec :: Int -> InlineHints name a -> ShowS Source # show :: InlineHints name a -> String Source # showList :: [InlineHints name a] -> ShowS Source #
Semigroup (InlineHints name a) Source #
Instance details Defined in PlutusCore.InlineUtils Methods (<>) :: InlineHints name a -> InlineHints name a -> InlineHints name a Source # sconcat :: NonEmpty (InlineHints name a) -> InlineHints name a Source # stimes :: Integral b => b -> InlineHints name a -> InlineHints name a Source #
Monoid (InlineHints name a) Source #
Instance details Defined in PlutusCore.InlineUtils Methods mempty :: InlineHints name a Source # mappend :: InlineHints name a -> InlineHints name a -> InlineHints name a Source # mconcat :: [InlineHints name a] -> InlineHints name a Source #

module UntypedPlutusCore.DeBruijn

termTagWidth :: NumBits Source #

Using 4 bits to encode term tags.

encodeTermTag :: Word8 -> Encoding Source #

decodeTermTag :: Get Word8 Source #

encodeTerm :: forall name uni fun ann. (Closed uni, uni `Everywhere` Flat, PrettyPlc (Term name uni fun ann), Flat fun, Flat ann, Flat name, Flat (Binder name)) => Term name uni fun ann -> Encoding Source #

data SizeLimit Source #

Constructors

NoLimit
Limit Integer

decodeTerm :: forall name uni fun ann. (Closed uni, uni `Everywhere` Flat, PrettyPlc (Term name uni fun ann), Flat fun, Flat ann, Flat name, Flat (Binder name)) => SizeLimit -> Get (Term name uni fun ann) Source #

sizeTerm :: forall name uni fun ann. (Closed uni, uni `Everywhere` Flat, PrettyPlc (Term name uni fun ann), Flat fun, Flat ann, Flat name, Flat (Binder name)) => Term name uni fun ann -> NumBits -> NumBits Source #

newtype WithSizeLimits (n :: Nat) a Source #

A newtype to indicate that the program should be serialized with size checks for constants.

Constructors

WithSizeLimits a

Instances

Instances details

(Closed uni, Everywhere uni Flat, PrettyPlc (Term name uni fun ann), Flat fun, Flat ann, Flat name, Flat (Binder name), KnownNat n) => Flat (WithSizeLimits n (Program name uni fun ann)) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Flat Methods encode :: WithSizeLimits n (Program name uni fun ann) -> Encoding Source # decode :: Get (WithSizeLimits n (Program name uni fun ann)) Source # size :: WithSizeLimits n (Program name uni fun ann) -> NumBits -> NumBits Source #
(Closed uni, Everywhere uni Flat, PrettyPlc (Term name uni fun ann), Flat fun, Flat ann, Flat name, Flat (Binder name), KnownNat n) => Flat (WithSizeLimits n (Term name uni fun ann)) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Flat Methods encode :: WithSizeLimits n (Term name uni fun ann) -> Encoding Source # decode :: Get (WithSizeLimits n (Term name uni fun ann)) Source # size :: WithSizeLimits n (Term name uni fun ann) -> NumBits -> NumBits Source #

module UntypedPlutusCore.Core.Type

termBinds :: Traversal' (Term name uni fun ann) name Source #

Get all the direct child 'name a's of the given Term from LamAbses.

termVars :: Traversal' (Term name uni fun ann) name Source #

Get all the direct child 'name a's of the given Term from Vars.

termUniques :: HasUniques (Term name uni fun ann) => Traversal' (Term name uni fun ann) Unique Source #

Get all the direct child Uniques of the given Term.

termSubterms :: Traversal' (Term name uni fun ann) (Term name uni fun ann) Source #

Get all the direct child Terms of the given Term.

termSubtermsDeep :: Fold (Term name uni fun ann) (Term name uni fun ann) Source #

Get all the transitive child Terms of the given Term.

termUniquesDeep :: HasUniques (Term name uni fun ann) => Fold (Term name uni fun ann) Unique Source #

Get all the transitive child Uniques of the given Term.

Base functors

data TermF (name :: Type) (uni :: Type -> Type) (fun :: Type) (ann :: Type) r Source #

Constructors

VarF !ann !name
LamAbsF !ann !name !r
ApplyF !ann !r !r
ForceF !ann !r
DelayF !ann !r
ConstantF !ann !(Some (ValueOf uni))
BuiltinF !ann !fun
ErrorF !ann

Instances

Instances details

Functor (TermF name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Recursive Methods fmap :: (a -> b) -> TermF name uni fun ann a -> TermF name uni fun ann b Source # (<$) :: a -> TermF name uni fun ann b -> TermF name uni fun ann a Source #
Foldable (TermF name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Recursive Methods fold :: Monoid m => TermF name uni fun ann m -> m Source # foldMap :: Monoid m => (a -> m) -> TermF name uni fun ann a -> m Source # foldMap' :: Monoid m => (a -> m) -> TermF name uni fun ann a -> m Source # foldr :: (a -> b -> b) -> b -> TermF name uni fun ann a -> b Source # foldr' :: (a -> b -> b) -> b -> TermF name uni fun ann a -> b Source # foldl :: (b -> a -> b) -> b -> TermF name uni fun ann a -> b Source # foldl' :: (b -> a -> b) -> b -> TermF name uni fun ann a -> b Source # foldr1 :: (a -> a -> a) -> TermF name uni fun ann a -> a Source # foldl1 :: (a -> a -> a) -> TermF name uni fun ann a -> a Source # toList :: TermF name uni fun ann a -> [a] Source # null :: TermF name uni fun ann a -> Bool Source # length :: TermF name uni fun ann a -> Int Source # elem :: Eq a => a -> TermF name uni fun ann a -> Bool Source # maximum :: Ord a => TermF name uni fun ann a -> a Source # minimum :: Ord a => TermF name uni fun ann a -> a Source # sum :: Num a => TermF name uni fun ann a -> a Source # product :: Num a => TermF name uni fun ann a -> a Source #
Traversable (TermF name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Recursive Methods traverse :: Applicative f => (a -> f b) -> TermF name uni fun ann a -> f (TermF name uni fun ann b) Source # sequenceA :: Applicative f => TermF name uni fun ann (f a) -> f (TermF name uni fun ann a) Source # mapM :: Monad m => (a -> m b) -> TermF name uni fun ann a -> m (TermF name uni fun ann b) Source # sequence :: Monad m => TermF name uni fun ann (m a) -> m (TermF name uni fun ann a) Source #

module PlutusCore.Name

applyProgram :: Monoid a => Program name uni fun a -> Program name uni fun a -> Program name uni fun a Source #

Take one UPLC program and apply it to another.

parseScoped :: (AsParseError e AlexPosn, AsUniqueError e AlexPosn, MonadError e m, MonadQuote m) => ByteString -> m (Program Name DefaultUni DefaultFun AlexPosn) Source #

Parse and rewrite so that names are globally unique, not just unique within their scope.

data DefaultUni a Source #

The universe used by default.

Instances

Instances details

HasUniApply DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods 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 #
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 #
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
GShow DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods gshowsPrec :: forall (a :: k). Int -> DefaultUni a -> ShowS 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) Source #
GCompare DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods gcompare :: forall (a :: k) (b :: k). DefaultUni a -> DefaultUni b -> GOrdering a b Source #
HasConstantIn DefaultUni term => KnownTypeIn DefaultUni term Int Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: (MonadError (ErrorWithCause err cause) m, AsEvaluationFailure err) => (Text -> m ()) -> Maybe cause -> Int -> m term Source # readKnown :: (AsUnliftingError err, AsEvaluationFailure err) => Maybe cause -> term -> Either (ErrorWithCause err cause) Int Source #
KnownBuiltinTypeIn DefaultUni term Data => KnownTypeIn DefaultUni term Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: (MonadError (ErrorWithCause err cause) m, AsEvaluationFailure err) => (Text -> m ()) -> Maybe cause -> Data -> m term Source # readKnown :: (AsUnliftingError err, AsEvaluationFailure err) => Maybe cause -> term -> Either (ErrorWithCause err cause) Data Source #
KnownBuiltinTypeIn DefaultUni term Bool => KnownTypeIn DefaultUni term Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: (MonadError (ErrorWithCause err cause) m, AsEvaluationFailure err) => (Text -> m ()) -> Maybe cause -> Bool -> m term Source # readKnown :: (AsUnliftingError err, AsEvaluationFailure err) => Maybe cause -> term -> Either (ErrorWithCause err cause) Bool Source #
KnownBuiltinTypeIn DefaultUni term () => KnownTypeIn DefaultUni term () Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: (MonadError (ErrorWithCause err cause) m, AsEvaluationFailure err) => (Text -> m ()) -> Maybe cause -> () -> m term Source # readKnown :: (AsUnliftingError err, AsEvaluationFailure err) => Maybe cause -> term -> Either (ErrorWithCause err cause) () Source #
KnownBuiltinTypeIn DefaultUni term Text => KnownTypeIn DefaultUni term Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: (MonadError (ErrorWithCause err cause) m, AsEvaluationFailure err) => (Text -> m ()) -> Maybe cause -> Text -> m term Source # readKnown :: (AsUnliftingError err, AsEvaluationFailure err) => Maybe cause -> term -> Either (ErrorWithCause err cause) Text Source #
KnownBuiltinTypeIn DefaultUni term ByteString => KnownTypeIn DefaultUni term ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: (MonadError (ErrorWithCause err cause) m, AsEvaluationFailure err) => (Text -> m ()) -> Maybe cause -> ByteString -> m term Source # readKnown :: (AsUnliftingError err, AsEvaluationFailure err) => Maybe cause -> term -> Either (ErrorWithCause err cause) ByteString Source #
KnownBuiltinTypeIn DefaultUni term Integer => KnownTypeIn DefaultUni term Integer Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: (MonadError (ErrorWithCause err cause) m, AsEvaluationFailure err) => (Text -> m ()) -> Maybe cause -> Integer -> m term Source # readKnown :: (AsUnliftingError err, AsEvaluationFailure err) => Maybe cause -> term -> Either (ErrorWithCause err cause) Integer Source #
UniOf term ~ DefaultUni => KnownTypeIn DefaultUni term Void Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods makeKnown :: (MonadError (ErrorWithCause err cause) m, AsEvaluationFailure err) => (Text -> m ()) -> Maybe cause -> Void -> m term Source # readKnown :: (AsUnliftingError err, AsEvaluationFailure err) => Maybe cause -> term -> Either (ErrorWithCause err cause) Void 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] => KnownTypeIn DefaultUni term [a] Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: (MonadError (ErrorWithCause err cause) m, AsEvaluationFailure err) => (Text -> m ()) -> Maybe cause -> [a] -> m term Source # readKnown :: (AsUnliftingError err, AsEvaluationFailure err) => Maybe cause -> term -> Either (ErrorWithCause err cause) [a] Source #
KnownBuiltinTypeIn DefaultUni term (a, b) => KnownTypeIn DefaultUni term (a, b) Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: (MonadError (ErrorWithCause err cause) m, AsEvaluationFailure err) => (Text -> m ()) -> Maybe cause -> (a, b) -> m term Source # readKnown :: (AsUnliftingError err, AsEvaluationFailure err) => Maybe cause -> term -> Either (ErrorWithCause err cause) (a, b) 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 #
Contains DefaultUni Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Bool) 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 ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc ByteString) Source #
Contains DefaultUni Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Text) Source #
Contains DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Data) Source #
KnownBuiltinTypeAst DefaultUni Bool => KnownTypeAst DefaultUni Bool Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Bool :: [Hole] Source # type ToBinds Bool :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Bool -> Type TyName DefaultUni () Source #
KnownTypeAst DefaultUni Int Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Int :: [Hole] Source # type ToBinds Int :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Int -> Type TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni Integer => KnownTypeAst DefaultUni Integer Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Integer :: [Hole] Source # type ToBinds Integer :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Integer -> Type TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni () => KnownTypeAst DefaultUni () Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles () :: [Hole] Source # type ToBinds () :: [Some TyNameRep] Source # Methods toTypeAst :: proxy () -> Type TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni ByteString => KnownTypeAst DefaultUni ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles ByteString :: [Hole] Source # type ToBinds ByteString :: [Some TyNameRep] Source # Methods toTypeAst :: proxy ByteString -> Type TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni Text => KnownTypeAst DefaultUni Text Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Text :: [Hole] Source # type ToBinds Text :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Text -> Type TyName DefaultUni () Source #
KnownTypeAst DefaultUni Void Source #
Instance details Defined in PlutusCore.Examples.Builtins Associated Types type ToHoles Void :: [Hole] Source # type ToBinds Void :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Void -> Type TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni Data => KnownTypeAst DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Data :: [Hole] Source # type ToBinds Data :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Data -> Type TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni [a] => KnownTypeAst DefaultUni ([a] :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles [a] :: [Hole] Source # type ToBinds [a] :: [Some TyNameRep] Source # Methods toTypeAst :: proxy [a] -> Type0 TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni (a, b) => KnownTypeAst DefaultUni ((a, b) :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles (a, b) :: [Hole] Source # type ToBinds (a, b) :: [Some TyNameRep] Source # Methods toTypeAst :: proxy (a, b) -> Type0 TyName DefaultUni () Source #
Contains DefaultUni (,) Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc (,)) Source #
Contains DefaultUni [] Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc []) 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 [], Permits constr (,), Permits constr Data)

data DefaultFun Source #

Default built-in functions.

Instances

Instances details

Bounded DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods minBound :: DefaultFun Source # maxBound :: DefaultFun Source #
Enum DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods succ :: DefaultFun -> DefaultFun Source # pred :: DefaultFun -> DefaultFun Source # toEnum :: Int -> DefaultFun Source # fromEnum :: DefaultFun -> Int Source # enumFrom :: DefaultFun -> [DefaultFun] Source # enumFromThen :: DefaultFun -> DefaultFun -> [DefaultFun] Source # enumFromTo :: DefaultFun -> DefaultFun -> [DefaultFun] Source # enumFromThenTo :: DefaultFun -> DefaultFun -> DefaultFun -> [DefaultFun] Source #
Eq DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods (==) :: DefaultFun -> DefaultFun -> Bool Source # (/=) :: DefaultFun -> DefaultFun -> Bool Source #
Ord DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods compare :: DefaultFun -> DefaultFun -> Ordering Source # (<) :: DefaultFun -> DefaultFun -> Bool Source # (<=) :: DefaultFun -> DefaultFun -> Bool Source # (>) :: DefaultFun -> DefaultFun -> Bool Source # (>=) :: DefaultFun -> DefaultFun -> Bool Source # max :: DefaultFun -> DefaultFun -> DefaultFun Source # min :: DefaultFun -> DefaultFun -> DefaultFun Source #
Show DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods showsPrec :: Int -> DefaultFun -> ShowS Source # show :: DefaultFun -> String Source # showList :: [DefaultFun] -> ShowS Source #
Ix DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods range :: (DefaultFun, DefaultFun) -> [DefaultFun] Source # index :: (DefaultFun, DefaultFun) -> DefaultFun -> Int Source # unsafeIndex :: (DefaultFun, DefaultFun) -> DefaultFun -> Int Source # inRange :: (DefaultFun, DefaultFun) -> DefaultFun -> Bool Source # rangeSize :: (DefaultFun, DefaultFun) -> Int Source # unsafeRangeSize :: (DefaultFun, DefaultFun) -> Int Source #
Generic DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Associated Types type Rep DefaultFun :: Type -> Type Source # Methods from :: DefaultFun -> Rep DefaultFun x Source # to :: Rep DefaultFun x -> DefaultFun Source #
Hashable DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods hashWithSalt :: Int -> DefaultFun -> Int Source # hash :: DefaultFun -> Int Source #
NFData DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods rnf :: DefaultFun -> () Source #
Flat DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods encode :: DefaultFun -> Encoding Source # decode :: Get DefaultFun Source # size :: DefaultFun -> NumBits -> NumBits Source #
Pretty DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods pretty :: DefaultFun -> Doc ann Source # prettyList :: [DefaultFun] -> Doc ann Source #
ExMemoryUsage DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods memoryUsage :: DefaultFun -> ExMemory Source #
PrettyBy PrettyConfigPlc DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods prettyBy :: PrettyConfigPlc -> DefaultFun -> Doc ann Source # prettyListBy :: PrettyConfigPlc -> [DefaultFun] -> Doc ann Source #
uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Associated Types type CostingPart uni DefaultFun Source # Methods toBuiltinMeaning :: HasConstantIn uni val => DefaultFun -> BuiltinMeaning val (CostingPart uni DefaultFun) Source #
type Rep DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins type Rep DefaultFun = D1 ('MetaData "DefaultFun" "PlutusCore.Default.Builtins" "plutus-core-0.1.0.0-75cTOscXcmAHq1cwUst1Y0" 'False) (((((C1 ('MetaCons "AddInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SubtractInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultiplyInteger" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "DivideInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QuotientInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RemainderInteger" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ModInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EqualsInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanInteger" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LessThanEqualsInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AppendByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConsByteString" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "SliceByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LengthOfByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IndexByteString" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "EqualsByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LessThanByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanEqualsByteString" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Sha2_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Sha3_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Blake2b_256" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "VerifySignature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AppendString" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EqualsString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EncodeUtf8" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "DecodeUtf8" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IfThenElse" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ChooseUnit" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Trace" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FstPair" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SndPair" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ChooseList" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MkCons" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HeadList" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "TailList" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NullList" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ChooseData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstrData" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "MapData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ListData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "BData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnConstrData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnMapData" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "UnListData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnIData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnBData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "EqualsData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkPairData" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MkNilData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkNilPairData" 'PrefixI 'False) (U1 :: Type -> Type)))))))
type CostingPart uni DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins type CostingPart uni DefaultFun = BuiltinCostModel