dc10-scala
API
Generated with
dc10-scala/dc10.scala/dc10.scala.predef/Variables

Variables

dc10.scala.predef.Variables
See theVariables companion object
trait Variables[F[_]]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Mixins
object dsl

Members list

Value members

Abstract methods

def DEF[A, T](nme: String, arg: F[ValueExpr[A, Unit]], tpe: F[TypeExpr[T, Unit]])(using sp: SourcePos): F[ValueExpr[A => T, Unit]]
def DEF[A, T](nme: String, arg: F[ValueExpr[A, Unit]], tpe: F[TypeExpr[T, Unit]], impl: (ValueExpr[A, Unit]) => F[ValueExpr[T, Unit]])(using sp: SourcePos): F[ValueExpr[A => T, Unit]]
def DEF[A, T](nme: String, arg1: F[ValueExpr[A, Unit]], arg2: F[ValueExpr[A, Unit]], tpe: F[TypeExpr[T, Unit]], impl: (ValueExpr[A, Unit], ValueExpr[A, Unit]) => F[ValueExpr[T, Unit]])(using sp: SourcePos): F[ValueExpr[(A, A) => T, Unit]]
def TYPE[T](nme: String): F[TypeExpr[T, Unit]]
def TYPE[T, Z](nme: String, impl: F[TypeExpr[T, Z]]): F[TypeExpr[T, Z]]
def VAL[Z, T, A](nme: String, tpe: F[TypeExpr[T, Z]])(using sp: SourcePos): F[ValueExpr[T, Z]]
def VAL[Z, T](nme: String, tpe: F[TypeExpr[T, Z]], impl: F[ValueExpr[T, Z]])(using sp: SourcePos): F[ValueExpr[T, Z]]

Givens

Givens

given refT[Z, T]: Conversion[TypeExpr[T, Z], F[TypeExpr[T, Z]]]
given refV[Z, T]: Conversion[ValueExpr[T, Z], F[ValueExpr[T, Z]]]
Generated with