traq
Safe HaskellSafe-Inferred
LanguageHaskell2010

Traq.Analysis.CostModel.QueryCost

Synopsis

Documentation

data QueryCost precT #

Constructors

QueryCost 

Fields

Instances

Instances details
Functor QueryCost # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

fmap :: (a -> b) -> QueryCost a -> QueryCost b #

(<$) :: a -> QueryCost b -> QueryCost a #

Monoidal a => LeftModule Natural (QueryCost a) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

(.*) :: Natural -> QueryCost a -> QueryCost a #

Semiring a => LeftModule a (QueryCost a) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

(.*) :: a -> QueryCost a -> QueryCost a #

Monoidal a => RightModule Natural (QueryCost a) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

(*.) :: QueryCost a -> Natural -> QueryCost a #

Semiring a => RightModule a (QueryCost a) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

(*.) :: QueryCost a -> a -> QueryCost a #

Additive a => Additive (QueryCost a) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

(+) :: QueryCost a -> QueryCost a -> QueryCost a #

sinnum1p :: Natural -> QueryCost a -> QueryCost a #

sumWith1 :: Foldable1 f => (a0 -> QueryCost a) -> f a0 -> QueryCost a #

Monoidal a => Monoidal (QueryCost a) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

zero :: QueryCost a #

sinnum :: Natural -> QueryCost a -> QueryCost a #

sumWith :: Foldable f => (a0 -> QueryCost a) -> f a0 -> QueryCost a #

