gql-monadic-arrow
0.3.5-19-241f189
API
Generated with
gql-monadic-arrow/gql.arrow/ResolverArrowDsl

ResolverArrowDsl

gql.arrow.ResolverArrowDsl
trait ResolverArrowDsl[F[_]] extends Language[[_, _] =>> Resolver[F, _$2, _$3]]

Attributes

Source
dsl.scala
Graph
Supertypes
class Language[[_, _] =>> Resolver[F, _$2, _$3]]
class Object
trait Matchable
class Any

Members list

Type members

Classlikes

implicit class FieldBuilderOps[A](fb: FieldBuilder[F, A])

Attributes

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

Attributes

Source
dsl.scala
Supertypes
class Object
trait Matchable
class Any

Inherited classlikes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Language
Source
Language.scala
Supertypes
class Object
trait Matchable
class Any

Inherited types

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

Attributes

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

Attributes

Inherited from:
Language
Source
Language.scala

Value members

Concrete methods

def argument[A](arg: Arg[A])(implicit sp: SourcePos): Decl[Var[A]]

Attributes

Source
dsl.scala
def meta[A](implicit sp: SourcePos): Decl[Var[FieldMeta[F]]]

Attributes

Source
dsl.scala

Inherited methods

def askArrow: Decl[Arrow[F]]

Attributes

Inherited from:
Language
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[[_, _] =>> Resolver[F, _$2, _$3]]): Decl[Var[C]]

Attributes

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

Attributes

Inherited from:
Language
Source
Language.scala
def liftArrow[A](fa: Resolver[F, Any, A])(implicit sp: SourcePos): Decl[Var[A]]

Attributes

Inherited from:
Language
Source
Language.scala
def liftUnitArrow[A](fa: Resolver[F, Unit, A])(implicit sp: SourcePos): Decl[Var[A]]

Attributes

Inherited from:
Language
Source
Language.scala
def proc[A]: PartiallyAppliedLanguageCompiler[A]

Attributes

Inherited from:
Language
Source
Language.scala
def procFull[A, B](f: Var[A] => Decl[Var[B]])(implicit arrow: Arrow[[_, _] =>> Resolver[F, _$2, _$3]], sp: SourcePos): F[A, B]

Attributes

Inherited from:
Language
Source
Language.scala

Implicits

Implicits

final implicit def FieldBuilderOps[A](fb: FieldBuilder[F, A]): FieldBuilderOps[A]

Attributes

Source
dsl.scala
final implicit def VarResolverOps[A](v: Var[A]): VarResolverOps[A]

Attributes

Source
dsl.scala

Inherited implicits

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Language
Source
Language.scala
Generated with