Cost
data class Cost<C : CostMonoid<C>>(features: PersistentMap<CostFeature, C>) : CostMonoid<Cost<C>> , Map<CostFeature, C> , PrettyPrintable
Content copied to clipboard
The cost of executing a piece of code or sending a message. Consists of a map of features over some cost monoid.
Constructors
Cost
Link copied to clipboard
Functions
containsKey
Link copied to clipboard
containsValue
Link copied to clipboard
featureMap
Link copied to clipboard
forEach
Link copied to clipboard
get
Link copied to clipboard
getOrDefault
Link copied to clipboard
toDocument
Link copied to clipboard