gql-core
0.3.4-37-630a19e
API
Generated with
gql-core/gql/gql.resolver/Resolver

Resolver

gql.resolver.Resolver
See theResolver companion object
final class Resolver[+F[_], -I, +O](val underlying: Step[F, I, O])

Resolver is one of the core abstractions of gql. The resolver class contains a collection of methods to aid comosition.

A Resolver forms an cats.arrow.Arrow; it can lift a function I => O. Resolver also forms cats.arrow.Choice which allows conditional branching.

Resolver also forms an cats.Applicative instance that sequences the operations.

Some methods are only available resolvers that have a certain shape. Consider taking a look at the companion object for more information.

Attributes

Companion
object
Source
Resolver.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def all[G[_] : Functor]: Resolver[F, G[K], G[Option[V]]]
Implicitly added by ResolverBatchOps

Attributes

Source
Resolver.scala
def andThen[F2[x], O2](that: Resolver[F2, O, O2]): Resolver[F2, I, O2]

Attributes

Source
Resolver.scala
def arg[A](arg: Arg[A]): Resolver[F, I, (A, O)]

Attributes

Source
Resolver.scala
def batch[K, V](implicit ev: Set[K] =:= I, ev2: O =:= Map[K, V]): ResolverBatchOps[F, K, V]
Implicitly added by ResolverInvariantOps

Attributes

Source
Resolver.scala
def bothThrough[O1, O2](fa: Resolver[F, L, O1])(fb: Resolver[F, R, O2]): Resolver[F, I, Either[O1, O2]]
Implicitly added by ResolverEitherOps

Attributes

Source
Resolver.scala
def choice[I2](that: Resolver[F, I2, O]): Resolver[F, Either[I, I2], O]
Implicitly added by ResolverInvariantOps

Attributes

Source
Resolver.scala
def choose[I2, O2](that: Resolver[F, I2, O2]): Resolver[F, Either[I, I2], Either[O, O2]]
Implicitly added by ResolverInvariantOps

Attributes

Source
Resolver.scala
def compose[F2[x], I1 <: I, I2](that: Resolver[F2, I2, I1]): Resolver[F2, I2, O]

Attributes

Source
Resolver.scala
def contraArg[A, I2](arg: Arg[A])(implicit ev: (A, I2) <:< I): Resolver[F, I2, O]

Attributes

Source
Resolver.scala
def contramap[I2](f: I2 => I): Resolver[F, I2, O]
Implicitly added by ResolverInvariantOps

Attributes

Source
Resolver.scala
def covaryAll[F2[x], O2 >: O]: Resolver[F2, I, O2]

Attributes

Source
Resolver.scala
def emap[O2](f: O => Ior[String, O2]): Resolver[F, I, O2]

Attributes

Source
Resolver.scala
def embedSequentialStream: Resolver[F, I, O]
Implicitly added by ResolverStreamOps

Attributes

Source
Resolver.scala
def embedStream: Resolver[F, I, O]
Implicitly added by ResolverStreamOps

Attributes

Source
Resolver.scala
def evalMap[F2[x], O2](f: O => F2[O2]): Resolver[F2, I, O2]

Attributes

Source
Resolver.scala
def first[C]: Resolver[F, (I, C), (O, C)]

Attributes

Source
Resolver.scala
def leftThrough[O2](f: Resolver[F, L, L] => Resolver[F, L, O2]): Resolver[F, I, Either[O2, R]]
Implicitly added by ResolverEitherOps

Attributes

Source
Resolver.scala
def map[O2](f: O => O2): Resolver[F, I, O2]

Attributes

Source
Resolver.scala
def meta[F2[x]]: Resolver[F2, I, (FieldMeta[F2], O)]

Attributes

Source
Resolver.scala
def one(implicit S: ShowMissingKeys[K]): Resolver[F, K, V]
Implicitly added by ResolverBatchOps

Attributes

Source
Resolver.scala
def opt: Resolver[F, K, Option[V]]
Implicitly added by ResolverBatchOps

Attributes

Source
Resolver.scala
def rethrow[O2](implicit ev: O <:< Ior[String, O2]): Resolver[F, I, O2]
Implicitly added by ResolverInvariantOps

Attributes

Source
Resolver.scala
def rightThrough[O2](f: Resolver[F, R, R] => Resolver[F, R, O2]): Resolver[F, I, Either[L, O2]]
Implicitly added by ResolverEitherOps

Attributes

Source
Resolver.scala
def sequentialStreamMap[F2[x], O2](f: O => Stream[F2, O2]): Resolver[F2, I, O2]

Attributes

Source
Resolver.scala
def skippable: Resolver[F, Either[I, O], O]
Implicitly added by ResolverInvariantOps

Attributes

Source
Resolver.scala
def step: Step[F, I, O]

Attributes

Source
Resolver.scala
def streamMap[F2[x], O2](f: O => Stream[F2, O2]): Resolver[F2, I, O2]

Attributes

Source
Resolver.scala
def through[O2](f: Resolver[F, O, O] => Resolver[F, O, O2]): Resolver[F, I, O2]
Implicitly added by ResolverInvariantOps

Attributes

Source
Resolver.scala
def traversable[G[_] : Traverse](implicit evidence$3: Traverse[G], S: ShowMissingKeys[K]): Resolver[F, G[K], G[V]]
Implicitly added by ResolverBatchOps

Attributes

Source
Resolver.scala
def tupleIn: Resolver[F, I, (O, I)]
Implicitly added by ResolverInvariantOps

Attributes

Source
Resolver.scala
Generated with