CostLang

object CostLang
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

case class Cost[C, K[_]](c: C) extends CostLang[C, K, Unit]
case class GetCost[C, K[_], A](ev: C === A) extends CostLang[C, K, A]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def cost[C, K[_]](c: C): CostLang[C, K, Unit]
def getCost[C, K[_]](): CostLang[C, K, C]