package
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]
-
type
CoreErrs[A] = Coproduct[Failure, CoreErrs1, A]
-
type
CoreErrs0[A] = Coproduct[MountingFailure, FileSystemFailure, A]
-
type
CoreErrs1[A] = Coproduct[PathMismatchFailure, CoreErrs0, 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
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
CoreEff extends Serializable
-
-
-
val
MainTask: MonadError[[γ$0$]EitherT[Task, String, γ$0$], slamdata.Predef.String]
-
object
MountEff extends Serializable
-
object
PhysFsEff extends Serializable
-
-
object
QErrs extends Serializable
-
-
def
attemptMountAll[S[_]](config: MountingsConfig)(implicit S: :<:[Mounting, S]): Free[S, slamdata.Predef.Map[APath, slamdata.Predef.String]]
-
-
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]
-
-
-
val
physicalFileSystems: FileSystemDef[PhysFsEffM]
-
Inherited from AnyRef
Inherited from Any
Concrete effect types and their interpreters that implement the quasar functionality.