Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Opts
Documentation
data BudgetMode a Source #
Instances
Functor BudgetMode Source # | |
Defined in 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 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 #