dc10-scala
API
Generated with
dc10-scala/dc10.scala/dsl

dsl

dc10.scala.dsl
See thedsl companion trait
object dsl extends dsl, Mixins, Mixins, Mixins, Mixins, Mixins, Mixins, Mixins, Mixins, Mixins

Attributes

Companion
trait
Graph
Supertypes
trait Mixins
trait Files[[A] =>> StateT[ErrorF, List[Statement], A], [A] =>> StateT[ErrorF, List[File], A]]
trait Mixins
trait Packages[[A] =>> StateT[ErrorF, List[File], A]]
trait Mixins
trait Objects[[A] =>> StateT[ErrorF, List[Statement], A]]
trait Mixins
trait TemplateTypes[[A] =>> StateT[ErrorF, List[Statement], A], [A] =>> StateT[ErrorF, List[ValueDef], A]]
trait Mixins
trait PrimitiveTypes[[A] =>> StateT[ErrorF, List[Statement], A]]
trait Mixins
trait ComplexTypes[[A] =>> StateT[ErrorF, List[Statement], A]]
trait Mixins
trait Variables[[A] =>> StateT[ErrorF, List[Statement], A]]
trait Mixins
trait Functions[[A] =>> StateT[ErrorF, List[Statement], A]]
trait Mixins
trait Applications[[A] =>> StateT[ErrorF, List[Statement], A]]
trait dsl
class Object
trait Matchable
class Any
Show all
Self type
dsl.type

Members list

Value members

Inherited methods

def BOOLEAN: StateT[ErrorF, List[Statement], TypeExpr[Boolean, Unit]]

Attributes

Inherited from:
Mixins
def CASE[A, B, X, Z](f: StateT[ErrorF, List[Statement], TypeExpr[A => B, Z]])(using sp: SourcePos): StateT[ErrorF, List[Statement], Unit]

Attributes

Inherited from:
Mixins
def CASECLASS[T, A, B](name: String, fields: StateT[ErrorF, List[ValueDef], (ValueExpr[A, Unit], ValueExpr[B, Unit])])(using sp: SourcePos): StateT[ErrorF, List[Statement], (TypeExpr[T, Unit], ValueExpr[(A, B) => T, Unit])]

Attributes

Inherited from:
Mixins
def CASECLASS[T, A](name: String, fields: StateT[ErrorF, List[ValueDef], ValueExpr[A, Unit]])(using sp: SourcePos): StateT[ErrorF, List[Statement], (TypeExpr[T, Unit], ValueExpr[A => T, Unit])]

Attributes

Inherited from:
Mixins
def DEF[A, T](nme: String, arg1: StateT[ErrorF, List[Statement], ValueExpr[A, Unit]], arg2: StateT[ErrorF, List[Statement], ValueExpr[A, Unit]], tpe: StateT[ErrorF, List[Statement], TypeExpr[T, Unit]], impl: (ValueExpr[A, Unit], ValueExpr[A, Unit]) => StateT[ErrorF, List[Statement], ValueExpr[T, Unit]])(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[(A, A) => T, Unit]]

Attributes

Inherited from:
Mixins
def DEF[A, T](nme: String, arg: StateT[ErrorF, List[Statement], ValueExpr[A, Unit]], tpe: StateT[ErrorF, List[Statement], TypeExpr[T, Unit]], impl: (ValueExpr[A, Unit]) => StateT[ErrorF, List[Statement], ValueExpr[T, Unit]])(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[A => T, Unit]]

Attributes

Inherited from:
Mixins
def DEF[A, T](nme: String, arg: StateT[ErrorF, List[Statement], ValueExpr[A, Unit]], tpe: StateT[ErrorF, List[Statement], TypeExpr[T, Unit]])(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[A => T, Unit]]

Attributes

Inherited from:
Mixins
def EXT[G[_], B](func: StateT[ErrorF, List[Statement], G[B]])(using sp: SourcePos): StateT[ErrorF, List[Statement], G[B]]

Attributes

Inherited from:
Mixins
def EXTENSION[T](nme: String, tpe: StateT[ErrorF, List[Statement], TypeExpr[T, Unit]])(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[T, Unit]]

Attributes

Inherited from:
Mixins
def FIELD[T](nme: String, tpe: StateT[ErrorF, List[Statement], TypeExpr[T, Unit]])(using sp: SourcePos): StateT[ErrorF, List[ValueDef], ValueExpr[T, Unit]]

