Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Analysis.CostModel.Class

Synopsis

Documentation

Type of a query/execution: either run on a classical computer, or a quantum computer (as a unitary).

Constructors

Classical
Unitary

Instances details

Read QueryType #
Instance details Defined in Traq.Analysis.CostModel.Class Methods readsPrec :: Int -> ReadS QueryType # readList :: ReadS [QueryType] # readPrec :: ReadPrec QueryType # readListPrec :: ReadPrec [QueryType] #
Show QueryType #
Instance details Defined in Traq.Analysis.CostModel.Class Methods showsPrec :: Int -> QueryType -> ShowS # show :: QueryType -> String # showList :: [QueryType] -> ShowS #
Eq QueryType #
Instance details Defined in Traq.Analysis.CostModel.Class Methods (==) :: QueryType -> QueryType -> Bool # (/=) :: QueryType -> QueryType -> Bool #

A generic cost model

Methods

Make one query to a function of the given name

Execute a classical expression assignment.

Execute a classical distribution (randomized) expression assignment.

callUOp :: prec ~ PrecType c => Unitary prec size -> c #

Execute a basic unitary operation of QPL

Instances details

Rig a => CostModel (QueryCost a) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods query :: QueryType -> Ident -> QueryCost a # callExpr :: BasicExpr size -> QueryCost a # callDistrExpr :: prec ~ PrecType (QueryCost a) => DistrExpr prec size -> QueryCost a # callUOp :: prec ~ PrecType (QueryCost a) => Unitary prec size -> QueryCost a #
(Module a a, Rig a) => CostModel (SimpleQueryCost a) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods query :: QueryType -> Ident -> SimpleQueryCost a # callExpr :: BasicExpr size -> SimpleQueryCost a # callDistrExpr :: prec ~ PrecType (SimpleQueryCost a) => DistrExpr prec size -> SimpleQueryCost a # callUOp :: prec ~ PrecType (SimpleQueryCost a) => Unitary prec size -> SimpleQueryCost a #