SliceableTypes

Type Members

final case class Failure(get: ParseError, isCommitted: Boolean) extends Result[Nothing] with Product with Serializable
final case class ParseState(loc: Location, isSliced: Boolean) extends Product with Serializable

isSliced indicates if the current parser is surround by a slice combinator.
isSliced indicates if the current parser is surround by a slice combinator. This lets us avoid building up values that will end up getting thrown away.
There are several convenience functions on ParseState to make implementing some of the combinators easier.
type Parser[+A] = (ParseState) ⇒ Result[A]
sealed trait Result[+A] extends AnyRef

The result of a parse--a Parser[A] returns a Result[A].
The result of a parse--a Parser[A] returns a Result[A].
There are three cases:
- Success(a,n): a is the value, n is # of consumed characters
- Slice(n): a successful slice; n is the # of consumed characters
- Failure(n,isCommitted): a failing parse
As usual, we define some helper functions on Result. Defining functions on Result gives us better type information--there are cases (see map and map2 below) where Scala will not appropriately refine type information when pattern matching on Result.
final case class Slice(length: Int) extends Result[String] with Product with Serializable
final case class Success[+A](get: A, length: Int) extends Result[A] with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def firstNonmatchingIndex(s: String, s2: String, offset: Int): Int

Returns -1 if s.startsWith(s2), otherwise returns the first index where the two strings differed.
Returns -1 if s.startsWith(s2), otherwise returns the first index where the two strings differed. If s2 is longer than s1, returns s.length.
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package instance

object SliceableTypes

Type Members

final case class Failure(get: ParseError, isCommitted: Boolean) extends Result[Nothing] with Product with Serializable

final case class ParseState(loc: Location, isSliced: Boolean) extends Product with Serializable

type Parser[+A] = (ParseState) ⇒ Result[A]

sealed trait Result[+A] extends AnyRef

final case class Slice(length: Int) extends Result[String] with Product with Serializable

final case class Success[+A](get: A, length: Int) extends Result[A] with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def firstNonmatchingIndex(s: String, s2: String, offset: Int): Int

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped