gql-monadic-arrow
0.3.5-2-05b2dc6
API
Generated with
gql-monadic-arrow/gql.arrow/Language

Language

gql.arrow.Language
See theLanguage companion object
abstract class Language[F[_, _]]

Attributes

Companion
object
Source
Language.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ResolverArrowDsl[F]
Self type

Members list

Type members

Classlikes

implicit class ArrowOps[A, B](arr: F[A, B])

Attributes

Source
Language.scala
Supertypes
class Object
trait Matchable
class Any
final class PartiallyAppliedLanguageCompiler[A](dummy: Boolean)

Attributes

Source
Language.scala
Supertypes
class Object
trait Matchable
class Any
implicit class VarEitherOps[A, B](v: Var[Either[A, B]])

Attributes

Source
Language.scala
Supertypes
class Object
trait Matchable
class Any
implicit class VarOps[A](v: Var[A])

Attributes

Source
Language.scala
Supertypes
class Object
trait Matchable
class Any

Types

final type Decl[A] = Free[Declaration, A]

Attributes

Source
Language.scala
final type Declaration[A] = DeclAlg[F, A]

Attributes

Source
Language.scala

Value members

Concrete methods

def askArrow: Decl[Arrow[F]]

Attributes

Source
Language.scala
def choice[A, B, C](v: Var[Either[A, B]])(l: Var[A] => Decl[Var[C]])(r: Var[B] => Decl[Var[C]])(implicit sp: SourcePos, c: ArrowChoice[F]): Decl[Var[C]]

Attributes

Source
Language.scala
def declare[A, B](v: Var[A])(f: F[A, B])(implicit sp: SourcePos): Decl[Var[B]]

Attributes

Source
Language.scala
def liftArrow[A](f: F[Unit, Unit] => F[Unit, A])(implicit sp: SourcePos): Decl[Var[A]]

Attributes

Source
Language.scala
def procFull[A, B](f: Var[A] => Decl[Var[B]])(implicit arrow: Arrow[F], sp: SourcePos): F[A, B]

Attributes

Source
Language.scala

Implicits

Implicits

final implicit def ArrowOps[A, B](arr: F[A, B]): ArrowOps[A, B]

Attributes

Source
Language.scala
final implicit def VarEitherOps[A, B](v: Var[Either[A, B]]): VarEitherOps[A, B]

Attributes

Source
Language.scala
final implicit def VarOps[A](v: Var[A]): VarOps[A]

Attributes

Source
Language.scala
Generated with