gql-core/gql/PreparedQuery

PreparedQuery

object PreparedQuery
Source:
PreparedQuery.scala
class Object
trait Matchable
class Any

Type members

Classlikes

final case class FieldInfo[G[_]](name: String, alias: Option[String], args: Option[Arguments], tpe: SimplifiedType[G], caret: Caret, path: PrepCursor)
Companion:
object
Source:
PreparedQuery.scala
object FieldInfo
Companion:
class
Source:
PreparedQuery.scala
final case class FoundImplementation[G[_], A, B](tpe: Type[G, B], specify: A => Option[B])
final case class MergedImplementation2[G[_], A, B](leaf: Type[G, B], selections: NonEmptyList[PairedFieldSelection[G, B]], specify: A => Option[B])
final case class PairedFieldSelection[G[_], A](info: FieldInfo[G], field: Field[G, A, _])
final case class PositionalError(position: PrepCursor, caret: List[Caret], message: String)
final case class Prep(cycleSet: Set[String], cursor: PrepCursor)
Companion:
object
Source:
PreparedQuery.scala
object Prep
Companion:
class
Source:
PreparedQuery.scala
final case class PrepCursor(position: Chain[Edge])
Companion:
object
Source:
PreparedQuery.scala
object PrepCursor
Companion:
class
Source:
PreparedQuery.scala
object PrepResult
Companion:
class
Source:
PreparedQuery.scala
sealed trait PrepResult[G[_], Q, M, S]
Companion:
object
Source:
PreparedQuery.scala
sealed trait Prepared[F[_], I]
final case class PreparedCont[F[_], I, A](edges: PreparedStep[F, I, A], cont: Prepared[F, A])
final case class PreparedDataField[F[_], A](name: String, alias: Option[String], cont: PreparedCont[F, A, _]) extends PreparedField[F, A]
sealed trait PreparedField[F[_], A]
final case class PreparedLeaf[F[_], I](name: String, encode: I => Json) extends Prepared[F, I]
final case class PreparedList[F[_], A, C, B](of: PreparedCont[F, A, B], toSeq: C => Seq[A]) extends Prepared[F, C]
final case class PreparedMeta(variables: VariableMap, alias: Option[String], args: Option[Arguments])
final case class PreparedOption[F[_], I, O](of: PreparedCont[F, I, O]) extends Prepared[F, Option[I]]
final case class PreparedSpecification[F[_], I, A](typename: String, specify: I => Option[A], selection: NonEmptyList[PreparedDataField[F, A]]) extends PreparedField[F, I]
object PreparedStep
Companion:
class
Source:
PreparedQuery.scala
sealed trait PreparedStep[F[_], -I, +O]
Companion:
object
Source:
PreparedQuery.scala
final case class Selection[F[_], I](fields: NonEmptyList[PreparedField[F, I]]) extends Prepared[F, I]
final case class SelectionInfo[G[_]](s: Selectable[G, _], fields: NonEmptyList[FieldInfo[G]], fragmentName: Option[String])
object SimplifiedType
Companion:
class
Source:
PreparedQuery.scala
sealed trait SimplifiedType[G[_]]
Companion:
object
Source:
PreparedQuery.scala
final case class UniqueEdgeCursor(path: Type[String])
Companion:
object
Source:
PreparedQuery.scala
object UniqueEdgeCursor
Companion:
class
Source:
PreparedQuery.scala
object Used

Types

type H[A] = Kleisli[[_] =>> EitherT[Eval, Type[PositionalError], _$145], Prep, A]
type Used[F[_], A] = WriterT[F, UsedArgs, A]

Value members

Concrete methods

