| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
FFI.Opts
Documentation
data BudgetMode a Source #
Instances
| Functor BudgetMode Source # | |
Defined in FFI.Opts Methods fmap ∷ (a → b) → BudgetMode a → BudgetMode b Source # (<$) ∷ a → BudgetMode b → BudgetMode a Source # | |
countingbudget ∷ Parser (BudgetMode ()) Source #
tallyingbudget ∷ Parser (BudgetMode ()) Source #
budgetmode ∷ Parser (BudgetMode ()) Source #
data EvalOptions a Source #
Constructors
| EvalOpts Input Format EvalMode (BudgetMode a) |
Instances
| Functor EvalOptions Source # | |
Defined in FFI.Opts Methods fmap ∷ (a → b) → EvalOptions a → EvalOptions b Source # (<$) ∷ a → EvalOptions b → EvalOptions a Source # | |
evalOpts ∷ Parser (EvalOptions ()) Source #
Constructors
| Eval (EvalOptions a) | |
| Typecheck TypecheckOptions |
type CostModel = (CekMachineCosts, BuiltinCostMap) Source #