All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $
You can buy this project and download/modify it how often you want.
dc10.scala.predef.file.Files.scala Maven / Gradle / Ivy
package dc10.scala.predef.file
import cats.data.StateT
import cats.syntax.all.given
import dc10.File
import dc10.scala.{ErrorF, LibDep, Statement, compiler}
import dc10.scala.Symbol.Package
import java.nio.file.Path
trait Files[F[_], G[_]]:
def FILE[A](nme: String, statements: F[A]): G[A]
object Files:
trait Mixins extends Files[
StateT[ErrorF, (Set[LibDep], List[Statement]), _],
StateT[ErrorF, (Set[LibDep], List[File[Statement]]), _]
]:
def FILE[A](
nme: String,
statements: StateT[ErrorF, (Set[LibDep], List[Statement]), A]
): StateT[ErrorF, (Set[LibDep], List[File[Statement]]), A] =
for
((ds, ms), a) <- StateT.liftF[ErrorF, (Set[LibDep], List[File[Statement]]), ((Set[LibDep], List[Statement]), A)](statements.runEmpty)
n <- StateT.pure[ErrorF, (Set[LibDep], List[File[Statement]]), Path](Path.of(nme))
p <- StateT.pure[ErrorF, (Set[LibDep], List[File[Statement]]), Statement.`package`](Statement.`package`(0, Package.Empty(ms)))
d <- StateT.pure[ErrorF, (Set[LibDep], List[File[Statement]]), File[Statement]](File(n, List(p)))
_ <- ds.toList.traverse(l => StateT.modifyF[ErrorF, (Set[LibDep], List[File[Statement]])](ctx => ctx.dep(l)))
_ <- StateT.modifyF[ErrorF, (Set[LibDep], List[File[Statement]])](ctx => ctx.ext(d))
yield a
