cherry-lamr/cherry.lamr/Lang

Lang

enum Lang[+R] extends SimpleTraversing[Lang, R]
Companion:
object
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case Builtin
case GetKey
case Str
case Float
case Integer
case Bool

Type members

Enum entries

case AndThen[+R](left: R, right: R)
case Apply extends Lang[Nothing]
case Bool(value: Boolean) extends Lang[Nothing]
case Builtin(bt: BuiltinType) extends Lang[Nothing]
case Capture[+R](domain: R, body: R)
case Extend[+R](base: R, deps: R)
case External(ref: LibRef) extends Lang[Nothing]
case Float(value: Double) extends Lang[Nothing]
case Function[+R](domain: R, body: R)
case GetKey(key: RecordKey, up: Int) extends Lang[Nothing]
case Id extends Lang[Nothing]
case Integer(value: BigInt) extends Lang[Nothing]
case Merge[+R](base: R, deps: R)
case Narrow[+R](term: R, typ: R)
case Record[+R](name: RecordKey, typ: R, options: TypeOptions)
case Set[+R](key: RecordKey, term: R)
case Str(value: String) extends Lang[Nothing]
case Unit extends Lang[Nothing]
case Universe(options: TypeOptions) extends Lang[Nothing]

Value members

Concrete methods

def fix: Fix[G]
Extension method from Lang