Mixins

dc10.cats.effect.CatsEffect.Mixins
trait Mixins extends CatsEffect[[A] =>> StateT[ErrorF, List[Statement], A]]

Attributes

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

Members list

Value members

Concrete methods

def IO[A]: StateT[ErrorF, List[Statement], TypeExpr[IO[A], Unit]]
def IOAPP(name: String, run: StateT[ErrorF, List[Statement], ValueExpr[IO[Unit], (Unit, Unit)]])(using sp: SourcePos): StateT[ErrorF, List[Statement], ValueExpr[IO[Unit], (Unit, Unit)]]
def Io[A]: StateT[ErrorF, List[Statement], ValueExpr[IO[A], Unit]]
def RUN(program: StateT[ErrorF, List[Statement], ValueExpr[IO[Unit], (Unit, Unit)]]): StateT[ErrorF, List[Statement], ValueExpr[IO[Unit], (Unit, Unit)]]

Extensions

Extensions

extension [A](io: StateT[ErrorF, List[Statement], ValueExpr[IO[A], Unit]])
def apply[Z](arg: StateT[ErrorF, List[Statement], ValueExpr[A, Z]]): StateT[ErrorF, List[Statement], ValueExpr[IO[A], (Unit, Z)]]
extension [A](io: StateT[ErrorF, List[Statement], TypeExpr[IO[A], Unit]])
def PRINTLN(msg: StateT[ErrorF, List[Statement], ValueExpr[String, Unit]]): StateT[ErrorF, List[Statement], ValueExpr[IO[Unit], (Unit, Unit)]]