mount

Type Members

1. final class FileSystemMountHandler[F[_]] extends AnyRef

   

2. type MntErrT[F[_], A] = EitherT[F, MountingError, A]

   

3. sealed abstract class MountConfig extends AnyRef

   

   Configuration for a mount, currently either a view or a filesystem.

4. type MountConfigs[A] = KeyValueStore[APath, MountConfig, A]

   

5. sealed abstract class MountRequest extends AnyRef

   

6. final class MountRequestHandler[F[_], S[_]] extends AnyRef

   

   Handles mount requests, validating them and updating a hierarchical FileSystem interpreter as mounts are added and removed.

   Handles mount requests, validating them and updating a hierarchical FileSystem interpreter as mounts are added and removed.

   F

   the base effect that FileSystem operations are translated into

   S

   the composite effect, supporting the base and hierarchical effects

7. sealed abstract class MountType extends AnyRef

   

8. sealed abstract class Mounting[A] extends AnyRef

   

9. sealed abstract class MountingError extends AnyRef

   

10. type MountingFailure[A] = Failure[MountingError, A]

    

11. final case class MountingsConfig(toMap: slamdata.Predef.Map[APath, MountConfig]) extends slamdata.Predef.AnyVal with Product with Serializable

    

12. final class Mounts[A] extends AnyRef

    

    A mapping of values to directory paths, maintains the invariant that no path is a prefix of any other path.

    A mapping of values to directory paths, maintains the invariant that no path is a prefix of any other path.

    The current implementation is linear in the number of mounts, might be able to do better using a different data structure that takes advantage of the invariant and structure of the ADir keys.

13. type PathMismatchFailure[A] = Failure[PathTypeMismatch, A]

    

14. sealed abstract class ResultSet extends AnyRef

    

15. type ViewFileSystem[A] = Coproduct[Mounting, [A]Coproduct[[A]Failure[PathTypeMismatch, A], [A]Coproduct[[A]Failure[MountingError, A], [A]Coproduct[[A]KeyValueStore[ReadHandle, ResultSet, A], [A]Coproduct[[A]KeyValueStore[Path[Abs, File, Sandboxed], ViewCache, A], [A]Coproduct[MonotonicSeq, [A]Coproduct[QueryFile, [A]Coproduct[ReadFile, [A]Coproduct[WriteFile, ManageFile, A], A], A], A], A], A], A], A], A]

    

16. type ViewState[A] = KeyValueStore[ReadHandle, ResultSet, A]