Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Analysis.CostModel.QueryCost

Synopsis

data QueryCost prec = QueryCost {
- uqueries :: Map Ident prec
- cqueries :: Map Ident prec
}
totalQueryCost :: forall a. Rig a => QueryCost a -> Ticks a -> Ticks a -> a
newtype SimpleQueryCost prec = SimpleQueryCost {
- getCost :: prec
}

Documentation

data QueryCost prec #

Constructors

QueryCost
Fields uqueries :: Map Ident prec cqueries :: Map Ident prec

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 prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Associated Types type Rep (QueryCost prec) :: Type -> Type # Methods from :: QueryCost prec -> Rep (QueryCost prec) x # to :: Rep (QueryCost prec) x -> QueryCost prec #
Read prec => Read (QueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods readsPrec :: Int -> ReadS (QueryCost prec) # readList :: ReadS [QueryCost prec] # readPrec :: ReadPrec (QueryCost prec) # readListPrec :: ReadPrec [QueryCost prec] #
Show prec => Show (QueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods showsPrec :: Int -> QueryCost prec -> ShowS # show :: QueryCost prec -> String # showList :: [QueryCost prec] -> ShowS #
Eq prec => Eq (QueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods (==) :: QueryCost prec -> QueryCost prec -> Bool # (/=) :: QueryCost prec -> QueryCost prec -> Bool #
Ord prec => Ord (QueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods compare :: QueryCost prec -> QueryCost prec -> Ordering # (<) :: QueryCost prec -> QueryCost prec -> Bool # (<=) :: QueryCost prec -> QueryCost prec -> Bool # (>) :: QueryCost prec -> QueryCost prec -> Bool # (>=) :: QueryCost prec -> QueryCost prec -> Bool # max :: QueryCost prec -> QueryCost prec -> QueryCost prec # min :: QueryCost prec -> QueryCost prec -> QueryCost prec #
Rig a => CostModel (QueryCost a) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods query :: QueryType -> Ident -> QueryCost a # callExpr :: QueryType -> BasicExpr size -> QueryCost a # callDistrExpr :: QueryType -> DistrExpr size -> QueryCost a #
HasDefault (QueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods default_ :: QueryCost prec #
type Rep (QueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost type Rep (QueryCost prec) = 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 prec)) :*: S1 ('MetaSel ('Just "cqueries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Ident prec))))
type PrecType (QueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost type PrecType (QueryCost prec) = prec

totalQueryCost #

Arguments

:: forall a. Rig a
=> QueryCost a
-> Ticks a	cost per unitary query
-> Ticks a	cost per classical query
-> a

newtype SimpleQueryCost prec #

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 getCost :: prec

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 prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Associated Types type Rep (SimpleQueryCost prec) :: Type -> Type # Methods from :: SimpleQueryCost prec -> Rep (SimpleQueryCost prec) x # to :: Rep (SimpleQueryCost prec) x -> SimpleQueryCost prec #
Read prec => Read (SimpleQueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods readsPrec :: Int -> ReadS (SimpleQueryCost prec) # readList :: ReadS [SimpleQueryCost prec] # readPrec :: ReadPrec (SimpleQueryCost prec) # readListPrec :: ReadPrec [SimpleQueryCost prec] #
Show prec => Show (SimpleQueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods showsPrec :: Int -> SimpleQueryCost prec -> ShowS # show :: SimpleQueryCost prec -> String # showList :: [SimpleQueryCost prec] -> ShowS #
Eq prec => Eq (SimpleQueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods (==) :: SimpleQueryCost prec -> SimpleQueryCost prec -> Bool # (/=) :: SimpleQueryCost prec -> SimpleQueryCost prec -> Bool #
Ord prec => Ord (SimpleQueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods compare :: SimpleQueryCost prec -> SimpleQueryCost prec -> Ordering # (<) :: SimpleQueryCost prec -> SimpleQueryCost prec -> Bool # (<=) :: SimpleQueryCost prec -> SimpleQueryCost prec -> Bool # (>) :: SimpleQueryCost prec -> SimpleQueryCost prec -> Bool # (>=) :: SimpleQueryCost prec -> SimpleQueryCost prec -> Bool # max :: SimpleQueryCost prec -> SimpleQueryCost prec -> SimpleQueryCost prec # min :: SimpleQueryCost prec -> SimpleQueryCost prec -> SimpleQueryCost prec #
(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 size -> SimpleQueryCost a # callDistrExpr :: QueryType -> DistrExpr size -> SimpleQueryCost a #
HasDefault prec => HasDefault (SimpleQueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost Methods default_ :: SimpleQueryCost prec #
type Rep (SimpleQueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost type Rep (SimpleQueryCost prec) = 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 prec)))
type PrecType (SimpleQueryCost prec) #
Instance details Defined in Traq.Analysis.CostModel.QueryCost type PrecType (SimpleQueryCost prec) = prec