gql-core
0.2.8-23-b552e1c
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 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 choice[I2](that: Resolver[F, I2, O]): Resolver[F, Either[I, I2], O]
Implicitly added by InvariantOps

Attributes

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

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 continue[O2](f: Resolver[F, O, O] => Resolver[F, O, O2]): Resolver[F, I, O2]
Implicitly added by InvariantOps

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 InvariantOps

Attributes

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

Attributes

Source
Resolver.scala
def econtraMap[I2](f: I2 => Ior[String, I]): Resolver[F, I2, O]
Implicitly added by InvariantOps

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 StreamOps

Attributes

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

Attributes

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

Attributes

Source
Resolver.scala
def evalContramap[F2[x], I1 <: I, I2](f: I2 => F2[I1]): Resolver[F2, I2, O]

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 force[G[_] : Functor](implicit evidence$6: Foldable[G], evidence$7: FunctorFilter[G], evidence$8: Functor[G], S: ShowMissingKeys[K]): Resolver[F, G[K], G[V]]
Implicitly added by ResolverBatchOps

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Source
Resolver.scala
def optionals[G[_] : Functor]: Resolver[F, G[K], G[Option[V]]]
Implicitly added by ResolverBatchOps

Attributes

Source
Resolver.scala
def rethrow: Resolver[F, I, O]
Implicitly added by RethrowOps

Attributes

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

Attributes

Source
Resolver.scala
def skipThat(compute: Resolver[F, I2, O]): Resolver[F, I, O]
Implicitly added by SkipThatInvariantOps

Attributes

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

Attributes

Source
Resolver.scala
def skipThis[I2](verify: Resolver[F, I2, Either[I, O]]): Resolver[F, I2, O]
Implicitly added by InvariantOps

Attributes

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

Attributes

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

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 tupleIn: Resolver[F, I, (O, I)]
Implicitly added by InvariantOps

Attributes

Source
Resolver.scala
def values[G[_] : Functor]: Resolver[F, G[K], G[V]]
Implicitly added by ResolverBatchOps

Attributes

Source
Resolver.scala
Generated with