Documentation

type CostReqs size prec = (Floating prec, Num size, Ord prec, SizeToPrec size prec) #

type CostModelReqs size prec cost = (CostModel cost, prec ~ PrecType cost, SizeToPrec size prec, Ord cost) #

type CostAnalysisMonad ext = Reader (EvaluationEnv ext) #