Type Members
-
trait
AnalyzeModule extends AnyRef
-
type
Backend[A] = EitherT[[β$1$]WriterT[[β$0$]Kleisli[M, Config, β$0$], Vector[PhaseResult], β$1$], FileSystemError, A]
-
type
BackendT[F[_], A] = EitherT[[β$1$]WriterT[[β$0$]Kleisli[F, Config, β$0$], Vector[PhaseResult], β$1$], FileSystemError, A]
-
-
type
Configured[A] = Kleisli[M, Config, A]
-
type
ConfiguredT[F[_], A] = Kleisli[F, Config, A]
-
type
Eff[A] = Coproduct[Task, [A]Coproduct[[A]Read[Transactor[Task], A], [A]Coproduct[[A]Free[ConnectionOp, A], [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[UUID, A], [A]Coproduct[[γ$0$]KeyValueStore[ReadHandle, DbDataStream, γ$0$], [A]Coproduct[[γ$1$]KeyValueStore[ResultHandle, DbDataStream, γ$1$], [γ$2$]KeyValueStore[WriteHandle, WriteCursor, γ$2$], A], A], A], A], A], A], A]
-
implicit
class
LiftBackend[A] extends AnyRef
-
implicit
class
LiftBackendConfigured[A] extends AnyRef
-
-
type
M[A] = Free[model.Eff, A]
-
trait
ManageFileModule extends AnyRef
-
trait
ManagedQueryFileModule extends AnyRef
-
trait
ManagedReadFileModule extends AnyRef
-
type
QS[T[_[_]]] = :\:[[β$5$]QScriptCore[T, β$5$], :/:[[β$3$]EquiJoin[T, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$]]]
-
type
QSM[T[_[_]], A] = fp.:\:.M[A]
-
trait
QueryFileModule extends AnyRef
-
trait
ReadFileModule extends AnyRef
-
type
Repr = Fix[SqlExpr]
-
trait
WriteFileModule extends AnyRef
Abstract Value Members
-
abstract
val
Type: FileSystemType
-
abstract
def
alterTable(tablePath: TablePath, cols: slamdata.Predef.Set[AlterColumn]): ConnectionIO[slamdata.Predef.Unit]
-
abstract
def
batchInsert(dbPath: TablePath, chunk: slamdata.Predef.Vector[Data], model: TableModel): ConnectionIO[slamdata.Predef.Vector[FileSystemError]]
-
abstract
def
createSchema(schema: Schema): ConnectionIO[slamdata.Predef.Unit]
-
abstract
def
createTable(tablePath: TablePath, model: TableModel): ConnectionIO[slamdata.Predef.Unit]
-
implicit abstract
def
dataMeta: Meta[Data]
-
abstract
def
dropTableIfExists(table: TablePath): ConnectionIO[slamdata.Predef.Unit]
-
abstract
def
findChildSchemas(parent: Schema): ConnectionIO[slamdata.Predef.Vector[Schema]]
-
abstract
def
findChildTables(schema: Schema): ConnectionIO[slamdata.Predef.Vector[TableName]]
-
abstract
def
moveTableToSchema(table: TablePath, dst: Schema): ConnectionIO[TablePath]
-
abstract
def
parseConnectionUri(uri: ConnectionUri): \/[DefinitionError, JdbcConnectionInfo]
-
abstract
def
renameSchema(schema: Schema, newName: Schema): ConnectionIO[slamdata.Predef.Unit]
-
abstract
def
renameTable(table: TablePath, newName: TableName): ConnectionIO[TablePath]
-
abstract
def
renderQuery: RenderQuery
-
abstract
def
schemaExists(schema: Schema): ConnectionIO[slamdata.Predef.Boolean]
-
abstract
def
selectAllQuery(tablePath: TablePath, offset: Natural, limit: slamdata.Predef.Option[Positive]): Fragment
-
abstract
def
tableExists(tablePath: TablePath): ConnectionIO[slamdata.Predef.Boolean]
-
abstract
def
tableModel(tablePath: TablePath): ConnectionIO[slamdata.Predef.Option[TableModel]]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
CardinalityQSM: Cardinality[[β$0$]Coproduct[[β$5$]QScriptCore[Fix, β$5$], [A]Coproduct[[β$3$]EquiJoin[Fix, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$], A], β$0$]]
-
def
CostQSM: Cost[[β$2$]Coproduct[[β$5$]QScriptCore[Fix, β$5$], [A]Coproduct[[β$3$]EquiJoin[Fix, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$], A], β$2$]]
-
def
DelayRenderTreeQSM[T[_[_]]](implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: RenderTreeT[T]): Delay[RenderTree, [β$6$]Coproduct[[β$5$]QScriptCore[T, β$5$], [A]Coproduct[[β$3$]EquiJoin[T, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$], A], β$6$]]
-
def
ExtractPathQSM[T[_[_]]](implicit arg0: RecursiveT[T]): ExtractPath[[β$7$]Coproduct[[β$5$]QScriptCore[T, β$5$], [A]Coproduct[[β$3$]EquiJoin[T, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$], A], β$7$], APath]
-
def
FunctorQSM[T[_[_]]]: Functor[[β$4$]Coproduct[[β$5$]QScriptCore[T, β$5$], [A]Coproduct[[β$3$]EquiJoin[T, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$], A], β$4$]]
-
lazy val
ME: MonadFsErr[Backend]
-
lazy val
MR: MonadReader_[Backend, Config]
-
lazy val
MRT: MonadReader_[[β$21$]Free[Eff, β$21$], Transactor[Task]]
-
lazy val
MT: MonadTell_[Backend, PhaseResults]
-
def
ManageFileModule: ManageFileModule { ... /* 4 definitions in type refinement */ }
-
-
-
def
MonadM: Monad[M]
-
def
MonoSeqM: MonoSeq[M]
-
def
QSCoreInject[T[_[_]]]: :<:[[β$8$]QScriptCore[T, β$8$], [β$9$]Coproduct[[β$5$]QScriptCore[T, β$5$], [A]Coproduct[[β$3$]EquiJoin[T, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$], A], β$9$]]
-
def
ReadKvsM: Kvs[M, ReadHandle, DbDataStream]
-
def
ResultKvsM: Kvs[M, ResultHandle, DbDataStream]
-
def
TraverseQSM[T[_[_]]]: Traverse[[β$5$]Coproduct[[β$5$]QScriptCore[T, β$5$], [A]Coproduct[[β$3$]EquiJoin[T, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$], A], β$5$]]
-
def
UnicoalesceCap[T[_[_]]](implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: RenderTreeT[T]): Capture[T, QS[T]]
-
def
UnirewriteT[T[_[_]]](implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: RenderTreeT[T]): Unirewrite[T, QS[T]]
-
-
final
def
asInstanceOf[T0]: T0
-
val
chunkSize: Int
-
def
clone(): AnyRef
-
def
compile(cfg: Config): DefErrT[Task, (~>[M, Task], Task[slamdata.Predef.Unit])]
-
final
def
config[F[_]](implicit C: MonadReader_[F, Config]): F[Config]
-
final
val
definition: BackendDef[Task]
-
def
dropSchema(schema: Schema): ConnectionIO[slamdata.Predef.Unit]
-
def
dropTable(table: TablePath): ConnectionIO[slamdata.Predef.Unit]
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
interp(xa: Task[Transactor[Task]]): Task[~>[Eff, Task]]
-
def
interpreter(cfg: Config): DefErrT[Task, (~>[BackendEffect, Task], Task[slamdata.Predef.Unit])]
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
lpToQScript[T[_[_]], M[_]](lp: T[LogicalPlan], lc: ListContents[M])(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: RenderTreeT[T], arg4: Monad[M], arg5: MonadFsErr[M], arg6: PhaseResultTell[M]): M[T[[β$16$]fp.:\:.M[β$16$]]]
-
final
def
lpToRepr[T[_[_]]](lp: T[LogicalPlan])(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: RenderTreeT[T]): Backend[PhysicalPlan[Repr]]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
optimize[T[_[_]]](implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T]): (QSM[T, T[[β$12$]Coproduct[[β$5$]QScriptCore[T, β$5$], [A]Coproduct[[β$3$]EquiJoin[T, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$], A], β$12$]]]) ⇒ QSM[T, T[[β$13$]Coproduct[[β$5$]QScriptCore[T, β$5$], [A]Coproduct[[β$3$]EquiJoin[T, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$], A], β$13$]]]
-
def
parseConfig(uri: ConnectionUri): DefErrT[Task, Config]
-
def
plan[T[_[_]]](cp: T[[β$15$]Coproduct[[β$5$]QScriptCore[T, β$5$], [A]Coproduct[[β$3$]EquiJoin[T, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$], A], β$15$]])(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: RenderTreeT[T]): Backend[Repr]
-
implicit
def
qScriptToQScriptTotal[T[_[_]]]: Aux[[β$10$]Coproduct[[β$5$]QScriptCore[T, β$5$], [A]Coproduct[[β$3$]EquiJoin[T, β$3$], [β$4$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$4$], A], β$10$], [β$11$]Coproduct[[β$0$]QScriptCore[T, β$0$], [β$1$]Coproduct[[β$2$]ProjectBucket[T, β$2$], [β$3$]Coproduct[[β$4$]ThetaJoin[T, β$4$], [β$5$]Coproduct[[β$6$]EquiJoin[T, β$6$], [β$7$]Coproduct[[β$8$]Const[ShiftedRead[Path[Abs, Dir, Sandboxed]], β$8$], [β$9$]Coproduct[[β$10$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$10$], [β$11$]Coproduct[[β$12$]Const[Read[Path[Abs, Dir, Sandboxed]], β$12$], [β$13$]Coproduct[[β$14$]Const[Read[Path[Abs, File, Sandboxed]], β$14$], [β$15$]Const[DeadEnd, β$15$], β$13$], β$11$], β$9$], β$7$], β$5$], β$3$], β$1$], β$11$]]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
transactor(cfg: Config): Task[HikariTransactor[Task]]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
val
writeKvs: Ops[WriteHandle, WriteCursor, Eff]
Inherited from DefaultAnalyzeModule
Inherited from BackendModule
