Pure

object Pure
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[Value](value: Value): Pure[Value]
@inline
def cast[Value]: Value =:= Pure[Value]

Givens

Givens

given Dsl_Pure_Domain_Value: PolyCont[Keyword, Domain, Value]
given IsKeyword_Pure_PureValue[PureValue]: IsKeyword[Pure[PureValue], PureValue]