final
class
Ops[S[_]] extends LiftedOps[Mounting, S]
Instance Constructors
-
new
Ops()(implicit S: :<:[Mounting, S])
Type Members
-
type
FreeS[A] = Free[S, A]
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
exists(path: APath): FreeS[slamdata.Predef.Boolean]
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
havingPrefix(dir: ADir): FreeS[slamdata.Predef.Map[APath, \/[MountingError, MountType]]]
-
final
def
isInstanceOf[T0]: Boolean
-
-
def
lookupConfig(path: APath): EitherT[[β$0$]OptionT[[A]Free[S, A], β$0$], MountingError, MountConfig]
-
def
lookupModuleConfig(path: ADir): EitherT[[β$2$]OptionT[[A]Free[S, A], β$2$], MountingError, ModuleConfig]
-
def
lookupType(path: APath): EitherT[[β$3$]OptionT[[A]Free[S, A], β$3$], MountingError, MountType]
-
def
lookupViewConfig(path: AFile): EitherT[[β$1$]OptionT[[A]Free[S, A], β$1$], MountingError, ViewConfig]
-
def
modulesHavingPrefix(dir: ADir): FreeS[slamdata.Predef.Set[ADir]]
-
def
modulesHavingPrefix_(dir: ADir): FreeS[slamdata.Predef.Set[RDir]]
-
-
def
mountFileSystem(loc: ADir, typ: FileSystemType, uri: ConnectionUri)(implicit S0: :<:[MountingFailure, S]): FreeS[slamdata.Predef.Unit]
-
def
mountModule(loc: ADir, statements: slamdata.Predef.List[Statement[Fix[Sql]]])(implicit SO: :<:[MountingFailure, S]): FreeS[slamdata.Predef.Unit]
-
def
mountOrReplace(path: APath, mountConfig: MountConfig, replaceIfExists: slamdata.Predef.Boolean)(implicit S0: :<:[MountingFailure, S], S1: :<:[PathMismatchFailure, S]): Free[S, slamdata.Predef.Unit]
-
def
mountView(loc: AFile, scopedExpr: ScopedExpr[Fix[Sql]], vars: Variables)(implicit S0: :<:[MountingFailure, S]): FreeS[slamdata.Predef.Unit]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
remount[T](src: Path[Abs, T, Sandboxed], dst: Path[Abs, T, Sandboxed])(implicit S0: :<:[MountingFailure, S]): FreeS[slamdata.Predef.Unit]
-
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
unmount(path: APath)(implicit S0: :<:[MountingFailure, S]): FreeS[slamdata.Predef.Unit]
-
def
viewsHavingPrefix(dir: ADir): FreeS[slamdata.Predef.Set[AFile]]
-
def
viewsHavingPrefix_(dir: ADir): FreeS[slamdata.Predef.Set[RFile]]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any