Created
September 15, 2016 21:07
-
-
Save paulp/e637483dd2d86693424b18048a2f1e97 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
class Skeleton[F[_]] extends EmptyFs[Free[F, ?]] { | |
def close(fh: RHandle): F[Unit] = () | |
def close(fh: WHandle): F[Unit] = () | |
def close(rh: QHandle): F[Unit] = () | |
def createTempFile(near: APath): FLR[AFile] = Unimplemented | |
def deletePath(path: APath): FLR[Unit] = Unimplemented | |
def evaluate(lp: FixPlan): FPLR[QHandle] = Unimplemented | |
def execute(lp: FixPlan, out: AFile): FPLR[AFile] = Unimplemented | |
def exists(file: AFile): F[Boolean] = false | |
def explain(lp: FixPlan): FPLR[ExecutionPlan] = Unimplemented | |
def list(dir: ADir): FLR[DirList] = Unimplemented | |
def more(rh: QHandle): FLR[Chunks] = Unimplemented | |
def moveDir(src: ADir, dst: ADir, semantics: MoveSemantics): FLR[Unit] = Unimplemented | |
def moveFile(src: AFile, dst: AFile, semantics: MoveSemantics): FLR[Unit] = Unimplemented | |
def openForRead(file: AFile, offset: Natural, limit: Option[Positive]): FLR[RHandle] = Unimplemented | |
def openForWrite(file: AFile): FLR[WHandle] = Unimplemented | |
def read(fh: RHandle): FLR[Chunks] = Unimplemented | |
def write(fh: WHandle, chunks: Chunks): F[Errors] = Vector(Unimplemented) | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment