fs - quasar.physical.marklogic.fs

Type Members

type MLFS[A] = WriterT[[β$2$]Free[[A]Coproduct[[A]Read[UUID, A], [A]Coproduct[[A]KeyValueStore[ReadHandle, Process[[A]EitherT[[β$1$]WriterT[[β$0$]Free[[A]Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A], β$0$], ISet[Prolog], β$1$], MarkLogicPlannerError, A], \/[FileSystemError, Vector[Data]]], A], [A]Coproduct[[A]KeyValueStore[ResultHandle, Process[[A]EitherT[[β$1$]WriterT[[β$0$]Free[[A]Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A], β$0$], ISet[Prolog], β$1$], MarkLogicPlannerError, A], \/[FileSystemError, Vector[Data]]], A], [A]Coproduct[[A]KeyValueStore[WriteHandle, Path[Abs, File, Sandboxed], A], [A]Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A], A], A], A], A], β$2$], Prologs, A]
type MLFSQ[A] = EitherT[MLFS, MarkLogicPlannerError, A]
type MLQScriptCP[T[_[_]]] = :\:[[β$6$]QScriptCore[T, β$6$], :\:[[β$3$]ThetaJoin[T, β$3$], :/:[[β$4$]Const[ShiftedRead[Path[Abs, Dir, Sandboxed]], β$4$], [β$5$]Const[Read[Path[Abs, File, Sandboxed]], β$5$]]]]
type MLReadHandles[A] = KeyValueStore[ReadHandle, XccDataStream, A]
type MLResultHandles[A] = KeyValueStore[ResultHandle, XccDataStream, A]
type MLWriteHandles[A] = KeyValueStore[WriteHandle, AFile, A]
final case class MarkLogicConfig(xccUri: URI, rootDir: ADir, docType: DocType) extends Product with Serializable
type MarkLogicFs[A] = Coproduct[[A]Read[UUID, A], [A]Coproduct[[A]KeyValueStore[ReadHandle, Process[[A]EitherT[[β$1$]WriterT[[β$0$]Free[[A]Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A], β$0$], ISet[Prolog], β$1$], MarkLogicPlannerError, A], \/[FileSystemError, Vector[Data]]], A], [A]Coproduct[[A]KeyValueStore[ResultHandle, Process[[A]EitherT[[β$1$]WriterT[[β$0$]Free[[A]Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A], β$0$], ISet[Prolog], β$1$], MarkLogicPlannerError, A], \/[FileSystemError, Vector[Data]]], A], [A]Coproduct[[A]KeyValueStore[WriteHandle, Path[Abs, File, Sandboxed], A], [A]Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A], A], A], A], A]
type XccContentSourceR[A] = Read[ContentSource, A]
type XccDataStream = Process[XccEval, \/[FileSystemError, slamdata.Predef.Vector[Data]]]
type XccEval[A] = EitherT[[β$1$]WriterT[[β$0$]Free[[A]Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A], β$0$], ISet[Prolog], β$1$], MarkLogicPlannerError, A]
type XccEvalEff[A] = Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A]
type XccSessionR[A] = Read[Session, A]

Value Members

val FsType: FileSystemType
object MarkLogicConfig extends Serializable
def contentSourceAt[F[_]](uri: URI)(implicit arg0: Capture[F]): F[ContentSource]

The ContentSource located at the given URI.
def contentSourceConnection[F[_]](connectionUri: ConnectionUri)(implicit arg0: Capture[F], arg1: Bind[F]): F[ContentSource]

The ContentSource located at the given ConnectionUri.
object data
implicit val dataAsJsonContent: AsContent[Json, Data]
implicit val dataAsXmlContent: AsContent[Xml, Data]
object lib
def mlPlannerErrorToFsError(mlerr: MarkLogicPlannerError): FileSystemError

Converts MarkLogicPlannerErrors into FileSystemErrors.
implicit val mlfsCSourceR: MonadReader_[[β$21$]Free[MarkLogicFs, β$21$], ContentSource]
implicit val mlfsSessionR: MonadReader_[[β$21$]Free[MarkLogicFs, β$21$], Session]
implicit val mlfsUuidR: MonadReader_[[β$21$]Free[MarkLogicFs, β$21$], slamdata.Predef.UUID]
object ops
def pathUri(path: APath): slamdata.Predef.String

