analysis/org.polystat.odin.analysis.mutualrec.advanced/Analyzer

Analyzer

object Analyzer
class Object
trait Matchable
class Any

Value members

Concrete methods

def analyzeAst[F[_]](prog: EOProg[EOExprOnly])(implicit F: ApplicativeError[F, String]): F[List[String]]
def buildObjectTree(prog: EOProg[EOExprOnly]): EitherNel[String, Program]
def buildProgramFromObjectTree(objTree: Map[EONamedBnd, CompleteObjectTree]): EitherNel[String, Program]