dc10-scala
API
Generated with
dc10-scala/dc10.scala/dc10.scala.predef/dc10.scala.predef.datatype/TemplateTypes

TemplateTypes

dc10.scala.predef.datatype.TemplateTypes
See theTemplateTypes companion object
trait TemplateTypes[F[_], G[_]]

Attributes

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

Members list

Value members

Abstract methods

def CASECLASS[T, A](name: String, fields: G[ValueExpr[A, Unit]])(using sp: SourcePos): F[(TypeExpr[T, Unit], ValueExpr[A => T, Unit])]
def CASECLASS[T, A, B](name: String, fields: G[(ValueExpr[A, Unit], ValueExpr[B, Unit])])(using sp: SourcePos): F[(TypeExpr[T, Unit], ValueExpr[(A, B) => T, Unit])]
def EXTENSION[T](nme: String, tpe: F[TypeExpr[T, Unit]])(using sp: SourcePos): F[ValueExpr[T, Unit]]
def FIELD[T](nme: String, tpe: F[TypeExpr[T, Unit]])(using sp: SourcePos): G[ValueExpr[T, Unit]]
Generated with