| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
UntypedPlutusCore.Analysis.Builtins
Synopsis
- data BuiltinsInfo (uni ∷ Type → Type) fun = BuiltinsInfo {}
- biSemanticsVariant ∷ ∀ uni fun fun. Lens (BuiltinsInfo uni fun) (BuiltinsInfo uni fun) (BuiltinSemanticsVariant fun) (BuiltinSemanticsVariant fun)
- biUnserializableConstants ∷ ∀ uni fun uni. Lens (BuiltinsInfo uni fun) (BuiltinsInfo uni fun) (Some (ValueOf uni) → Bool) (Some (ValueOf uni) → Bool)
- builtinArityInfo ∷ ∀ uni fun. ToBuiltinMeaning uni fun ⇒ BuiltinsInfo uni fun → fun → Arity
- constantIsSerializable ∷ ∀ uni fun. BuiltinsInfo uni fun → Some (ValueOf uni) → Bool
- termIsSerializable ∷ BuiltinsInfo uni fun → Term name uni fun a → Bool
- defaultUniUnserializableConstants ∷ Some (ValueOf DefaultUni) → Bool
Documentation
data BuiltinsInfo (uni ∷ Type → Type) fun Source #
All non-static information about builtins that the compiler might want.
Constructors
| BuiltinsInfo | |
Fields
| |
Instances
| Default (BuiltinsInfo DefaultUni DefaultFun) Source # | |
Defined in UntypedPlutusCore.Analysis.Builtins Methods | |
biSemanticsVariant ∷ ∀ uni fun fun. Lens (BuiltinsInfo uni fun) (BuiltinsInfo uni fun) (BuiltinSemanticsVariant fun) (BuiltinSemanticsVariant fun) Source #
biUnserializableConstants ∷ ∀ uni fun uni. Lens (BuiltinsInfo uni fun) (BuiltinsInfo uni fun) (Some (ValueOf uni) → Bool) (Some (ValueOf uni) → Bool) Source #
builtinArityInfo ∷ ∀ uni fun. ToBuiltinMeaning uni fun ⇒ BuiltinsInfo uni fun → fun → Arity Source #
Get the arity of a builtin function from the BuiltinInfo.
constantIsSerializable ∷ ∀ uni fun. BuiltinsInfo uni fun → Some (ValueOf uni) → Bool Source #
termIsSerializable ∷ BuiltinsInfo uni fun → Term name uni fun a → Bool Source #