gql-core/gql/PreparedQuery

PreparedQuery

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

Type members

Classlikes

final case class EdgeId(id: Int) extends AnyVal
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 FragmentDefinition[F[_], A](name: String, typeCondition: String, specify: Any => Option[A], fields: NonEmptyList[PreparedField[F, A]])
object InArr
object InOpt
final case class MergedImplementation[G[_]](leaf: Type[G, _], selections: NonEmptyList[PairedFieldSelection[G]], specify: Option[() => Option[_]])
object OutArr
object OutOpt
final case class PairedFieldSelection[G[_]](info: FieldInfo[G], field: Field[G, _, _, _])
final case class PositionalError(position: PrepCursor, caret: List[Caret], message: String)
final case class Prep(cycleSet: Set[String], nextId: Int, cursor: PrepCursor)
Companion:
object
Source:
PreparedQuery.scala
object Prep
Companion:
class
Source:
PreparedQuery.scala
final case class PrepCursor(position: Chain[PrepEdge])
Companion:
object
Source:
PreparedQuery.scala
object PrepCursor
Companion:
class
Source:
PreparedQuery.scala
object PrepEdge
Companion:
class
Source:
PreparedQuery.scala
sealed trait PrepEdge
Companion:
object
Source:
PreparedQuery.scala
sealed trait Prepared[F[_], A]
final case class PreparedCont[F[_]](edges: Type[PreparedEdge[F]], cont: Prepared[F, Any])
final case class PreparedDataField[F[_], I, T](id: Int, name: String, alias: Option[String], cont: PreparedCont[F]) extends PreparedField[F, I]
object PreparedEdge
Companion:
class
Source:
PreparedQuery.scala
sealed trait PreparedEdge[F[_]]
Companion:
object
Source:
PreparedQuery.scala
sealed trait PreparedField[F[_], A]
final case class PreparedFragField[F[_], A](id: Int, typename: String, specify: Any => Option[A], selection: Selection[F, A]) extends PreparedField[F, A]
final case class PreparedLeaf[F[_], A](name: String, encode: A => Json) extends Prepared[F, A]
final case class PreparedList[F[_], A](of: PreparedCont[F], toSeq: Any => Seq[A]) extends Prepared[F, A]
final case class PreparedOption[F[_], A](of: PreparedCont[F]) extends Prepared[F, A]
object PreparedResolver
Companion:
class
Source:
PreparedQuery.scala
sealed trait PreparedResolver[F[_]]
Companion:
object
Source:
PreparedQuery.scala
final case class Selection[F[_], A](fields: NonEmptyList[PreparedField[F, A]]) extends Prepared[F, A]
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

Types

type H[A] = StateT[[_] =>> EitherT[Eval, Type[PositionalError], _$142], Prep, A]

Value members

Concrete methods

