object
view
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
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, [β$23$]Free[S, β$23$]]
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
manageFile[S[_]](implicit S0: :<:[ManageFile, S], S1: :<:[QueryFile, S], S2: :<:[Mounting, S], S3: :<:[MountingFailure, S], S4: :<:[PathMismatchFailure, S]): ~>[ManageFile, [β$13$]Free[S, β$13$]]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
queryFile[S[_]](implicit S0: :<:[QueryFile, S], S1: :<:[Mounting, S]): ~>[QueryFile, [β$18$]Free[S, β$18$]]
-
def
readFile[S[_]](implicit S0: :<:[ReadFile, S], S1: :<:[QueryFile, S], S2: :<:[MonotonicSeq, S], S3: :<:[ViewState, S], S4: :<:[Mounting, S]): ~>[ReadFile, [β$0$]Free[S, β$0$]]
-
def
resolveViewRefs[S[_]](plan: Fix[LogicalPlan])(implicit M: Ops[S]): SemanticErrsT[[β$25$]Free[S, β$25$], Fix[LogicalPlan]]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
writeFile[S[_]](implicit S0: :<:[WriteFile, S], S1: :<:[Mounting, S]): ~>[WriteFile, [β$8$]Free[S, β$8$]]