indentation
API
Generated with
indentation/io.github.edadma.indentation/IndentationLexical/IndentationScanner

IndentationScanner

io.github.edadma.indentation.IndentationLexical.IndentationScanner
class IndentationScanner(in: Reader[Char]) extends Reader[Token]

Attributes

Graph
Supertypes
class Reader[Token]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def offset: Int

Attributes

Definition Classes
Reader
override def source: CharSequence

If this is a reader over character sequences, the underlying char sequence. If not, throws a NoSuchMethodError exception.

If this is a reader over character sequences, the underlying char sequence. If not, throws a NoSuchMethodError exception.

Attributes

Throws
[[java.lang.NoSuchMethodError]]

if this not a char sequence reader.

Definition Classes
Reader

Inherited methods

def drop(n: Int): Reader[Token]

Returns an abstract reader consisting of all elements except the first n elements.

Returns an abstract reader consisting of all elements except the first n elements.

Attributes

Inherited from:
Reader

Concrete fields

val atEnd: Boolean

true iff there are no more elements in this reader.

true iff there are no more elements in this reader.

Attributes

lazy val first: Token

Returns the first element of the reader

Returns the first element of the reader

Attributes

lazy val pos: Position

The position of the first element in the reader.

The position of the first element in the reader.

Attributes

lazy val rest: Reader[Token]

Returns an abstract reader consisting of all elements except the first

Returns an abstract reader consisting of all elements except the first

Attributes

Returns

If atEnd is true, the result will be this; otherwise, it's a Reader containing more elements.

Generated with