dc10.scala.predef.file.Files.scala Maven / Gradle / Ivy

Go to download
package dc10.scala.predef.file

import cats.data.StateT
import dc10.scala.{ErrorF, File, Statement, Symbol}
import dc10.scala.ctx.ext
import java.nio.file.Path
import org.tpolecat.sourcepos.SourcePos

trait Files[F[_], G[_]]:
  def FILE[A](nme: String, statements: F[A])(using sp: SourcePos): G[A]
  
object Files:

  trait Mixins extends Files[
    [A] =>> StateT[ErrorF, List[Statement], A],
    [A] =>> StateT[ErrorF, List[File], A]
    ]:

    def FILE[A](
      nme: String,
      statements: StateT[ErrorF, List[Statement], A]
    )(using sp: SourcePos): StateT[ErrorF, List[File], A] =
      for
        (ms, a) <- StateT.liftF[ErrorF, List[File], (List[Statement], A)](statements.runEmpty)
        n <- StateT.pure[ErrorF, List[File], Path](Path.of(nme))
        p <- StateT.pure[ErrorF, List[File], Statement.PackageDef](
          Statement.PackageDef(Symbol.Package.Empty(ms), 0))
        d <- StateT.pure[ErrorF, List[File], File](File(n, List(p)))
        _ <- StateT.modifyF[ErrorF, List[File]](ctx => ctx.ext(d))
      yield a