compiler/io.github.aplcornell.viaduct.selection/CostMonoid

CostMonoid

interface CostMonoid<C : CostMonoid<C>> : PrettyPrintable

A commutative monoid that represents a notion of cost for a feature.

Functions

abstract fun concat(other: C): C

abstract fun toDocument(): Document

abstract fun zero(): C

Inheritors