| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusCore.Compiler.Opts
Documentation
data CompilationOpts name fun a Source #
Constructors
| CompilationOpts | |
Fields
| |
coSimplifyOpts :: forall name1 fun a1 name2 a2 f. Functor f => (SimplifyOpts name1 a1 -> f (SimplifyOpts name2 a2)) -> CompilationOpts name1 fun a1 -> f (CompilationOpts name2 fun a2) Source #
coBuiltinSemanticsVariant :: forall name fun1 a fun2 f. Functor f => (BuiltinSemanticsVariant fun1 -> f (BuiltinSemanticsVariant fun2)) -> CompilationOpts name fun1 a -> f (CompilationOpts name fun2 a) Source #
defaultCompilationOpts :: Default (BuiltinSemanticsVariant fun) => CompilationOpts name fun a Source #