parser
parser
org.polystat.odin.parser
EoParser
EoParser
org.polystat.odin.parser.eo
Anon
Common
Metas
Named
Parser
Prettyprint
Prettyprint
SingleLine
StringUtils
Tokens
org.polystat.odin.parser.xmir
XmirToAst
XmirToAst
parser
/
org.polystat.odin.parser.xmir
/
XmirToAst
XmirToAst
object
XmirToAst
Companion:
class
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
XmirToAst
.type
Value members
Implicits
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
]