Failure |
data class Failure : Result<Nothing> |
Result |
sealed class Result<out T> |
SourceParse |
class SourceParse : Parse |
SourceParser |
typealias SourceParser<T> = SourceParse.() -> T |
Success |
data class Success<T> : Result<T> |
com.oracle.truffle.api.source.Source |
col |
val SourceParse.col: Int |
grammar |
val Parse.grammar: Term |
ident |
val Parse.ident: String |
line |
val SourceParse.line: Int |
name |
val SourceParse.name: String |
path |
val SourceParse.path: String |
space |
val Parse.space: Unit |
tele |
val Parse.tele: Array<Pair<Name, Type>> |
type |
val Parse.type: Type |
parens |
fun <T : Parse, A> T.parens(f: T.() -> A): A |
token |
fun <T : Parse, A> T.token(f: T.() -> A): A |