cherry-lamr/cherry.lamr/Lang

Lang

object Lang
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Lang.type

Type members

Classlikes

class Call[G[r]](term: Fix[G]) extends Dynamic
object get extends Dynamic
object rec extends Dynamic
object recT extends Dynamic

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 set[G[r]](key: RecordKey, t: Fix[G]): Fix[G]

Givens

Givens

given given_Conversion_Boolean_Fix: Conversion[Boolean, Fix[Lang]]
given given_Conversion_Int_Fix: Conversion[Int, Fix[Lang]]
given given_Conversion_String_Fix: Conversion[String, Fix[Lang]]
given given_Traverse_Lang: Traverse[Lang]

Extensions

Extensions

extension [G[x]](lang: Lang[Fix[G]])
def fix: Fix[G]
extension [G[r]](term: Fix[G])
def andThen[A, H[r]](next: Fix[H]): Fix[H]
def apply[H[r]](args: Fix[H]): Fix[H]
def call: Call[G]
def merge[H[r]](ext: Fix[H]): Fix[H]
infix def |>[A, H[r]](next: Fix[H]): Fix[H]