main

Type Members

1. final case class CmdLineConfig(configPath: slamdata.Predef.Option[FsFile], cmd: Cmd) extends Product with Serializable

   

2. type CoreEff[A] = Coproduct[MetaStoreLocation, [A]Coproduct[Module, [A]Coproduct[Mounting, [A]Coproduct[Analyze, [A]Coproduct[QueryFile, [A]Coproduct[ReadFile, [A]Coproduct[WriteFile, [A]Coproduct[ManageFile, [A]Coproduct[[A]KeyValueStore[Path[Abs, File, Sandboxed], ViewCache, A], [A]Coproduct[Timing, [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], A], A], A]

   

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

   

   Effect comprising the core Quasar apis.

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

   

   The types of failure from core apis.

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

   

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

   

7. class FilesystemQueries[S[_]] extends AnyRef

   

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

   

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

   

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

    

    The effects required by hierarchical FileSystem operations.

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

    

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

    

13. sealed abstract class MetaStoreLocation[A] extends AnyRef

    

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

    

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

    

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

    

    Effects required for mounting.

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

    

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

    

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

    

    Effects that physical filesystems are permitted.

20. type QEff[A] = Coproduct[Timing, QEff0, A]

    

21. type QEff0[A] = Coproduct[VCache, QEff1, A]

    

22. type QEff1[A] = Coproduct[MetaStoreLocation, QEff2, A]

    

23. type QEff2[A] = Coproduct[Mounting, QErrs, A]

    

24. 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.

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

    

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

26. type QErrs_Task[A] = Coproduct[Task, QErrs, A]

    

27. type QErrs_TaskM[A] = Free[QErrs_Task, A]

    

28. final case class Quasar(interp: ~>[CoreEff, QErrs_TaskM], shutdown: Task[slamdata.Predef.Unit]) extends Product with Serializable

    

    The Quasar Filesystem.

    The Quasar Filesystem. Contains the CoreEff that can be used to interpret most operations. Also has convenience methods for executing common operation within Task. The shutdown task should be called once you are done with it.

    shutdown

    Trigger the underlying connector drivers to shutdown cleanly.