Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data BudgetMode a Source #
Instances
Functor BudgetMode Source # | |
Defined in Opts 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 #
Instances
Functor EvalOptions Source # | |
Defined in Opts fmap ∷ (a → b) → EvalOptions a → EvalOptions b Source # (<$) ∷ a → EvalOptions b → EvalOptions a Source # |
evalOpts ∷ Parser (EvalOptions ()) Source #
type CostModel = (CekMachineCosts, BuiltinCostMap) Source #