parser/org.polystat.odin.parser/EoParser

EoParser

object EoParser
Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[EORepr, F[_], R](implicit parser: EoParser[EORepr, F, R]): EoParser[EORepr, F, R]
def parse[EORepr, F[_], R](eoRepr: EORepr)(implicit parser: EoParser[EORepr, F, R]): F[R]

Implicits

Implicits

implicit def sourceCodeEoParser[F[_]](indentationStep: Int)(implicit ae: ApplicativeError[F, Throwable]): EoParser[String, F, EOProg[EOExprOnly]]
implicit def xmirToEoBndEoParser[EORepr, F[_]](implicit xmirParser: XmirToAst[F, EORepr], me: MonadError[F, Throwable]): EoParser[EORepr, F, Vector[EOBnd[EOExprOnly]]]
implicit def xmirToEoProgEoParser[EORepr, F[_] : Functor](implicit evidence$1: Functor[F], parser: EoParser[EORepr, F, Vector[EOBnd[EOExprOnly]]]): EoParser[EORepr, F, EOProg[EOExprOnly]]