dc10-scalaq
API
Generated with
dc10-scalaq/dc10.scalaq/Vectors/Mixins

Mixins

dc10.scalaq.Vectors.Mixins
trait Mixins extends Vectors[[A] =>> StateT[ErrorF, List[Statement], A]]

Attributes

Graph
Supertypes
trait Vectors[[A] =>> StateT[ErrorF, List[Statement], A]]
class Object
trait Matchable
class Any
Known subtypes
object dsl

Members list

Value members

Concrete methods

def VECTOR[A]: StateT[ErrorF, List[Statement], TypeExpr[VectorN[A], Unit]]
def Vector[A]: StateT[ErrorF, List[Statement], ValueExpr[VectorN[A], Unit]]

Extensions

Extensions

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)]]
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)]]
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)]]
Generated with