Attributes

Inherited from:
Mixins
def FILE[A](nme: String, statements: StateT[ErrorF, List[Statement], A])(using sp: SourcePos): StateT[ErrorF, List[File], A]

Attributes

Inherited from:
Mixins
def INT: StateT[ErrorF, List[Statement], TypeExpr[Int, Unit]]

Attributes

Inherited from:
Mixins
def LIST[A]: StateT[ErrorF, List[Statement], TypeExpr[List[A], Unit]]

Attributes

Inherited from:
Mixins
def List[A]: StateT[ErrorF, List[Statement], ValueExpr[List[A], Unit]]

Attributes

Inherited from:
Mixins
def MATCHTYPES[T[_], A, B, Y](nme: String, arg: StateT[ErrorF, List[Statement], TypeExpr[A, Y]], cases: (TypeExpr[A, Y]) => StateT[ErrorF, List[Statement], B])(using sp: SourcePos): StateT[ErrorF, List[Statement], TypeExpr[T[A], Y]]

Attributes

Inherited from:
Mixins
def OBJECT[T, A](name: String, parent: TypeExpr[T, Unit], contents: StateT[ErrorF, List[Statement], A]): StateT[ErrorF, List[Statement], List[Statement]]

Attributes

Inherited from:
Mixins
def OBJECT[T, A](name: String, contents: StateT[ErrorF, List[Statement], A]): StateT[ErrorF, List[Statement], List[Statement]]

Attributes

Inherited from:
Mixins
def OPTION[A]: StateT[ErrorF, List[Statement], TypeExpr[Option[A], Unit]]

Attributes

Inherited from:
Mixins
def Option[A]: StateT[ErrorF, List[Statement], ValueExpr[Option[A], Unit]]

Attributes

Inherited from:
Mixins
def PACKAGE[A](nme: String, files: StateT[ErrorF, List[File], A])(using sp: SourcePos): StateT[ErrorF, List[File], A]

Attributes

Inherited from:
Mixins
def STRING: StateT[ErrorF, List[Statement], TypeExpr[String, Unit]]

Attributes

Inherited from:
Mixins
def Some[A]: StateT[ErrorF, List[Statement], ValueExpr[Option[A], Unit]]

Attributes

Inherited from:
Mixins
def TYPE[T, Z](nme: String, impl: StateT[ErrorF, List[Statement], TypeExpr[T, Z]]): StateT[ErrorF, List[Statement], TypeExpr[T, Z]]

Attributes

Inherited from:
Mixins
def TYPE[T](nme: String): StateT[ErrorF, List[Statement], TypeExpr[T, Unit]]

Attributes

Inherited from:
Mixins
def VAL[Z, T](nme: String, tpe: StateT[ErrorF, List[Statement], TypeExpr[T, Z]], impl: StateT[ErrorF, List[Statement], ValueExpr[T, Z]])(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[T, Z]]

Attributes

Inherited from:
Mixins
def VAL[Z, T, A](nme: String, tpe: StateT[ErrorF, List[Statement], TypeExpr[T, Z]])(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[T, Z]]

Attributes

Inherited from:
Mixins

Givens

Inherited givens

given bLit: Conversion[Boolean, StateT[ErrorF, List[Statement], ValueExpr[Boolean, Unit]]]

Attributes

Inherited from:
Mixins
given iLit: Conversion[Int, StateT[ErrorF, List[Statement], ValueExpr[Int, Unit]]]

Attributes

Inherited from:
Mixins
given refT[Z, T]: Conversion[TypeExpr[T, Z], StateT[ErrorF, List[Statement], TypeExpr[T, Z]]]

Attributes

Inherited from:
Mixins
given refV[Z, T]: Conversion[ValueExpr[T, Z], StateT[ErrorF, List[Statement], ValueExpr[T, Z]]]

Attributes

Inherited from:
Mixins
given sLit: Conversion[String, StateT[ErrorF, List[Statement], ValueExpr[String, Unit]]]

Attributes

Inherited from:
Mixins

Extensions

Inherited extensions

extension [A, B](arg1: StateT[ErrorF, List[Statement], ValueExpr[A, Unit]])
def DOT(func: StateT[ErrorF, List[Statement], ValueExpr[A => B, Unit]])(arg2: StateT[ErrorF, List[Statement], ValueExpr[B, Unit]]): StateT[ErrorF, List[Statement], ValueExpr[B, Unit]]

