package fs
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- fs
- PhysicalErrorPrisms
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- type BackendEffect[A] = Coproduct[Analyze, FileSystem, A]
- type FileSystem[A] = Coproduct[QueryFile, [A]Coproduct[ReadFile, [A]Coproduct[WriteFile, ManageFile, A], A], A]
- type FileSystemErrT[F[_], A] = EitherT[F, FileSystemError, A]
- type FileSystemFailure[A] = Failure[FileSystemError, A]
- type MonadFsErr[F[_]] = MonadError_[F, FileSystemError]
- type PhysErr[A] = Failure[PhysicalError, A]
Value Members
- def interpretBackendEffect[M[_]](a: ~>[Analyze, M], q: ~>[QueryFile, M], r: ~>[ReadFile, M], w: ~>[WriteFile, M], m: ~>[ManageFile, M]): ~>[BackendEffect, M]
- def interpretFileSystem[M[_]](q: ~>[QueryFile, M], r: ~>[ReadFile, M], w: ~>[WriteFile, M], m: ~>[ManageFile, M]): ~>[FileSystem, M]
-
val
unhandledFSError: Prism[PhysicalError, Exception]
- Definition Classes
- PhysicalErrorPrisms