The URI representation of the given path.
def runMarkLogicFs(xccUri: URI): DefErrT[Task, (~>[[β$7$]Free[[A]Coproduct[[A]Read[UUID, A], [A]Coproduct[[A]KeyValueStore[ReadHandle, Process[[A]EitherT[[β$1$]WriterT[[β$0$]Free[[A]Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A], β$0$], ISet[Prolog], β$1$], MarkLogicPlannerError, A], \/[FileSystemError, Vector[Data]]], A], [A]Coproduct[[A]KeyValueStore[ResultHandle, Process[[A]EitherT[[β$1$]WriterT[[β$0$]Free[[A]Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A], β$0$], ISet[Prolog], β$1$], MarkLogicPlannerError, A], \/[FileSystemError, Vector[Data]]], A], [A]Coproduct[[A]KeyValueStore[WriteHandle, Path[Abs, File, Sandboxed], A], [A]Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A], A], A], A], A], β$7$], Task], Task[slamdata.Predef.Unit])]

Annotations
@SuppressWarnings()
def testXccConnection[F[_]](implicit arg0: Applicative[F], X: Xcc[F]): OptionT[F, EnvironmentError]

Returns an error describing why an XCC connection failed or None if it is successful.
val xccEvalToMLFSQ: ~>[XccEval, MLFSQ]

Lift XccEval into MLFSQ.
implicit val xccSessionR: MonadReader_[[β$21$]Free[XccEvalEff, β$21$], Session]
implicit val xccSourceR: MonadReader_[[β$21$]Free[XccEvalEff, β$21$], ContentSource]
object xdmitem

fs

package fs

Type Members

type MLFSQ[A] = EitherT[MLFS, MarkLogicPlannerError, A]

type MLQScriptCP[T[_[_]]] = :\:[[β$6$]QScriptCore[T, β$6$], :\:[[β$3$]ThetaJoin[T, β$3$], :/:[[β$4$]Const[ShiftedRead[Path[Abs, Dir, Sandboxed]], β$4$], [β$5$]Const[Read[Path[Abs, File, Sandboxed]], β$5$]]]]

type MLReadHandles[A] = KeyValueStore[ReadHandle, XccDataStream, A]

type MLResultHandles[A] = KeyValueStore[ResultHandle, XccDataStream, A]

type MLWriteHandles[A] = KeyValueStore[WriteHandle, AFile, A]

final case class MarkLogicConfig(xccUri: URI, rootDir: ADir, docType: DocType) extends Product with Serializable

type XccContentSourceR[A] = Read[ContentSource, A]

type XccDataStream = Process[XccEval, \/[FileSystemError, slamdata.Predef.Vector[Data]]]

type XccEval[A] = EitherT[[β$1$]WriterT[[β$0$]Free[[A]Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A], β$0$], ISet[Prolog], β$1$], MarkLogicPlannerError, A]

type XccEvalEff[A] = Coproduct[Task, [A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Read[Session, A], [A]Read[ContentSource, A], A], A], A]

type XccSessionR[A] = Read[Session, A]

Value Members

val FsType: FileSystemType

object MarkLogicConfig extends Serializable

def contentSourceAt[F[_]](uri: URI)(implicit arg0: Capture[F]): F[ContentSource]

def contentSourceConnection[F[_]](connectionUri: ConnectionUri)(implicit arg0: Capture[F], arg1: Bind[F]): F[ContentSource]

object data

implicit val dataAsJsonContent: AsContent[Json, Data]

implicit val dataAsXmlContent: AsContent[Xml, Data]

object lib

def mlPlannerErrorToFsError(mlerr: MarkLogicPlannerError): FileSystemError

implicit val mlfsCSourceR: MonadReader_[[β$21$]Free[MarkLogicFs, β$21$], ContentSource]

implicit val mlfsSessionR: MonadReader_[[β$21$]Free[MarkLogicFs, β$21$], Session]

implicit val mlfsUuidR: MonadReader_[[β$21$]Free[MarkLogicFs, β$21$], slamdata.Predef.UUID]

object ops

def pathUri(path: APath): slamdata.Predef.String

def testXccConnection[F[_]](implicit arg0: Applicative[F], X: Xcc[F]): OptionT[F, EnvironmentError]

val xccEvalToMLFSQ: ~>[XccEval, MLFSQ]

implicit val xccSessionR: MonadReader_[[β$21$]Free[XccEvalEff, β$21$], Session]

implicit val xccSourceR: MonadReader_[[β$21$]Free[XccEvalEff, β$21$], ContentSource]

object xdmitem

Inherited from AnyRef

Inherited from Any

Ungrouped