zio-json
API
Generated with
zio-json/zio.json.internal/RetractReader

RetractReader

zio.json.internal.RetractReader
sealed trait RetractReader

A Reader that can retract and replay the last char that it read.

This is essential when parsing contents that do not have a terminator character, e.g. numbers, whilst preserving the non-significant character for further processing.

Attributes

Graph
Supertypes
class Reader
trait Closeable
trait Readable
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

Value members

Abstract methods

def retract(): Unit

Behaviour is undefined if called more than once without a read()

Behaviour is undefined if called more than once without a read()

Attributes

Inherited methods

def close(): Unit

Attributes

Inherited from:
Reader
protected def isWhitespace(c: Char): Boolean

Attributes

Inherited from:
OneCharReader (hidden)
def mark(x$0: Int): Unit

Attributes

Inherited from:
Reader
def markSupported(): Boolean

Attributes

Inherited from:
Reader
def nextNonWhitespace(): Char

Attributes

Inherited from:
OneCharReader (hidden)
override def read(): Int

Attributes

Definition Classes
OneCharReader -> Reader
Inherited from:
OneCharReader (hidden)
def read(cbuf: Array[Char], off: Int, len: Int): Int

Attributes

Inherited from:
OneCharReader (hidden)
def read(x$0: Array[Char]): Int

Attributes

Inherited from:
Reader
def read(x$0: CharBuffer): Int

Attributes

Inherited from:
Reader
def readChar(): Char

Attributes

Inherited from:
OneCharReader (hidden)
def ready(): Boolean

Attributes

Inherited from:
Reader
def reset(): Unit

Attributes

Inherited from:
Reader
def skip(x$0: Long): Long

Attributes

Inherited from:
Reader
Generated with