quasar
fs
package
fs
Linear Supertypes
PhysicalErrorPrisms
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
fs
PhysicalErrorPrisms
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
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
interpretFileSystem
[
M
[
_
]
]
(
q:
~>
[
QueryFile
,
M
]
,
r:
~>
[
ReadFile
,
M
]
,
w:
~>
[
WriteFile
,
M
]
,
m:
~>
[
ManageFile
,
M
]
)
:
~>
[
FileSystem
,
M
]
package
mount
val
unhandledFSError
:
Prism
[
PhysicalError
,
Exception
]
Definition Classes
PhysicalErrorPrisms
Inherited from
PhysicalErrorPrisms
Inherited from
AnyRef
Inherited from
Any
Ungrouped