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