Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.CQPL.Cost

Contents

Synopsis

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

Documentation

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

types

Cache the costs of each procedure

Monad to compute unitary cost.