package
module
Value Members
-
-
def
backendEffect[S[_]](implicit S0: :<:[ReadFile, S], S1: :<:[WriteFile, S], S2: :<:[ManageFile, S], S3: :<:[QueryFile, S], S6: :<:[VCacheKVS, S], S7: :<:[Mounting, S], S8: :<:[MountingFailure, S], S9: :<:[PathMismatchFailure, S], S10: :<:[Analyze, S]): ~>[BackendEffect, [β$13$]Free[S, β$13$]]
-
def
fileSystem[S[_]](implicit S0: :<:[ReadFile, S], S1: :<:[WriteFile, S], S2: :<:[ManageFile, S], S3: :<:[QueryFile, S], S6: :<:[VCacheKVS, S], S7: :<:[Mounting, S], S8: :<:[MountingFailure, S], S9: :<:[PathMismatchFailure, S]): ~>[FileSystem, [β$11$]Free[S, β$11$]]
-
def
queryFile[S[_]](implicit S0: :<:[QueryFile, S], S1: :<:[Mounting, S]): ~>[QueryFile, [β$6$]Free[S, β$6$]]
-
def
readFile[S[_]](implicit S0: :<:[ReadFile, S], S4: :<:[Mounting, S]): ~>[ReadFile, [β$0$]Free[S, β$0$]]
-
def
writeFile[S[_]](implicit S0: :<:[WriteFile, S], S1: :<:[Mounting, S]): ~>[WriteFile, [β$5$]Free[S, β$5$]]