Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.CQPL.Cost

Contents

Synopsis

programCost :: forall sizeT c precT. (Integral sizeT, CostModel c, precT ~ PrecType c, Ord c, Floating precT) => Program sizeT -> (c, CostMap c)
type CostMap c = Map Ident c
type CostCalculator sizeT c = ReaderT (CostEnv sizeT) (StateT (CostMap c) (Either String))

Documentation

programCost :: forall sizeT c precT. (Integral sizeT, CostModel c, precT ~ PrecType c, Ord c, Floating precT) => Program sizeT -> (c, CostMap c) #

types

Cache the costs of each procedure

Monad to compute unitary cost.