def ambientArg[F[_] : Monad, A](name: String)(fa: F[A])(implicit evidence$7: Monad[F], S: Stateful[F, Prep]): F[A]
def ambientAt[F[_] : Monad, A](cursor: PrepCursor)(fa: F[A])(implicit evidence$3: Monad[F], S: Stateful[F, Prep]): F[A]
def ambientEdge[F[_] : Monad, A](edge: PrepEdge)(fa: F[A])(implicit evidence$4: Monad[F], S: Stateful[F, Prep]): F[A]
def ambientField[F[_] : Monad, A](name: String)(fa: F[A])(implicit evidence$5: Monad[F], S: Stateful[F, Prep]): F[A]
def ambientIndex[F[_] : Monad, A](i: Int)(fa: F[A])(implicit evidence$8: Monad[F], S: Stateful[F, Prep]): F[A]
def ambientInputType[F[_] : Monad, A](name: String)(fa: F[A])(implicit evidence$9: Monad[F], S: Stateful[F, Prep]): F[A]
def ambientOutputType[F[_] : Monad, A](name: String)(fa: F[A])(implicit evidence$6: Monad[F], S: Stateful[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$14: Parallel[F], F: MonadError[F, Type[PositionalError]], S: Stateful[F, Prep]): F[Unit]
def checkSelectionsMerge[F[_] : Parallel, G[_]](xs: NonEmptyList[SelectionInfo[G]])(implicit evidence$15: Parallel[F], F: MonadError[F, Type[PositionalError]], S: Stateful[F, Prep]): F[Unit]
def checkSimplifiedTypeShape[F[_] : Parallel, G[_]](a: SimplifiedType[G], b: SimplifiedType[G], caret: Caret)(implicit evidence$16: Parallel[F], F: MonadError[F, Type[PositionalError]], S: Stateful[F, Prep]): F[Unit]
def closeFieldParameters[F[_] : Parallel, G[_]](fi: FieldInfo[G], field: Field[G, Any, Any, Any], variableMap: VariableMap)(implicit evidence$19: Parallel[F], S: Stateful[F, Prep], F: MonadError[F, Type[PositionalError]]): F[Resolver[G, Any, Any]]
def collectFieldInfo[F[_] : Parallel, G[_]](af: AbstractField[G, _, _], f: Field, caret: Caret, variableMap: VariableMap, fragments: Map[String, Pos[FragmentDefinition]], discoveryState: DiscoveryState[G])(implicit evidence$10: Parallel[F], G: Applicative[G], S: Stateful[F, Prep], F: MonadError[F, Type[PositionalError]], D: Defer[F]): F[FieldInfo[G]]
def collectSelectionInfo[F[_] : Parallel, G[_]](s: Selectable[G, _], ss: SelectionSet, variableMap: VariableMap, fragments: Map[String, Pos[FragmentDefinition]], discoveryState: DiscoveryState[G])(implicit evidence$11: Parallel[F], G: Applicative[G], S: Stateful[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$13: Parallel[F], F: MonadError[F, Type[PositionalError]], S: Stateful[F, Prep]): F[Unit]
def compareValues[F[_] : Parallel](av: Value, bv: Value, caret: Option[Caret])(implicit evidence$12: Parallel[F], F: MonadError[F, Type[PositionalError]], S: Stateful[F, Prep]): F[Unit]
def decodeFieldArgs[F[_] : Parallel, G[_], A](a: Arg[A], name: String, args: Option[Arguments], caret: Caret, variableMap: VariableMap)(implicit evidence$18: Parallel[F], S: Stateful[F, Prep], F: MonadError[F, Type[PositionalError]]): F[A]
def findImplementations[G[_]](s: Selectable[G, _], discoveryState: DiscoveryState[G]): List[(Type[G, _], Option[() => Option[_]])]
def flattenResolvers[F[_] : Monad, G[_]](parentName: String, resolver: Resolver[G, Any, Any], index: Int)(implicit evidence$1: Monad[F], S: Stateful[F, Prep]): F[(Type[PreparedEdge[G]], String, Int)]
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 S: Stateful[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]], S: Stateful[F, Prep]): F[Selectable[G, _]]
def mergeImplementations[F[_] : Parallel, G[_]](base: Selectable[G, _], sels: NonEmptyList[SelectionInfo[G]], discoveryState: DiscoveryState[G])(implicit evidence$17: Parallel[F], F: MonadError[F, Type[PositionalError]], S: Stateful[F, Prep]): F[NonEmptyList[MergedImplementation[G]]]
def modifyError[F[_], A](f: PositionalError => PositionalError)(fa: F[A])(implicit F: MonadError[F, Type[PositionalError]]): F[A]
def nextId[F[_] : Monad](implicit evidence$2: Monad[F], S: Stateful[F, Prep]): F[Int]
def parallelForPureState[G[_], E : Semigroup, S](implicit evidence$31: Semigroup[E], G: MonadError[G, E]): Parallel[[_] =>> StateT[G, S, _$144]] { type F = [A] =>> StateT[G, S, A]; }
def parseArg[F[_] : Parallel, A](arg: Arg[A], input: Map[String, Value], variableMap: Option[VariableMap], ambigiousEnum: Boolean)(implicit evidence$27: Parallel[F], F: MonadError[F, Type[PositionalError]], S: Stateful[F, Prep]): F[A]
def parseArgValue[F[_] : Parallel, A](a: ArgValue[A], input: Map[String, Value], variableMap: Option[VariableMap], ambigiousEnum: Boolean)(implicit evidence$26: Parallel[F], F: MonadError[F, Type[PositionalError]], S: Stateful[F, Prep]): F[A]
def parseInput[F[_] : Parallel, A](v: Value, tpe: In[A], variableMap: Option[VariableMap], ambigiousEnum: Boolean)(implicit evidence$25: Parallel[F], F: MonadError[F, Type[PositionalError]], S: Stateful[F, Prep]): F[A]
def parseInputObj[F[_] : Parallel, A](v: ObjectValue, fields: NonEmptyArg[A], variableMap: Option[VariableMap], ambigiousEnum: Boolean)(implicit evidence$24: Parallel[F], F: MonadError[F, Type[PositionalError]], S: Stateful[F, Prep]): F[A]
def parserValueToValue[F[_] : Parallel](v: Value)(implicit evidence$28: Parallel[F], F: MonadError[F, Type[PositionalError]], S: Stateful[F, Prep]): F[Value]
def prepare[F[_] : Applicative](executabels: NonEmptyList[ExecutableDefinition], schema: Schema[F, _, _, _], variableMap: Map[String, Json], operationName: Option[String]): EitherNec[PositionalError, (OperationType, NonEmptyList[PreparedField[F, Any]])]
def prepareField[F[_] : Parallel, G[_] : Applicative](fi: FieldInfo[G], field: Field[G, Any, Any, Any], variableMap: VariableMap, currentTypename: String, discoveryState: DiscoveryState[G])(implicit evidence$20: Parallel[F], evidence$21: Applicative[G], S: Stateful[F, Prep], F: MonadError[F, Type[PositionalError]], D: Defer[F]): F[PreparedField[G, Any]]
def prepareParts[F[_] : Parallel, G[_] : Applicative](op: OperationDefinition, frags: List[Pos[FragmentDefinition]], schema: Schema[G, _, _, _], variableMap: Map[String, Json])(implicit evidence$29: Parallel[F], evidence$30: Applicative[G], S: Stateful[F, Prep], F: MonadError[F, Type[PositionalError]], D: Defer[F]): F[(OperationType, NonEmptyList[PreparedField[G, Any]])]
def prepareSelectable[F[_] : Parallel, G[_]](s: Selectable[G, Any], sis: NonEmptyList[SelectionInfo[G]], variableMap: VariableMap, discoveryState: DiscoveryState[G])(implicit evidence$22: Parallel[F], G: Applicative[G], S: Stateful[F, Prep], F: MonadError[F, Type[PositionalError]], D: Defer[F]): F[NonEmptyList[PreparedField[G, Any]]]
def prepareSelectableRoot[F[_] : Parallel, G[_]](s: Selectable[G, _], ss: SelectionSet, variableMap: VariableMap, fragments: Map[String, Pos[FragmentDefinition]], discoveryState: DiscoveryState[G])(implicit evidence$23: Parallel[F], G: Applicative[G], S: Stateful[F, Prep], F: MonadError[F, Type[PositionalError]], D: Defer[F]): F[NonEmptyList[PreparedField[G, Any]]]
def raise[F[_], A](s: String, caret: Option[Caret])(implicit S: Stateful[F, Prep], F: MonadError[F, Type[PositionalError]]): F[A]
def raiseEither[F[_], A](e: Either[String, A], caret: Option[Caret])(implicit S: Stateful[F, Prep], F: MonadError[F, Type[PositionalError]]): F[A]
def raiseOpt[F[_], A](o: Option[A], s: String, caret: Option[Caret])(implicit S: Stateful[F, Prep], F: MonadError[F, Type[PositionalError]]): F[A]
def typenameField[G[_]](typename: String): Field[G, Any, String, Unit]

Implicits

Implicits

implicit val par: Parallel[H]