ast

gql.ast$
object ast extends Implicits

A tree-like structure representing a GraphQL schema, akin to most schema builders.

Attributes

Source
ast.scala
Graph
Supertypes
trait Implicits
class Object
trait Matchable
class Any
Self type
ast.type

Members list

Type members

Classlikes

final case class AbstractField[+F[_], T](arg: Option[Arg[_]], output: Eval[Out[F, T]], description: Option[String]) extends AnyField[F, Any, T]

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait AnyField[F, Any, T]
class Object
trait Matchable
class Any
Show all
sealed trait AnyField[+F[_], -A, B]

Attributes

Source
ast.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class AbstractField[F, T]
class Field[F, A, B]
final case class Enum[A](name: String, mappings: NonEmptyList[(String, EnumValue[_ <: A])], description: Option[String]) extends OutToplevel[Pure, A], InToplevel[A]

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait InToplevel[A]
trait In[A]
trait OutToplevel[Pure, A]
trait Toplevel[Pure, A]
trait Out[Pure, A]
class Object
trait Matchable
class Any
Show all
final case class EnumValue[A](value: A, description: Option[String])

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class Field[+F[_], -A, B](resolve: Resolver[F, A, B], output: Eval[Out[F, B]], description: Option[String], attributes: List[FieldAttribute[F]]) extends AnyField[F, A, B]

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait AnyField[F, A, B]
class Object
trait Matchable
class Any
Show all
trait FieldAttribute[+F[_]]

Attributes

Source
ast.scala
Supertypes
class Object
trait Matchable
class Any
final case class ID[A](value: A) extends AnyVal

Attributes

Companion
object
Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
Show all
object ID extends IDLowPrio

Attributes

Companion
class
Source
ast.scala
Supertypes
trait IDLowPrio
class Object
trait Matchable
class Any
Self type
ID.type
trait IDLowPrio

Attributes

Source
ast.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ID.type
final case class Implementation[+F[_], A, B](implementation: Eval[Interface[F, B]], attributes: List[ImplementationAttribute[F]])(specify: B => Ior[String, Option[A]])

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Source
ast.scala
Supertypes
class Object
trait Matchable
class Any
sealed trait In[A]

Attributes

Source
ast.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class InArr[A, C]
class InOpt[A]
trait InToplevel[A]
class Enum[A]
class Input[A]
class Scalar[A]
Show all
final case class InArr[A, C](of: In[A], fromSeq: Seq[A] => Either[String, C]) extends In[C]

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait In[C]
class Object
trait Matchable
class Any
Show all
final case class InOpt[A](of: In[A]) extends In[Option[A]]

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait In[Option[A]]
class Object
trait Matchable
class Any
Show all
sealed trait InToplevel[A] extends In[A], Toplevel[Pure, A]

Attributes

Source
ast.scala
Supertypes
trait Toplevel[Pure, A]
trait In[A]
class Object
trait Matchable
class Any
Known subtypes
class Enum[A]
class Input[A]
class Scalar[A]
final case class Input[A](name: String, fields: Arg[A], description: Option[String]) extends InToplevel[A]

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait InToplevel[A]
trait Toplevel[Pure, A]
trait In[A]
class Object
trait Matchable
class Any
Show all
final case class Interface[+F[_], A](name: String, fields: NonEmptyList[(String, AnyField[F, A, _])], implementations: List[Eval[Interface[F, _]]], description: Option[String]) extends ObjectLike[F, A]

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait ObjectLike[F, A]
trait Selectable[F, A]
trait OutToplevel[F, A]
trait Toplevel[F, A]
trait Out[F, A]
class Object
trait Matchable
class Any
Show all
sealed trait ObjectLike[+F[_], A] extends Selectable[F, A]

Attributes

Source
ast.scala
Supertypes
trait Selectable[F, A]
trait OutToplevel[F, A]
trait Toplevel[F, A]
trait Out[F, A]
class Object
trait Matchable
class Any
Show all
Known subtypes
class Interface[F, A]
class Type[F, A]
sealed trait Out[+F[_], A]

Attributes

Source
ast.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class OutArr[F, A, C, B]
class OutOpt[F, A, B]
trait OutToplevel[F, A]
class Enum[A]
class Scalar[A]
trait Selectable[F, A]
trait ObjectLike[F, A]
class Interface[F, A]
class Type[F, A]
class Union[F, A]
Show all
final case class OutArr[+F[_], A, C, B](of: Out[F, B], toSeq: C => Seq[A], resolver: Resolver[F, A, B]) extends Out[F, C]

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Out[F, C]
class Object
trait Matchable
class Any
Show all
final case class OutOpt[+F[_], A, B](of: Out[F, B], resolver: Resolver[F, A, B]) extends Out[F, Option[A]]

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Out[F, Option[A]]
class Object
trait Matchable
class Any
Show all
sealed trait OutToplevel[+F[_], A] extends Out[F, A], Toplevel[F, A]

Attributes

Source
ast.scala
Supertypes
trait Toplevel[F, A]
trait Out[F, A]
class Object
trait Matchable
class Any
Known subtypes
class Enum[A]
class Scalar[A]
trait Selectable[F, A]
trait ObjectLike[F, A]
class Interface[F, A]
class Type[F, A]
class Union[F, A]
Show all
final case class Scalar[A](name: String, encoder: A => Value[Const, Unit], decoder: Value[Const, Unit] => Either[String, A], description: Option[String]) extends OutToplevel[Pure, A], InToplevel[A]

Attributes

Companion
object
Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait InToplevel[A]
trait In[A]
trait OutToplevel[Pure, A]
trait Toplevel[Pure, A]
trait Out[Pure, A]
class Object
trait Matchable
class Any
Show all
object Scalar

Attributes

Companion
class
Source
ast.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Scalar.type
sealed trait Selectable[+F[_], A] extends OutToplevel[F, A]

Attributes

Source
ast.scala
Supertypes
trait OutToplevel[F, A]
trait Toplevel[F, A]
trait Out[F, A]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait ObjectLike[F, A]
class Interface[F, A]
class Type[F, A]
class Union[F, A]
sealed trait Toplevel[+F[_], +A]

Attributes

Source
ast.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait InToplevel[A]
class Enum[A]
class Input[A]
class Scalar[A]
trait OutToplevel[F, A]
trait Selectable[F, A]
trait ObjectLike[F, A]
class Interface[F, A]
class Type[F, A]
class Union[F, A]
Show all
final case class Type[+F[_], A](name: String, fields: NonEmptyList[(String, Field[F, A, _])], implementations: List[Implementation[F, A, _]], description: Option[String], attributes: List[TypeAttribute[F, A]]) extends ObjectLike[F, A]

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait ObjectLike[F, A]
trait Selectable[F, A]
trait OutToplevel[F, A]
trait Toplevel[F, A]
trait Out[F, A]
class Object
trait Matchable
class Any
Show all
trait TypeAttribute[+F[_], A]

Attributes

Source
ast.scala
Supertypes
class Object
trait Matchable
class Any
final case class Union[+F[_], A](name: String, types: NonEmptyList[Variant[F, A, _]], description: Option[String]) extends Selectable[F, A]

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Selectable[F, A]
trait OutToplevel[F, A]
trait Toplevel[F, A]
trait Out[F, A]
class Object
trait Matchable
class Any
Show all
final case class Variant[+F[_], A, B](tpe: Eval[Type[F, B]], attributes: List[VariantAttribute[F]])(specify: A => Ior[String, Option[B]])

Attributes

Source
ast.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait VariantAttribute[+F[_]]

Attributes

Source
ast.scala
Supertypes
class Object
trait Matchable
class Any

Implicits

Inherited implicits

implicit lazy val bigDecimalScalar: Scalar[BigDecimal]

Attributes

Inherited from:
Implicits
Source
ast.scala
implicit lazy val bigIntScalar: Scalar[BigInt]

Attributes

Inherited from:
Implicits
Source
ast.scala
implicit lazy val booleanScalar: Scalar[Boolean]

Attributes

Inherited from:
Implicits
Source
ast.scala
implicit lazy val doubleScalar: Scalar[Double]

Attributes

Inherited from:
Implicits
Source
ast.scala
implicit lazy val floatScalar: Scalar[Float]

Attributes

Inherited from:
Implicits
Source
ast.scala
implicit def gqlInForChain[A](implicit tpe: In[A]): In[Chain[A]]

Attributes

Inherited from:
LowPriorityImplicits
Source
ast.scala
implicit def gqlInForList[A](implicit tpe: In[A]): In[List[A]]

Attributes

Inherited from:
LowPriorityImplicits
Source
ast.scala
implicit def gqlInForNonEmptyChain[A](implicit tpe: In[A]): In[Type[A]]

Attributes

Inherited from:
LowPriorityImplicits
Source
ast.scala
implicit def gqlInForNonEmptyList[A](implicit tpe: In[A]): In[NonEmptyList[A]]

Attributes

Inherited from:
LowPriorityImplicits
Source
ast.scala
implicit def gqlInForNonEmptyVector[A](implicit tpe: In[A]): In[NonEmptyVector[A]]

Attributes

Inherited from:
LowPriorityImplicits
Source
ast.scala
implicit def gqlInForOption[A](implicit tpe: In[A]): In[Option[A]]

Attributes

Inherited from:
Implicits
Source
ast.scala
implicit def gqlInForSeq[A](implicit tpe: In[A]): In[Seq[A]]

Attributes

Inherited from:
LowPriorityImplicits
Source
ast.scala
implicit def gqlInForSet[A](implicit tpe: In[A]): In[Set[A]]

Attributes

Inherited from:
LowPriorityImplicits
Source
ast.scala
implicit def gqlInForVector[A](implicit tpe: In[A]): In[Vector[A]]

Attributes

Inherited from:
LowPriorityImplicits
Source
ast.scala
implicit def gqlOutArrForTraversable[F[_], A, G[_] : Traverse](implicit evidence$1: Traverse[G], tpe: Out[F, A]): OutArr[F, A, G[A], A]

Attributes

Inherited from:
LowPriorityImplicits
Source
ast.scala
implicit def gqlOutForOption[F[_], A](implicit tpe: Out[F, A]): OutOpt[F, A, A]

Attributes

Inherited from:
Implicits
Source
ast.scala
implicit lazy val intScalar: Scalar[Int]

Attributes

Inherited from:
Implicits
Source
ast.scala
implicit lazy val longScalar: Scalar[Long]

Attributes

Inherited from:
Implicits
Source
ast.scala
implicit lazy val stringScalar: Scalar[String]

Attributes

Inherited from:
Implicits
Source
ast.scala
implicit lazy val uuidScalar: Scalar[UUID]

Attributes

Inherited from:
Implicits
Source
ast.scala