XmirToAst

trait XmirToAst[F[_], T]
Companion:
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def parseXMIR(objs: T): F[Vector[EOBnd[EOExprOnly]]]

Accepts XMIR objects represented as type T and parses them into a Vector of EOBnd[EOExprOnly] from org.polystat.odin.core.ast

Accepts XMIR objects represented as type T and parses them into a Vector of EOBnd[EOExprOnly] from org.polystat.odin.core.ast

Value parameters:
objs

XMIR objects

Returns:

Either an error message, or a Vector of EOBnds