Generic (QueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Associated Types

type Rep (QueryCost precT) :: Type -> Type #

Methods

from :: QueryCost precT -> Rep (QueryCost precT) x #

to :: Rep (QueryCost precT) x -> QueryCost precT #

Read precT => Read (QueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

readsPrec :: Int -> ReadS (QueryCost precT) #

readList :: ReadS [QueryCost precT] #

readPrec :: ReadPrec (QueryCost precT) #

readListPrec :: ReadPrec [QueryCost precT] #

Show precT => Show (QueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

showsPrec :: Int -> QueryCost precT -> ShowS #

show :: QueryCost precT -> String #

showList :: [QueryCost precT] -> ShowS #

Eq precT => Eq (QueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

(==) :: QueryCost precT -> QueryCost precT -> Bool #

(/=) :: QueryCost precT -> QueryCost precT -> Bool #

Ord precT => Ord (QueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

compare :: QueryCost precT -> QueryCost precT -> Ordering #

(<) :: QueryCost precT -> QueryCost precT -> Bool #

(<=) :: QueryCost precT -> QueryCost precT -> Bool #

(>) :: QueryCost precT -> QueryCost precT -> Bool #

(>=) :: QueryCost precT -> QueryCost precT -> Bool #

max :: QueryCost precT -> QueryCost precT -> QueryCost precT #

min :: QueryCost precT -> QueryCost precT -> QueryCost precT #

Rig a => CostModel (QueryCost a) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

query :: QueryType -> Ident -> QueryCost a #

callExpr :: QueryType -> BasicExpr sizeT -> QueryCost a #

callDistrExpr :: QueryType -> DistrExpr sizeT -> QueryCost a #

HasDefault (QueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

default_ :: QueryCost precT #

type Rep (QueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

type Rep (QueryCost precT) = D1 ('MetaData "QueryCost" "Traq.Analysis.CostModel.QueryCost" "traq-0.2.0.0-inplace" 'False) (C1 ('MetaCons "QueryCost" 'PrefixI 'True) (S1 ('MetaSel ('Just "uqueries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Ident precT)) :*: S1 ('MetaSel ('Just "cqueries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Ident precT))))
type PrecType (QueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

type PrecType (QueryCost precT) = precT

totalQueryCost #

Arguments

:: forall a. Rig a 
=> QueryCost a 
-> Ticks a

cost per unitary query

-> Ticks a

cost per classical query

-> a 

newtype SimpleQueryCost precT #

A simple cost that counts the number of queries to all external functions. It treats unitary and classical queries as the same.

Constructors

SimpleQueryCost 

Fields

Instances

Instances details
Functor SimpleQueryCost # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

fmap :: (a -> b) -> SimpleQueryCost a -> SimpleQueryCost b #

(<$) :: a -> SimpleQueryCost b -> SimpleQueryCost a #

LeftModule r a => LeftModule r (SimpleQueryCost a) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

(.*) :: r -> SimpleQueryCost a -> SimpleQueryCost a #

RightModule r a => RightModule r (SimpleQueryCost a) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

(*.) :: SimpleQueryCost a -> r -> SimpleQueryCost a #

Additive a => Additive (SimpleQueryCost a) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

(+) :: SimpleQueryCost a -> SimpleQueryCost a -> SimpleQueryCost a #

sinnum1p :: Natural -> SimpleQueryCost a -> SimpleQueryCost a #

sumWith1 :: Foldable1 f => (a0 -> SimpleQueryCost a) -> f a0 -> SimpleQueryCost a #

Monoidal a => Monoidal (SimpleQueryCost a) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

zero :: SimpleQueryCost a #

sinnum :: Natural -> SimpleQueryCost a -> SimpleQueryCost a #

sumWith :: Foldable f => (a0 -> SimpleQueryCost a) -> f a0 -> SimpleQueryCost a #

Generic (SimpleQueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Associated Types

type Rep (SimpleQueryCost precT) :: Type -> Type #

Methods

from :: SimpleQueryCost precT -> Rep (SimpleQueryCost precT) x #

to :: Rep (SimpleQueryCost precT) x -> SimpleQueryCost precT #

Read precT => Read (SimpleQueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

readsPrec :: Int -> ReadS (SimpleQueryCost precT) #

readList :: ReadS [SimpleQueryCost precT] #

readPrec :: ReadPrec (SimpleQueryCost precT) #

readListPrec :: ReadPrec [SimpleQueryCost precT] #

Show precT => Show (SimpleQueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

showsPrec :: Int -> SimpleQueryCost precT -> ShowS #

show :: SimpleQueryCost precT -> String #

showList :: [SimpleQueryCost precT] -> ShowS #

Eq precT => Eq (SimpleQueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

(==) :: SimpleQueryCost precT -> SimpleQueryCost precT -> Bool #

(/=) :: SimpleQueryCost precT -> SimpleQueryCost precT -> Bool #

Ord precT => Ord (SimpleQueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

compare :: SimpleQueryCost precT -> SimpleQueryCost precT -> Ordering #

(<) :: SimpleQueryCost precT -> SimpleQueryCost precT -> Bool #

(<=) :: SimpleQueryCost precT -> SimpleQueryCost precT -> Bool #

(>) :: SimpleQueryCost precT -> SimpleQueryCost precT -> Bool #

(>=) :: SimpleQueryCost precT -> SimpleQueryCost precT -> Bool #

max :: SimpleQueryCost precT -> SimpleQueryCost precT -> SimpleQueryCost precT #

min :: SimpleQueryCost precT -> SimpleQueryCost precT -> SimpleQueryCost precT #

(Module a a, Rig a) => CostModel (SimpleQueryCost a) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

query :: QueryType -> Ident -> SimpleQueryCost a #

callExpr :: QueryType -> BasicExpr sizeT -> SimpleQueryCost a #

callDistrExpr :: QueryType -> DistrExpr sizeT -> SimpleQueryCost a #

HasDefault precT => HasDefault (SimpleQueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

Methods

default_ :: SimpleQueryCost precT #

type Rep (SimpleQueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

type Rep (SimpleQueryCost precT) = D1 ('MetaData "SimpleQueryCost" "Traq.Analysis.CostModel.QueryCost" "traq-0.2.0.0-inplace" 'True) (C1 ('MetaCons "SimpleQueryCost" 'PrefixI 'True) (S1 ('MetaSel ('Just "getCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 precT)))
type PrecType (SimpleQueryCost precT) # 
Instance details

Defined in Traq.Analysis.CostModel.QueryCost

type PrecType (SimpleQueryCost precT) = precT