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

dsl

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

Attributes

Companion
trait
Graph
Supertypes
trait Mixins
trait Nats[[A] =>> StateT[ErrorF, List[Statement], A]]
trait Mixins
trait Vectors[[A] =>> StateT[ErrorF, List[Statement], A]]
trait Mixins
trait Pi[[A] =>> StateT[ErrorF, List[Statement], A]]
trait Mixins
trait LinearTypes[[A] =>> StateT[ErrorF, List[Statement], A]]
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, Z](nme: String, arg1: StateT[ErrorF, List[Statement], ValueExpr[A, Z]], arg2: StateT[ErrorF, List[Statement], ValueExpr[A, Z]], tpe: StateT[ErrorF, List[Statement], TypeExpr[T, Z]], impl: (ValueExpr[A, Z], ValueExpr[A, Z]) => StateT[ErrorF, List[Statement], ValueExpr[T, Z]])(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[(A, A) => T, Z]]

Attributes

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

Attributes

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

Attributes

Inherited from:
Mixins
def EVEN: StateT[ErrorF, List[Statement], TypeExpr[Even, Unit]]

Attributes

Inherited from:
Mixins
def EVEN2: StateT[ErrorF, List[Statement], TypeExpr[Even2, 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 Even: StateT[ErrorF, List[Statement], ValueExpr[Even, Unit]]

Attributes

Inherited from:
Mixins
def Even2: StateT[ErrorF, List[Statement], ValueExpr[Even2, 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 FOR[A, Y](f: StateT[ErrorF, List[Statement], ValueExpr[A, Y]])(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[Option[A], (Unit, Y)]]

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 NAT: StateT[ErrorF, List[Statement], TypeExpr[Nat, Unit]]

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 ODD: StateT[ErrorF, List[Statement], TypeExpr[Odd, Unit]]

Attributes

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

Attributes

Inherited from:
Mixins
def Odd: StateT[ErrorF, List[Statement], ValueExpr[Odd, 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 Succ: StateT[ErrorF, List[Statement], ValueExpr[Nat, Unit]]

Attributes

Inherited from:
Mixins
def TUPLE[A, B]: StateT[ErrorF, List[Statement], TypeExpr[(A, B), 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 Tuple[A, B]: StateT[ErrorF, List[Statement], ValueExpr[(A, B), Unit]]

Attributes

Inherited from:
Mixins
def UNIT: StateT[ErrorF, List[Statement], TypeExpr[Unit, 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
def VECTOR[A]: StateT[ErrorF, List[Statement], TypeExpr[VectorN[A], Unit]]

Attributes

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

Attributes

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

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
given uLit: Conversion[Unit, StateT[ErrorF, List[Statement], ValueExpr[Unit, 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](ctor: StateT[ErrorF, List[Statement], ValueExpr[VectorN[A], Unit]])
def of[Z](args: StateT[ErrorF, List[Statement], ValueExpr[A, Z]]*)(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[VectorN[A], (Int, Z)]]

Attributes

Inherited from:
Mixins
extension (ctor: StateT[ErrorF, List[Statement], ValueExpr[Nat, Unit]])
def apply(args: StateT[ErrorF, List[Statement], ValueExpr[Nat, Unit]])(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[Nat, 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, Z]]

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, Z]]

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, Z](fa: StateT[ErrorF, List[Statement], ValueExpr[A, Y]])
def ==>(f: (ValueExpr[A, Y]) => StateT[ErrorF, List[Statement], TypeExpr[B, Z]]): StateT[ErrorF, List[Statement], TypeExpr[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, X]]

Attributes

Inherited from:
Mixins
extension (fa: StateT[ErrorF, List[Statement], ValueExpr[Int, Unit]])
def +:(fb: StateT[ErrorF, List[Statement], ValueExpr[Int, Unit]]): StateT[ErrorF, List[Statement], ValueExpr[Int, Unit]]

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, X]]

Attributes

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

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, Z](list: StateT[ErrorF, List[Statement], ValueExpr[List[A], Z]])
def apply[Y](args: StateT[ErrorF, List[Statement], ValueExpr[A, Y]]*): StateT[ErrorF, List[Statement], ValueExpr[List[A], (Z, Y)]]

Attributes

Inherited from:
Mixins
extension [G[_], A, X, Y](nme: String)
def <--(ff: StateT[ErrorF, List[Statement], ValueExpr[G[A], (X, Y)]]): StateT[ErrorF, List[Statement], ValueExpr[A, Y]]

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
extension [A](tfunction: StateT[ErrorF, List[Statement], TypeExpr[VectorN[A], Unit]])
def apply[Z](len: StateT[ErrorF, List[Statement], ValueExpr[Int, Unit]], targs: StateT[ErrorF, List[Statement], TypeExpr[A, Z]]): StateT[ErrorF, List[Statement], TypeExpr[VectorN[A], (Int, Z)]]

Attributes

Inherited from:
Mixins
extension [Z](tfunction: StateT[ErrorF, List[Statement], TypeExpr[Even, Z]])
def apply(targs: StateT[ErrorF, List[Statement], ValueExpr[Nat, Unit]])(using sp: SourcePos): StateT[ErrorF, List[Statement], TypeExpr[Even, Nat]]

Attributes

Inherited from:
Mixins
extension [Z](tfunction: StateT[ErrorF, List[Statement], TypeExpr[Odd, Z]])
def apply(targs: StateT[ErrorF, List[Statement], ValueExpr[Nat, Unit]])(using sp: SourcePos): StateT[ErrorF, List[Statement], TypeExpr[Odd, Nat]]

Attributes

Inherited from:
Mixins
extension [Z](tfunction: StateT[ErrorF, List[Statement], TypeExpr[Even2, Z]])
def apply(targs: StateT[ErrorF, List[Statement], ValueExpr[Nat, Unit]])(using sp: SourcePos): StateT[ErrorF, List[Statement], TypeExpr[Even2, Nat]]

Attributes

Inherited from:
Mixins
extension [A, B](tuple: StateT[ErrorF, List[Statement], ValueExpr[(A, B), Unit]])
def apply[Y, Z](arg1: StateT[ErrorF, List[Statement], ValueExpr[A, Y]], arg2: StateT[ErrorF, List[Statement], ValueExpr[B, Z]]): StateT[ErrorF, List[Statement], ValueExpr[(A, B), (Unit, (Y, Z))]]

Attributes

Inherited from:
Mixins
extension [Z, A](vector1: StateT[ErrorF, List[Statement], ValueExpr[VectorN[A], (Int, Z)]])
def ++(vector2: StateT[ErrorF, List[Statement], ValueExpr[VectorN[A], (Int, Z)]])(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[VectorN[A], (Int, Z)]]

Attributes

Inherited from:
Mixins
Generated with