gql-relational
0.3.5-19-241f189
API
Generated with
gql-relational/gql.relational/QueryAlgebra

QueryAlgebra

gql.relational.QueryAlgebra
See theQueryAlgebra companion object
trait QueryAlgebra

Attributes

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

Members list

Type members

Classlikes

trait AnyQueryAttribute[G[_], A]

Attributes

Source
QueryAlgebra.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TableFieldAttribute[G, A, B, ArgType, Q]
trait UnificationQueryAttribute[A, Q, B]
case class Done[G[_], A, B](dec: Decoder[A], reassoc: List[A] => Either[String, G[B]])

Attributes

Source
QueryAlgebra.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object FieldVariant

Attributes

Companion
trait
Source
QueryAlgebra.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait FieldVariant[Q, A]

Attributes

Companion
object
Source
QueryAlgebra.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Selection[A]
class SubSelection[A]
trait PDFField[F[_]]

Attributes

Source
QueryAlgebra.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class PDFFieldImpl[F, G0]
case class PDFFieldImpl[F[_], G0[_]](field: Field[F, G0, _]) extends PDFField[F]

Attributes

Source
QueryAlgebra.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait PDFField[F]
class Object
trait Matchable
class Any
Show all
case class PreparedQuery[G[_], A, B, C](qc: QueryContent, done: Done[G, A, B], rootQueryValue: C)

Attributes

Source
QueryAlgebra.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Query

Attributes

Companion
trait
Source
QueryAlgebra.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Query.type
sealed trait Query[G[_], +A]

Attributes

Companion
object
Source
QueryAlgebra.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class FlatMap[G, H, A, B]
class LiftEffect[G, A]
class Select[A]
case class QueryContent(selections: Chain[Frag], joins: Chain[QueryJoin])

Attributes

Source
QueryAlgebra.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait QueryContext[A]

Attributes

Source
QueryAlgebra.scala
Supertypes
class Object
trait Matchable
class Any
case class QueryJoin(tbl: Frag, pred: Frag)

Attributes

Source
QueryAlgebra.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object QueryTask

Attributes

Companion
trait
Source
QueryAlgebra.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
QueryTask.type
sealed trait QueryTask[F[_], A]

Attributes

Companion
object
Source
QueryAlgebra.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Field[F, G, A]
class Unification[F, A, B]
trait Queryable[F[_]]

Attributes

Source
QueryAlgebra.scala
Supertypes
class Object
trait Matchable
class Any
trait Table

Attributes

Source
QueryAlgebra.scala
Supertypes
class Object
trait Matchable
class Any
trait TableFieldAttribute[G[_], A, B, ArgType, Q] extends FieldAttribute[Pure], AnyQueryAttribute[G, B]

Attributes

Source
QueryAlgebra.scala
Supertypes
trait AnyQueryAttribute[G, B]
class Object
trait Matchable
class Any
trait UnificationQueryAttribute[A, Q, B] extends ImplementationAttribute[Pure], VariantAttribute[Pure], AnyQueryAttribute[Option, B]

Attributes

Source
QueryAlgebra.scala
Supertypes
class Object
trait Matchable
class Any
Show all

Types

type Connection[F[_]]

Attributes

Source
QueryAlgebra.scala
type Decoder[A]

Attributes

Source
QueryAlgebra.scala
type Effect[A] = EitherT[[_] =>> StateT[[_] =>> Writer[QueryContent, _$42], Int, _$43], String, A]

Attributes

Source
QueryAlgebra.scala
type Frag

Attributes

Source
QueryAlgebra.scala
type QueryState[G[_], C] = QueryState[Decoder, G, C]

Attributes

Source
QueryAlgebra.scala

Value members

Abstract methods

def optDecoder[A](d: Decoder[A]): Decoder[Option[A]]

Attributes

Source
QueryAlgebra.scala
def stringToFrag(s: String): Frag

Attributes

Source
QueryAlgebra.scala

Concrete methods

def addJoin(tbl: Frag, pred: Frag): Effect[Unit]

Attributes

Source
QueryAlgebra.scala
def addSelection(f: Chain[Frag]): Effect[Unit]

Attributes

Source
QueryAlgebra.scala
def collapseQuery[G[_], C](q: Query[G, C]): Effect[QueryState[G, C]]

Attributes

Source
QueryAlgebra.scala
def compileNextField[F[_], G[_], A, B, ArgType, Q](pdf: PreparedDataField[F, _, _], a: A, tfa: TableFieldAttribute[G, A, B, ArgType, Q]): Effect[Done[G, _, B]]

