main

Type Members

type CoreEff[A] = Coproduct[Module, [A]Coproduct[Mounting, [A]Coproduct[Analyze, [A]Coproduct[QueryFile, [A]Coproduct[ReadFile, [A]Coproduct[WriteFile, [A]Coproduct[ManageFile, [A]Coproduct[[A]Failure[Error, A], [A]Coproduct[[A]Failure[PathTypeMismatch, A], [A]Coproduct[[A]Failure[MountingError, A], [A]Failure[FileSystemError, A], A], A], A], A], A], A], A], A], A], A]
type CoreEffIO[A] = Coproduct[Task, CoreEff, A]

Effect comprising the core Quasar apis.
type CoreErrs[A] = Coproduct[Failure, CoreErrs1, A]

The types of failure from core apis.
type CoreErrs0[A] = Coproduct[MountingFailure, FileSystemFailure, A]
type CoreErrs1[A] = Coproduct[PathMismatchFailure, CoreErrs0, A]
class FilesystemQueries[S[_]] extends AnyRef
type HierarchicalFsEff[A] = Coproduct[PhysFsEffM, HierarchicalFsEff0, A]
type HierarchicalFsEff0[A] = Coproduct[MountedResultH, MonotonicSeq, A]
type HierarchicalFsEffM[A] = Free[HierarchicalFsEff, A]

The effects required by hierarchical FileSystem operations.
type MainErrT[F[_], A] = EitherT[F, slamdata.Predef.String, A]
type MainTask[A] = EitherT[Task, slamdata.Predef.String, A]
type MountEff[A] = Coproduct[PhysFsEffM, MountEff0, A]
type MountEff0[A] = Coproduct[HierarchicalFsRef, MountedFsRef, A]
type MountEffM[A] = Free[MountEff, A]

Effects required for mounting.
type MountedFsRef[A] = AtomicRef[Mounts[DefinitionResult[PhysFsEffM]], A]
type PhysFsEff[A] = Coproduct[Task, PhysErr, A]
type PhysFsEffM[A] = Free[PhysFsEff, A]

Effects that physical filesystems are permitted.
type QEff[A] = Coproduct[Mounting, QErrs, A]
type QEffIO[A] = Coproduct[Task, QEff, A]

A "terminal" effect, encompassing failures and other effects which we may want to interpret using more than one implementation.
type QErrs[A] = Coproduct[PhysErr, CoreErrs, A]

All possible types of failure in the system (apis + physical).

Value Members

object CompositeFileSystem

A FileSystem supporting views and physical filesystems mounted at various points in the hierarchy.
object CoreEff extends Serializable
object HierarchicalFsEff extends Serializable
object KvsMounter
val MainTask: MonadError[[γ$0$]EitherT[Task, String, γ$0$], slamdata.Predef.String]
object MountEff extends Serializable
object PhysFsEff extends Serializable
object Prettify
object QErrs extends Serializable
object analysis
def attemptMountAll[S[_]](config: MountingsConfig)(implicit S: :<:[Mounting, S]): Free[S, slamdata.Predef.Map[APath, slamdata.Predef.String]]

Mount all the mounts defined in the given configuration, returning the paths that failed to mount along with the reasons why.
object config
def initUpdateMigrate[A](schema: Schema[A], tx: Transactor[Task], cfgFile: slamdata.Predef.Option[FsFile]): MainTask[slamdata.Predef.Unit]

Initialize or update MetaStore Schema and migrate mounts from config file
val logFailedMount: ((APath, slamdata.Predef.String)) ⇒ Task[slamdata.Predef.Unit]

Prints a warning about the mount failure to the console.
object metastore
val mountHandler: MountRequestHandler[PhysFsEffM, HierarchicalFsEff]

Provides the mount handlers to update the hierarchical filesystem whenever a mount is added or removed.
val physicalFileSystems: FileSystemDef[PhysFsEffM]

The physical filesystems currently supported.
package query

package main

Type Members

type CoreEffIO[A] = Coproduct[Task, CoreEff, A]

type CoreErrs[A] = Coproduct[Failure, CoreErrs1, A]

type CoreErrs0[A] = Coproduct[MountingFailure, FileSystemFailure, A]

type CoreErrs1[A] = Coproduct[PathMismatchFailure, CoreErrs0, A]

class FilesystemQueries[S[_]] extends AnyRef

type HierarchicalFsEff[A] = Coproduct[PhysFsEffM, HierarchicalFsEff0, A]

type HierarchicalFsEff0[A] = Coproduct[MountedResultH, MonotonicSeq, A]

type HierarchicalFsEffM[A] = Free[HierarchicalFsEff, A]

type MainErrT[F[_], A] = EitherT[F, slamdata.Predef.String, A]

type MainTask[A] = EitherT[Task, slamdata.Predef.String, A]

type MountEff[A] = Coproduct[PhysFsEffM, MountEff0, A]

type MountEff0[A] = Coproduct[HierarchicalFsRef, MountedFsRef, A]

type MountEffM[A] = Free[MountEff, A]

type MountedFsRef[A] = AtomicRef[Mounts[DefinitionResult[PhysFsEffM]], A]

type PhysFsEff[A] = Coproduct[Task, PhysErr, A]

type PhysFsEffM[A] = Free[PhysFsEff, A]

type QEff[A] = Coproduct[Mounting, QErrs, A]

type QEffIO[A] = Coproduct[Task, QEff, A]

type QErrs[A] = Coproduct[PhysErr, CoreErrs, A]

Value Members

object CompositeFileSystem

object CoreEff extends Serializable

object HierarchicalFsEff extends Serializable

object KvsMounter

val MainTask: MonadError[[γ$0$]EitherT[Task, String, γ$0$], slamdata.Predef.String]

object MountEff extends Serializable

object PhysFsEff extends Serializable

object Prettify

object QErrs extends Serializable

object analysis

def attemptMountAll[S[_]](config: MountingsConfig)(implicit S: :<:[Mounting, S]): Free[S, slamdata.Predef.Map[APath, slamdata.Predef.String]]

object config

def initUpdateMigrate[A](schema: Schema[A], tx: Transactor[Task], cfgFile: slamdata.Predef.Option[FsFile]): MainTask[slamdata.Predef.Unit]

val logFailedMount: ((APath, slamdata.Predef.String)) ⇒ Task[slamdata.Predef.Unit]

object metastore

val mountHandler: MountRequestHandler[PhysFsEffM, HierarchicalFsEff]

val physicalFileSystems: FileSystemDef[PhysFsEffM]

package query

Inherited from AnyRef

Inherited from Any

Ungrouped