parser/org.polystat.odin.parser.xmir/XmirToAst

XmirToAst

object XmirToAst
Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_], T](implicit impl: XmirToAst[F, T]): XmirToAst[F, T]
def parseXMIR[F[_], T](objs: T)(implicit impl: XmirToAst[F, T]): F[Vector[EOBnd[EOExprOnly]]]

Implicits

Implicits

implicit def seqString[F[_] : Sync]: XmirToAst[F, Seq[String]]
implicit def string[F[_] : Sync, T](implicit evidence$1: Sync[F], seqString: XmirToAst[F, Seq[String]]): XmirToAst[F, String]