| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Traq.Analysis.CostModel.Class
Documentation
Type of a query/execution: either run on a classical computer, or a quantum computer (as a unitary).
class (Monoidal c, Module (PrecType c) c) => CostModel c where #
A generic cost model
Methods
query :: QueryType -> Ident -> c #
Make one query to a function of the given name
callExpr :: QueryType -> BasicExpr sizeT -> c #
Execute an expression.
callDistrExpr :: QueryType -> DistrExpr sizeT -> c #
Execute a distribution (randomized) expression
Instances
| Rig a => CostModel (QueryCost a) # | |
| (Module a a, Rig a) => CostModel (SimpleQueryCost a) # | |
Defined in Traq.Analysis.CostModel.QueryCost Methods query :: QueryType -> Ident -> SimpleQueryCost a # callExpr :: QueryType -> BasicExpr sizeT -> SimpleQueryCost a # callDistrExpr :: QueryType -> DistrExpr sizeT -> SimpleQueryCost a # | |