module

Value Members

1. object Module

   

2. def analyticalFileSystem[S[_]](implicit S0: :<:[ReadFile, S], S1: :<:[WriteFile, S], S2: :<:[ManageFile, S], S3: :<:[QueryFile, S], S4: :<:[MonotonicSeq, S], S5: :<:[ViewState, S], S6: :<:[Mounting, S], S7: :<:[MountingFailure, S], S8: :<:[PathMismatchFailure, S], S9: :<:[Analyze, S]): ~>[AnalyticalFileSystem, [β$14$]Free[S, β$14$]]

   

3. def fileSystem[S[_]](implicit S0: :<:[ReadFile, S], S1: :<:[WriteFile, S], S2: :<:[ManageFile, S], S3: :<:[QueryFile, S], S4: :<:[MonotonicSeq, S], S5: :<:[ViewState, S], S6: :<:[Mounting, S], S7: :<:[MountingFailure, S], S8: :<:[PathMismatchFailure, S]): ~>[FileSystem, [β$12$]Free[S, β$12$]]

   

4. def queryFile[S[_]](implicit S0: :<:[QueryFile, S], S1: :<:[Mounting, S]): ~>[QueryFile, [β$6$]Free[S, β$6$]]

   

   Overlay modules when enumerating files and directories.

5. def readFile[S[_]](implicit S0: :<:[ReadFile, S], S4: :<:[Mounting, S]): ~>[ReadFile, [β$0$]Free[S, β$0$]]

   

   Intercept and fail any read to a module path; all others are passed untouched.

6. def writeFile[S[_]](implicit S0: :<:[WriteFile, S], S1: :<:[Mounting, S]): ~>[WriteFile, [β$5$]Free[S, β$5$]]

   

   Intercept and fail any write to a module path; all others are passed untouched.