trait QueryAlgebra extends AnyRef
- Source
- QueryAlgebra.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- QueryAlgebra
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- trait AnyQueryAttribute[G[_], A] extends AnyRef
- abstract type Connection[F[_]]
- abstract type Decoder[A]
- case class Done[G[_], A, B](dec: Decoder[A], reassoc: (List[A]) => Either[String, G[B]]) extends Product with Serializable
- type Effect[A] = EitherT[[γ$1$]IndexedStateT[[β$0$]WriterT[[A]A, QueryContent, β$0$], Int, Int, γ$1$], String, A]
- sealed trait FieldVariant[Q, A] extends AnyRef
- abstract type Frag
- trait PDFField[F[_]] extends AnyRef
- case class PDFFieldImpl[F[_], G0[_]](field: Field[F, G0, _]) extends PDFField[F] with Product with Serializable
- case class PreparedQuery[G[_], A, B, C](qc: QueryContent, done: Done[G, A, B], rootQueryValue: C) extends Product with Serializable
- sealed trait Query[G[_], +A] extends AnyRef
- case class QueryContent(selections: Chain[Frag], joins: Chain[QueryJoin]) extends Product with Serializable
- trait QueryContext[A] extends AnyRef
- case class QueryJoin(tbl: Frag, pred: Frag) extends Product with Serializable
- type QueryState[G[_], C] = QueryAlgebra.QueryState[Decoder, G, C]
- sealed trait QueryTask[F[_], A] extends AnyRef
- trait Queryable[F[_]] extends AnyRef
- trait Table extends AnyRef
- trait TableFieldAttribute[G[_], A, B, ArgType, Q] extends FieldAttribute[Pure] with AnyQueryAttribute[G, B]
- trait UnificationQueryAttribute[A, Q, B] extends ImplementationAttribute[Pure] with VariantAttribute[Pure] with AnyQueryAttribute[Option, B]
Abstract Value Members
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val Effect: Monad[Effect]
- val QueryStateImpl: QueryAlgebra.QueryStateImpl.type
- val R: Raise[Effect, String]
- val S: Stateful[Effect, Int]
- val T: Tell[Effect, QueryContent]
- def addJoin(tbl: Frag, pred: Frag): Effect[Unit]
- def addSelection(f: Chain[Frag]): Effect[Unit]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def collapseQuery[G[_], C](q: Query[G, C]): Effect[QueryState[G, C]]
- def compileNextField[F[_], G[_], A, B, ArgType, Q](pdf: PreparedDataField[F, _, _], a: A, tfa: TableFieldAttribute[G, A, B, ArgType, Q]): Effect[Done[G, _, B]]
- def compileNextUnification[F[_], A, Q, B](attr: UnificationQueryAttribute[A, Q, B], a: A, fields: List[PreparedDataField[F, B, _]]): Effect[Done[Option, _, B]]
- def compileQueryState[F[_], G[_], B, Q](qs: QueryState[G, Q], variant: FieldVariant[Q, B], nextTasks: Eval[List[QueryTask[F, _]]]): Effect[Done[G, _, B]]
- def compileToResolver[F[_], G[_], H[_], I, ArgType, O](toplevelArg: EmptyableArg[ArgType])(compiler: (NonEmptyList[I], ArgType, FieldMeta[F]) => F[Map[I, O]])(implicit arg0: Traverse[H], F: Applicative[F]): Resolver[F, H[I], H[O]]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- 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]]]]]
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def findNextSel[F[_], A](p: Prepared[F, A]): Option[Selection[F, _]]
- def getArg[F[_], ArgType](pdf: PreparedDataField[F, _, _], a: EmptyableArg[ArgType]): Effect[ArgType]
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def getNextAttributes[F[_], A, B](pdf: PreparedDataField[F, A, B]): List[QueryTask[F, _]]
- def getPDFField[F[_], A, B](pdf: PreparedDataField[F, A, B]): Option[PDFField[F]]
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def makeTasks[F[_], A, B](ps: PreparedSpecification[F, A, B]): List[QueryTask[F, _]]
- implicit lazy val monoidForQueryContent: Monoid[QueryContent]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val nextId: Effect[String]
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def renderQuery(qc: QueryContent): Frag
- def resolveQuery[F[_], G[_], I, B, ArgType](toplevelArg: EmptyableArg[ArgType], q: (NonEmptyList[I], ArgType) => Query[G, (Select[I], B)], connection: Connection[F])(implicit arg0: Queryable[F], arg1: Applicative[F]): Resolver[F, I, G[QueryContext[B]]]
- def resolveQueryFull[F[_], G[_], H[_], I, B, ArgType](toplevelArg: EmptyableArg[ArgType], q: (NonEmptyList[I], ArgType) => Query[G, (Select[I], B)], connection: Connection[F])(implicit arg0: Queryable[F], F: Applicative[F], H: Reassociateable[H]): Resolver[F, H[I], H[G[QueryContext[B]]]]
- def resolveQuerySingle[F[_], G[_], I, B, ArgType](toplevelArg: EmptyableArg[ArgType], q: (I, ArgType) => Query[G, B], connection: Connection[F])(implicit arg0: Queryable[F], F: Applicative[F]): Resolver[F, I, G[QueryContext[B]]]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- object FieldVariant
- object Query
- object QueryTask