lift

Attributes

Since

4.5.0

Note

a limitation of this syntax is that it requires the function's type to be fully known. For a version of this syntax that behaves better with type inference, see zipped.

Example

scala> import parsley.character.char
scala> import parsley.syntax.lift.{liftSyntax2, liftSyntax3}
scala> case class Add(x: Int, y: Int)
scala> val p = Add.lift(char('a').as(4), char('b').as(5))
scala> p.parse("ab")
val res0 = Success(Add(4, 5))
scala> val f = (x: Int, y: Int, z: Int) => x * y + z
scala> val q = f.lift(char('a').as(3), char('b').as(2), char('c').as(5))
scala> q.parse("abc")
val res1 = Success(11)
scala> q.parse("ab")
val res2 = Failure(..)

Source

lift.scala

Graph

Reset zoomHide graphShow graph

Supertypes

class Object

trait Matchable

class Any

Self type

lift.type