local

type Eff[A] = Coproduct[MonotonicSeq, Eff3, A]
type Eff0[A] = Coproduct[[γ$2$]KeyValueStore[ReadHandle, SparkCursor, γ$2$], EffM1, A]
type Eff1[A] = Coproduct[[γ$3$]KeyValueStore[WriteHandle, PrintWriter, γ$3$], Eff0, A]
type Eff2[A] = Coproduct[Task, Eff1, A]
type Eff3[A] = Coproduct[PhysErr, Eff2, A]
type EffM1[A] = Coproduct[[γ$0$]KeyValueStore[ResultHandle, RddState, γ$0$], [β$1$]Read[SparkContext, β$1$], A]
final case class SparkFSConf(sparkConf: SparkConf, prefix: ADir) extends Product with Serializable

val FsType: FileSystemType
def definition[S[_]](implicit S0: :<:[Task, S], S1: :<:[PhysErr, S]): FileSystemDef[[β$5$]Free[S, β$5$]]
def fsInterpret: (SparkFSConf) ⇒ ~>[FileSystem, [β$4$]Free[[A]Coproduct[MonotonicSeq, [A]Coproduct[[A]Failure[PhysicalError, A], [A]Coproduct[Task, [A]Coproduct[[γ$3$]KeyValueStore[WriteHandle, PrintWriter, γ$3$], [A]Coproduct[[γ$2$]KeyValueStore[ReadHandle, SparkCursor, γ$2$], [A]Coproduct[[γ$0$]KeyValueStore[ResultHandle, RddState, γ$0$], [β$1$]Read[SparkContext, β$1$], A], A], A], A], A], A], β$4$]]
object managefile
def parseUri: (ConnectionUri) ⇒ \/[DefinitionError, (SparkConf, SparkFSConf)]
object queryfile
object readfile
def sparkFsDef[S[_]](implicit S0: :<:[Task, S], S1: :<:[PhysErr, S]): (SparkConf) ⇒ Free[S, SparkFSDef[Eff, S]]
object writefile