Attributes

Source
QueryAlgebra.scala
def compileNextUnification[F[_], A, Q, B](attr: UnificationQueryAttribute[A, Q, B], a: A, fields: List[PreparedDataField[F, B, _]]): Effect[Done[Option, _, B]]

Attributes

Source
QueryAlgebra.scala
def compileQueryState[F[_], G[_], B, Q](qs: QueryState[G, Q], variant: FieldVariant[Q, B], nextTasks: Eval[List[QueryTask[F, _]]]): Effect[Done[G, _, B]]

Attributes

Source
QueryAlgebra.scala
def compileToResolver[F[_], G[_], H[_] : Traverse, I, ArgType, O](toplevelArg: EmptyableArg[ArgType])(compiler: (NonEmptyList[I], ArgType, FieldMeta[F]) => F[Map[I, O]])(implicit evidence$5: Traverse[H], F: Applicative[F]): Resolver[F, H[I], H[O]]

Attributes

Source
QueryAlgebra.scala
def evalQuery[F[_], G[_], I, B, ArgType](xs: NonEmptyList[I], fm: FieldMeta[F], query: Query[G, (Select[I], B)], connection: Connection[F])(implicit F: Applicative[F], queryable: Queryable[F]): F[Map[I, Either[String, G[QueryContext[B]]]]]

Attributes

Source
QueryAlgebra.scala
def findNextSel[F[_], A](p: Prepared[F, A]): Option[Selection[F, _]]

Attributes

Source
QueryAlgebra.scala
def getArg[F[_], ArgType](pdf: PreparedDataField[F, _, _], a: EmptyableArg[ArgType]): Effect[ArgType]

Attributes

Source
QueryAlgebra.scala
def getNextAttributes[F[_], A, B](pdf: PreparedDataField[F, A, B]): List[QueryTask[F, _]]

Attributes

Source
QueryAlgebra.scala
def getPDFField[F[_], A, B](pdf: PreparedDataField[F, A, B]): Option[PDFField[F]]

Attributes

Source
QueryAlgebra.scala
def makeTasks[F[_], A, B](ps: PreparedSpecification[F, A, B]): List[QueryTask[F, _]]

Attributes

Source
QueryAlgebra.scala
def renderQuery(qc: QueryContent): Frag

Attributes

Source
QueryAlgebra.scala
def resolveQuery[F[_] : Applicative, G[_], I, B, ArgType](toplevelArg: EmptyableArg[ArgType], q: (NonEmptyList[I], ArgType) => Query[G, (Select[I], B)], connection: Connection[F]): Resolver[F, I, G[QueryContext[B]]]

Attributes

Source
QueryAlgebra.scala
def resolveQueryFull[F[_] : Queryable, G[_], H[_], I, B, ArgType](toplevelArg: EmptyableArg[ArgType], q: (NonEmptyList[I], ArgType) => Query[G, (Select[I], B)], connection: Connection[F])(implicit evidence$1: Queryable[F], F: Applicative[F], H: Reassociateable[H]): Resolver[F, H[I], H[G[QueryContext[B]]]]

Attributes

Source
QueryAlgebra.scala
def resolveQuerySingle[F[_] : Queryable, G[_], I, B, ArgType](toplevelArg: EmptyableArg[ArgType], q: (I, ArgType) => Query[G, B], connection: Connection[F])(implicit evidence$4: Queryable[F], F: Applicative[F]): Resolver[F, I, G[QueryContext[B]]]

Attributes

Source
QueryAlgebra.scala

Concrete fields

val Effect: Monad[Effect]

Attributes

Source
QueryAlgebra.scala
val QueryStateImpl: QueryStateImpl.type

Attributes

Source
QueryAlgebra.scala
val R: Raise[Effect, String]

Attributes

Source
QueryAlgebra.scala
val S: Stateful[Effect, Int]

Attributes

Source
QueryAlgebra.scala
val T: Tell[Effect, QueryContent]

Attributes

Source
QueryAlgebra.scala
val nextId: Effect[String]

Attributes

Source
QueryAlgebra.scala

Implicits

Implicits

implicit def applicativeForDecoder: Applicative[Decoder]

Attributes

Source
QueryAlgebra.scala
implicit def appliedFragmentMonoid: Monoid[Frag]

Attributes

Source
QueryAlgebra.scala
implicit lazy val monoidForQueryContent: Monoid[QueryContent]

Attributes

Source
QueryAlgebra.scala
Generated with