quasar

type CompileM[A] = EitherT[PhaseResultW, SemanticErrors, A]
type EnvErr[A] = Failure[EnvironmentError, A]
type EnvErrT[F[_], A] = EitherT[F, EnvironmentError, A]
type PhaseResultT[F[_], A] = WriterT[F, PhaseResults, A]
type PhaseResultW[A] = WriterT[scalaz.Id.Id, PhaseResults, A]
type PhaseResults = Vector[PhaseResult]
type SaltedSeqNameGeneratorT[F[_], A] = Kleisli[[β]IndexedStateT[F, Long, Long, β], String, A]
type SemanticErrors = NonEmptyList[SemanticError]
type SemanticErrsT[F[_], A] = EitherT[F, SemanticErrors, A]
type SeqNameGeneratorT[F[_], A] = IndexedStateT[F, Long, Long, A]

def addOffsetLimit[T[_[_]]](lp: T[LogicalPlan], off: Natural, lim: Option[Positive])(implicit arg0: Corecursive[T]): T[LogicalPlan]
package fp
package physical
def precompile(query: Fix[Sql], vars: Variables, basePath: ADir)(implicit RT: RenderTree[Fix[Sql]]): CompileM[Fix[LogicalPlan]]
def preparePlan(lp: Fix[LogicalPlan]): CompileM[Fix[LogicalPlan]]
def queryPlan(query: Fix[Sql], vars: Variables, basePath: ADir, off: Natural, lim: Option[Positive]): CompileM[\/[List[Data], Fix[LogicalPlan]]]
def refineConstantPlan(lp: Fix[LogicalPlan]): \/[List[Data], Fix[LogicalPlan]]