Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data CompilationOpts name fun a Source #
coSimplifyOpts ∷ ∀ name fun a name a. Lens (CompilationOpts name fun a) (CompilationOpts name fun a) (SimplifyOpts name a) (SimplifyOpts name a) Source #
coBuiltinSemanticsVariant ∷ ∀ name fun a fun. Lens (CompilationOpts name fun a) (CompilationOpts name fun a) (BuiltinSemanticsVariant fun) (BuiltinSemanticsVariant fun) Source #
defaultCompilationOpts ∷ Default (BuiltinSemanticsVariant fun) ⇒ CompilationOpts name fun a Source #