def ambientArg[F[_], A](name: String)(fa: F[A])(implicit L: Local[F, Prep]): F[A]
def ambientEdge[F[_], A](edge: Edge)(fa: F[A])(implicit L: Local[F, Prep]): F[A]
def ambientField[F[_], A](name: String)(fa: F[A])(implicit L: Local[F, Prep]): F[A]
def ambientIndex[F[_], A](i: Int)(fa: F[A])(implicit L: Local[F, Prep]): F[A]
def ambientInputType[F[_], A](name: String)(fa: F[A])(implicit L: Local[F, Prep]): F[A]
def ambientOutputType[F[_], A](name: String)(fa: F[A])(implicit L: Local[F, Prep]): F[A]
def appendMessage[F[_], A](message: String)(fa: F[A])(implicit F: MonadError[F, Type[PositionalError]]): F[A]
def checkFieldsMerge[F[_] : Parallel, G[_]](a: FieldInfo[G], asi: SelectionInfo[G], b: FieldInfo[G], bsi: SelectionInfo[G])(implicit evidence$6: Parallel[F], F: MonadError[F, Type[PositionalError]], L: Local[F, Prep]): F[Unit]
def checkSelectionsMerge[F[_] : Parallel, G[_]](xs: NonEmptyList[SelectionInfo[G]])(implicit evidence$7: Parallel[F], F: MonadError[F, Type[PositionalError]], L: Local[F, Prep]): F[Unit]
def checkSimplifiedTypeShape[F[_] : Parallel, G[_]](a: SimplifiedType[G], b: SimplifiedType[G], caret: Caret)(implicit evidence$8: Parallel[F], F: MonadError[F, Type[PositionalError]], L: Local[F, Prep]): F[Unit]
def collectFieldInfo[F[_] : Parallel, G[_]](af: AbstractField[G, _], f: Field, caret: Caret, variableMap: VariableMap, fragments: Map[String, Pos[FragmentDefinition]], discoveryState: DiscoveryState[G])(implicit evidence$2: Parallel[F], G: Applicative[G], L: Local[F, Prep], F: MonadError[F, Type[PositionalError]], D: Defer[F]): F[FieldInfo[G]]
def collectFields[G[_]](step: Step[G, _, _]): Chain[Arg[Any]]
def collectSelectionInfo[F[_] : Parallel, G[_]](s: Selectable[G, _], ss: SelectionSet, variableMap: VariableMap, fragments: Map[String, Pos[FragmentDefinition]], discoveryState: DiscoveryState[G])(implicit evidence$3: Parallel[F], G: Applicative[G], L: Local[F, Prep], F: MonadError[F, Type[PositionalError]], D: Defer[F]): F[NonEmptyList[SelectionInfo[G]]]
def compareArguments[F[_] : Parallel](name: String, aa: Arguments, ba: Arguments, caret: Option[Caret])(implicit evidence$5: Parallel[F], F: MonadError[F, Type[PositionalError]], L: Local[F, Prep]): F[Unit]
def compareValues[F[_] : Parallel](av: Value, bv: Value, caret: Option[Caret])(implicit evidence$4: Parallel[F], F: MonadError[F, Type[PositionalError]], L: Local[F, Prep]): F[Unit]
def compileStep[F[_] : Parallel, G[_], I, O](step: Step[G, I, O], cursor: UniqueEdgeCursor, meta: PreparedMeta)(implicit evidence$1: Parallel[F], L: Local[F, Prep], F: MonadError[F, Type[PositionalError]]): Used[F, PreparedStep[G, I, O]]
def decodeFieldArgs[F[_] : Parallel, G[_], A](a: Arg[A], args: Option[Arguments], variableMap: VariableMap)(implicit evidence$10: Parallel[F], L: Local[F, Prep], F: MonadError[F, Type[PositionalError]]): F[A]
def findImplementations[G[_]](s: Selectable[G, _], discoveryState: DiscoveryState[G]): List[(Type[G, _], Option[() => Option[_]])]
def findImplementations2[G[_], A](s: Selectable[G, A], discoveryState: DiscoveryState[G]): List[FoundImplementation[G, A, _]]
def friendlyName[G[_], A](ot: Out[G, A], inOption: Boolean): String
def inFragment[F[_], A](fragmentName: String, fragments: Map[String, Pos[FragmentDefinition]], caret: Option[Caret])(faf: Pos[FragmentDefinition] => F[A])(implicit L: Local[F, Prep], F: MonadError[F, Type[PositionalError]], D: Defer[F]): F[A]
def inName[A](in: In[A], inOption: Boolean): String
def matchType[F[_], G[_]](name: String, sel: Selectable[G, _], caret: Caret, discoveryState: DiscoveryState[G])(implicit F: MonadError[F, Type[PositionalError]], L: Local[F, Prep]): F[Selectable[G, _]]
def mergeImplementations2[F[_] : Parallel, G[_], A](base: Selectable[G, A], sels: NonEmptyList[SelectionInfo[G]], discoveryState: DiscoveryState[G])(implicit evidence$9: Parallel[F], F: MonadError[F, Type[PositionalError]], L: Local[F, Prep]): F[NonEmptyList[MergedImplementation2[G, A, _]]]
def modifyError[F[_], A](f: PositionalError => PositionalError)(fa: F[A])(implicit F: MonadError[F, Type[PositionalError]]): F[A]
def parseArg[F[_] : Parallel, A](arg: Arg[A], input: Map[String, Value], variableMap: Option[VariableMap], ambigiousEnum: Boolean)(implicit evidence$18: Parallel[F], F: MonadError[F, Type[PositionalError]], L: Local[F, Prep]): F[A]
def parseArgValue[F[_] : Parallel, A](a: ArgValue[A], input: Map[String, Value], variableMap: Option[VariableMap], ambigiousEnum: Boolean)(implicit evidence$17: Parallel[F], F: MonadError[F, Type[PositionalError]], L: Local[F, Prep]): F[ArgParam[A]]
def parseInput[F[_] : Parallel, A](v: Value, tpe: In[A], variableMap: Option[VariableMap], ambigiousEnum: Boolean)(implicit evidence$16: Parallel[F], F: MonadError[F, Type[PositionalError]], L: Local[F, Prep]): F[A]
def parseInputObj[F[_] : Parallel, A](v: ObjectValue, fields: Arg[A], variableMap: Option[VariableMap], ambigiousEnum: Boolean)(implicit evidence$15: Parallel[F], F: MonadError[F, Type[PositionalError]], L: Local[F, Prep]): F[A]
def parserValueToValue[F[_] : Parallel](v: Value)(implicit evidence$19: Parallel[F], F: MonadError[F, Type[PositionalError]], L: Local[F, Prep]): F[Value]
def prepare[F[_] : Applicative, Q, M, S](executabels: NonEmptyList[ExecutableDefinition], schema: Schema[F, Q, M, S], variableMap: Map[String, Json], operationName: Option[String]): EitherNec[PositionalError, PrepResult[F, Q, M, S]]
def prepareField2[F[_] : Parallel, G[_] : Applicative, I, T](fi: FieldInfo[G], field: Field[G, I, T], currentTypename: String, variableMap: VariableMap, discoveryState: DiscoveryState[G])(implicit evidence$11: Parallel[F], evidence$12: Applicative[G], L: Local[F, Prep], F: MonadError[F, Type[PositionalError]], D: Defer[F]): F[PreparedDataField[G, I]]
def prepareParts[F[_] : Parallel, G[_] : Applicative, Q, M, S](op: OperationDefinition, frags: List[Pos[FragmentDefinition]], schema: Schema[G, Q, M, S], variableMap: Map[String, Json])(implicit evidence$20: Parallel[F], evidence$21: Applicative[G], L: Local[F, Prep], F: MonadError[F, Type[PositionalError]], D: Defer[F]): F[PrepResult[G, Q, M, S]]
def prepareSelectable2[F[_] : Parallel, G[_], A](s: Selectable[G, A], sis: NonEmptyList[SelectionInfo[G]], variableMap: VariableMap, discoveryState: DiscoveryState[G])(implicit evidence$13: Parallel[F], G: Applicative[G], L: Local[F, Prep], F: MonadError[F, Type[PositionalError]], D: Defer[F]): F[NonEmptyList[PreparedSpecification[G, A, _]]]
def prepareSelectableRoot[F[_] : Parallel, G[_], A](s: Selectable[G, A], ss: SelectionSet, variableMap: VariableMap, fragments: Map[String, Pos[FragmentDefinition]], discoveryState: DiscoveryState[G])(implicit evidence$14: Parallel[F], G: Applicative[G], L: Local[F, Prep], F: MonadError[F, Type[PositionalError]], D: Defer[F]): F[NonEmptyList[PreparedSpecification[G, A, _]]]
def raise[F[_], A](s: String, caret: Option[Caret])(implicit L: Local[F, Prep], F: MonadError[F, Type[PositionalError]]): F[A]
def raiseEither[F[_], A](e: Either[String, A], caret: Option[Caret])(implicit L: Local[F, Prep], F: MonadError[F, Type[PositionalError]]): F[A]
def raiseOpt[F[_], A](o: Option[A], s: String, caret: Option[Caret])(implicit L: Local[F, Prep], F: MonadError[F, Type[PositionalError]]): F[A]
def typenameField[G[_], A](typename: String): Field[G, A, String]