Packages

package fs

Linear Supertypes
PhysicalErrorPrisms, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. fs
  2. PhysicalErrorPrisms
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type BackendEffect[A] = Coproduct[Analyze, FileSystem, A]
  2. type FileSystem[A] = Coproduct[QueryFile, [A]Coproduct[ReadFile, [A]Coproduct[WriteFile, ManageFile, A], A], A]
  3. type FileSystemErrT[F[_], A] = EitherT[F, FileSystemError, A]
  4. type FileSystemFailure[A] = Failure[FileSystemError, A]
  5. type MonadFsErr[F[_]] = MonadError_[F, FileSystemError]
  6. type PhysErr[A] = Failure[PhysicalError, A]

Value Members

  1. def interpretBackendEffect[M[_]](a: ~>[Analyze, M], q: ~>[QueryFile, M], r: ~>[ReadFile, M], w: ~>[WriteFile, M], m: ~>[ManageFile, M]): ~>[BackendEffect, M]
  2. def interpretFileSystem[M[_]](q: ~>[QueryFile, M], r: ~>[ReadFile, M], w: ~>[WriteFile, M], m: ~>[ManageFile, M]): ~>[FileSystem, M]
  3. val unhandledFSError: Prism[PhysicalError, Exception]
    Definition Classes
    PhysicalErrorPrisms
  4. object constantPlans

Inherited from PhysicalErrorPrisms

Inherited from AnyRef

Inherited from Any

Ungrouped