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$], [γ$1$]KeyValueStore[WriteHandle, TablePath, γ$1$], 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
ManagedReadFileModule extends AnyRef
-
type
QS[T[_[_]]] = :\:[[β$2$]QScriptCore[T, β$2$], :/:[[β$0$]EquiJoin[T, β$0$], [β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$]]]
-
type
QSM[T[_[_]], A] = fp.:\:.M[A]
-
trait
QueryFileModule extends AnyRef
-
trait
ReadFileModule extends AnyRef
-
type
Repr = String
-
trait
WriteFileModule extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
CardinalityQSM: Cardinality[[β$3$]Coproduct[[β$2$]QScriptCore[Fix, β$2$], [A]Coproduct[[β$0$]EquiJoin[Fix, β$0$], [β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$], A], β$3$]]
-
def
CostQSM: Cost[[β$5$]Coproduct[[β$2$]QScriptCore[Fix, β$2$], [A]Coproduct[[β$0$]EquiJoin[Fix, β$0$], [β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$], A], β$5$]]
-
def
DelayRenderTreeQSM[T[_[_]]](implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: RenderTreeT[T]): Delay[RenderTree, [β$9$]Coproduct[[β$2$]QScriptCore[T, β$2$], [A]Coproduct[[β$0$]EquiJoin[T, β$0$], [β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$], A], β$9$]]
-
def
ExtractPathQSM[T[_[_]]](implicit arg0: RecursiveT[T]): ExtractPath[[β$10$]Coproduct[[β$2$]QScriptCore[T, β$2$], [A]Coproduct[[β$0$]EquiJoin[T, β$0$], [β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$], A], β$10$], APath]
-
def
FunctorQSM[T[_[_]]]: Functor[[β$7$]Coproduct[[β$2$]QScriptCore[T, β$2$], [A]Coproduct[[β$0$]EquiJoin[T, β$0$], [β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$], A], β$7$]]
-
lazy val
ME: MonadFsErr[Backend]
-
lazy val
MR: MonadReader_[Backend, Config]
-
lazy val
MT: MonadReader_[[β$21$]Free[Eff, β$21$], Transactor[Task]]
-
def
ManageFileModule: ManageFileModule { ... /* 4 definitions in type refinement */ }
-
-
def
MonadM: Monad[M]
-
def
MonoSeqM: MonoSeq[M]
-
def
QSCoreInject[T[_[_]]]: :<:[[β$11$]QScriptCore[T, β$11$], [β$12$]Coproduct[[β$2$]QScriptCore[T, β$2$], [A]Coproduct[[β$0$]EquiJoin[T, β$0$], [β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$], A], β$12$]]
-
-
def
ReadKvsM: Kvs[M, ReadHandle, DbDataStream]
-
def
TraverseQSM[T[_[_]]]: Traverse[[β$8$]Coproduct[[β$2$]QScriptCore[T, β$2$], [A]Coproduct[[β$0$]EquiJoin[T, β$0$], [β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$], A], β$8$]]
-
val
Type: FileSystemType
-
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
-
def
batchInsert(dbPath: TablePath, chunk: slamdata.Predef.Vector[Data]): ConnectionIO[slamdata.Predef.Vector[FileSystemError]]
-
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]
-
def
createSchema(schema: CustomSchema): ConnectionIO[slamdata.Predef.Unit]
-
def
createTable(tablePath: TablePath): ConnectionIO[slamdata.Predef.Unit]
-
lazy val
dataMeta: Meta[Data]
-
final
val
definition: BackendDef[Task]
-
def
dirToCustomSchema(dir: ADir): \/[FileSystemError, CustomSchema]
-
val
driverClass: String
-
def
dropSchema(schema: CustomSchema): ConnectionIO[slamdata.Predef.Unit]
-
def
dropTable(table: TablePath): ConnectionIO[slamdata.Predef.Unit]
-
def
dropTableIfExists(table: TablePath): ConnectionIO[slamdata.Predef.Unit]
-
-
-
def
finalize(): Unit
-
def
findChildSchemas(parent: Schema): ConnectionIO[slamdata.Predef.Vector[CustomSchema]]
-
def
findChildTables(schema: Schema): ConnectionIO[slamdata.Predef.Vector[TableName]]
-
val
formatHint: String
-
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
-
val
jdbcPrefixLength: Int
-
def
limitFr(limit: slamdata.Predef.Option[Positive]): Fragment
-
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]]
-
def
moveTableToSchema(table: TablePath, dst: Schema): ConnectionIO[TablePath]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
offsetFr(offset: Natural): Fragment
-
def
optimize[T[_[_]]](implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T]): (QSM[T, T[[β$15$]Coproduct[[β$2$]QScriptCore[T, β$2$], [A]Coproduct[[β$0$]EquiJoin[T, β$0$], [β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$], A], β$15$]]]) ⇒ QSM[T, T[[β$16$]Coproduct[[β$2$]QScriptCore[T, β$2$], [A]Coproduct[[β$0$]EquiJoin[T, β$0$], [β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$], A], β$16$]]]
-
def
parseConfig(uri: ConnectionUri): DefErrT[Task, Config]
-
def
parseConnectionUri(uri: ConnectionUri): \/[DefinitionError, JdbcConnectionInfo]
-
def
plan[T[_[_]]](cp: T[[β$18$]Coproduct[[β$2$]QScriptCore[T, β$2$], [A]Coproduct[[β$0$]EquiJoin[T, β$0$], [β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$], A], β$18$]])(implicit arg0: BirecursiveT[T], arg1: EqualT[T], arg2: ShowT[T], arg3: RenderTreeT[T]): Backend[Repr]
-
implicit
def
qScriptToQScriptTotal[T[_[_]]]: Aux[[β$13$]Coproduct[[β$2$]QScriptCore[T, β$2$], [A]Coproduct[[β$0$]EquiJoin[T, β$0$], [β$1$]Const[ShiftedRead[Path[Abs, File, Sandboxed]], β$1$], A], β$13$], [β$14$]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$], β$14$]]
-
def
renameSchema(schema: CustomSchema, newName: CustomSchema): ConnectionIO[slamdata.Predef.Unit]
-
-
def
schemaExists(schema: Schema): ConnectionIO[slamdata.Predef.Boolean]
-
def
selectAllQuery(tablePath: TablePath, offset: Natural, limit: slamdata.Predef.Option[Positive]): Fragment
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
tableExists(tablePath: TablePath): ConnectionIO[slamdata.Predef.Boolean]
-
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, TablePath, Eff]
Inherited from DefaultAnalyzeModule
Inherited from BackendModule
