scalaparsers

Type Members

1. trait Alternating[T[+_], +A] extends Applied[T, A] with Filtered[T, A]

   

2. trait Applied[T[+_], +A] extends AppliedOnce[T, A]

   

3. trait AppliedOnce[T[+_], +A] extends Functorial[T, A]

   

4. sealed trait Assoc extends AnyRef

   

5. case class BracedLayout[S](left: String, endsWith: Parser[S, Any], unmatchedBy: Parser[S, Nothing], right: String) extends LayoutContext[S] with Product with Serializable

   

6. case class Commit[S, +A](s: ParseState[S], extract: A, expected: Set[String]) extends ParseResult[S, A] with Located with Product with Serializable

   

   A committed computation which ha manipulated the ParseState

7. trait Comonadic[T[+_], +A] extends Functorial[T, A]

   

8. case class Death(error: Document, base: Exception = null) extends Exception with Product with Serializable

   

9. abstract class Diagnostic[M[+_]] extends AnyRef

   

10. case class DocBreak(hard: Boolean = true) extends Document with Product with Serializable

    

11. case class DocColumn(f: (Int) ⇒ Document) extends Document with Product with Serializable

    

12. case class DocCons(hd: Document, tl: Document) extends Document with Product with Serializable

    

13. abstract class DocException extends Exception

    

14. case class DocGroup(doc: Document) extends Document with Product with Serializable

    

15. case class DocNest(indent: Int, doc: Document) extends Document with Product with Serializable

    

16. case class DocNesting(f: (Int) ⇒ Document) extends Document with Product with Serializable

    

17. class DocText extends Document

    

18. abstract class Document extends AnyRef

    

19. class Err extends ParseFailure with Located

    

    A lazily constructed error message and scope stack

20. case class Fail(msg: Option[Document] = None, aux: List[Document] = List(), expected: Set[String] = Set()) extends ParseFailure with Product with Serializable

    

    A recoverable error that hasn't consumed any input

21. case class Failure(error: Option[Document], stack: List[String]) extends Result[Nothing, Nothing] with Product with Serializable

    

22. trait Filtered[T[+_], +A] extends Functorial[T, A]

    

23. trait Functorial[+T[+_], +A] extends AnyRef

    

24. case class IndentedLayout[S](depth: Int, desc: String) extends LayoutContext[S] with Product with Serializable

    

25. case class Inferred(p: Pos) extends Loc with Product with Serializable

    

26. sealed abstract class LayoutContext[S] extends AnyRef

    

    LayoutContext are used to track the current indentation level for parsing

27. sealed abstract class Loc extends Located

    

    a Loc is an abstract possibly built-in location

28. trait Located extends AnyRef

    

    Located types know how to transform errors to give better location information

29. trait Monadic[T[+_], +A] extends Applied[T, A]

    

30. trait MonadicPlus[T[+_], +A] extends Monadic[T, A] with Alternating[T, A]

    

31. sealed trait ParseFailure extends ParseResult[Nothing, Nothing]

    

32. sealed trait ParseResult[+S, +A] extends Functorial[[+X_kp1]ParseResult[S, X_kp1], A]

    

33. case class ParseState[S](loc: Pos, input: String, offset: Int = 0, s: S, layoutStack: List[LayoutContext[S]] = ..., bol: Boolean = false) extends Located with Product with Serializable

    

    Used to track the current indentation level

34. abstract class Parser[S, +A] extends MonadicPlus[[+X_kp1]Parser[S, X_kp1], A]

    

    A parser with a nice error handling

35. trait Parsing[S] extends AnyRef

    

36. case class Pos(fileName: String, current: String, line: Int, column: Int, ending: Boolean) extends Loc with Product with Serializable

    

    A Pos is a location that actually occurs in a source file.

37. case class Pure[+A](extract: A, last: Fail = Fail()) extends ParseResult[Nothing, A] with Comonadic[Pure, A] with Product with Serializable

    

    A pure computation that hasn't consumed any input, including a list of options that could have made it eat more

38. abstract class Relocatable[T <: Located] extends AnyRef

    

    A relocatable instance for a Locatable type knows how to change its current location

39. sealed abstract class Result[+S, +A] extends Functorial[[+X_kp1]Result[S, X_kp1], A]

    

40. trait Scoped[+T[+_], +A] extends AnyRef

    

41. case class Success[+S, +A](body: A, state: S) extends Result[S, A] with Product with Serializable

    

42. class Supply extends AnyRef

    

43. sealed abstract class Token extends AnyRef

    

    Tokens are returned by the layout parser rather than raw characters