• Home
• io.github.ablearthy
• td-tl-parser_2.13
• 1.0.3
• source code
• OptArgs.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

io.github.ablearthy.tl.parser.OptArgs.scala Maven / Gradle / Ivy

package io.github.ablearthy.tl.parser

import fastparse._
import MultiLineWhitespace._

case class OptArgs(
    vars: Vector[String],
    exclMark: Boolean,
    typeExpr: Term.Expr
)

object OptArgs {
  def parser[_: P]: P[OptArgs] =
    P(
      "{" ~/ Ident.varParser.rep(1) ~/ ":" ~ Utils.exclMark ~/ Term.parser.rep(
        1
      ) ~/ "}"
    ).map { case (idents, maybeExcl, terms) =>
      OptArgs(
        vars = idents.toVector,
        exclMark = maybeExcl,
        typeExpr = terms.toVector
      )
    }
}