Attributes

Inherited from:
Mixins
extension [A, B](arg1: StateT[ErrorF, List[Statement], ValueExpr[A, Unit]] | ValueExpr[A, Unit])
def DOT(func: StateT[ErrorF, List[Statement], ValueExpr[A => B, Unit]])(arg2: StateT[ErrorF, List[Statement], ValueExpr[B, Unit]]): StateT[ErrorF, List[Statement], ValueExpr[B, Unit]]

Attributes

Inherited from:
Mixins
extension [A, B, Y, Z](domain: StateT[ErrorF, List[Statement], TypeExpr[A, Y]])
def ==>(codomain: StateT[ErrorF, List[Statement], TypeExpr[B, Z]]): StateT[ErrorF, List[Statement], TypeExpr[A => B, Unit]]

Attributes

Inherited from:
Mixins
extension [Z, A, B](domain: StateT[ErrorF, List[Statement], (TypeExpr[A, Z], TypeExpr[A, Z])])
def ==>(codomain: StateT[ErrorF, List[Statement], TypeExpr[B, Z]]): StateT[ErrorF, List[Statement], TypeExpr[(A, A) => B, Z]]

Attributes

Inherited from:
Mixins
extension [A, B, X, Y](fa: StateT[ErrorF, List[Statement], ValueExpr[A, Y]])
def ==>(f: (ValueExpr[A, Y]) => StateT[ErrorF, List[Statement], ValueExpr[B, X]]): StateT[ErrorF, List[Statement], ValueExpr[A => B, Unit]]

Attributes

Inherited from:
Mixins
extension [A, B](fa: StateT[ErrorF, List[Statement], (ValueExpr[A, Unit], ValueExpr[A, Unit])])
def ==>(f: (ValueExpr[A, Unit], ValueExpr[A, Unit]) => StateT[ErrorF, List[Statement], ValueExpr[B, Unit]]): StateT[ErrorF, List[Statement], ValueExpr[(A, A) => B, Unit]]

Attributes

Inherited from:
Mixins
extension [A, B, Y, Z](function: StateT[ErrorF, List[Statement], ValueExpr[A => B, Y]])
def apply(args: StateT[ErrorF, List[Statement], ValueExpr[A, Y]])(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[B, Y]]

Attributes

Inherited from:
Mixins
extension [A](list: StateT[ErrorF, List[Statement], ValueExpr[List[A], Unit]])
def apply[Z](args: StateT[ErrorF, List[Statement], ValueExpr[A, Z]]*): StateT[ErrorF, List[Statement], ValueExpr[List[A], (Unit, Z)]]

Attributes

Inherited from:
Mixins
extension [A](option: StateT[ErrorF, List[Statement], ValueExpr[Option[A], Unit]])
def apply[Z](arg: StateT[ErrorF, List[Statement], ValueExpr[A, Z]]): StateT[ErrorF, List[Statement], ValueExpr[Option[A], (Unit, Z)]]

Attributes

Inherited from:
Mixins
extension [A](option: StateT[ErrorF, List[Statement], ValueExpr[Some[A], Unit]])
def apply[Z](arg: StateT[ErrorF, List[Statement], ValueExpr[A, Z]]): StateT[ErrorF, List[Statement], ValueExpr[Some[A], (Unit, Z)]]

Attributes

Inherited from:
Mixins
extension [T[_], A, Y](tfunction: StateT[ErrorF, List[Statement], TypeExpr[T[A], Y]])
def apply[Z](targs: StateT[ErrorF, List[Statement], TypeExpr[A, Z]]): StateT[ErrorF, List[Statement], TypeExpr[T[A], (Y, Z)]]

Attributes

Inherited from:
Mixins
extension [T[_, _], A, B, X, Y, Z](tfunction: StateT[ErrorF, List[Statement], TypeExpr[T[A, B], X]])
def apply(fta: StateT[ErrorF, List[Statement], TypeExpr[A, Y]], ftb: StateT[ErrorF, List[Statement], TypeExpr[B, Z]]): StateT[ErrorF, List[Statement], TypeExpr[T[A, B], (X, (Y, Z))]]

Attributes

Inherited from:
Mixins
Generated with