zio-json/zio.json.internal/RetractReader

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.

class Reader
trait Closeable
trait Readable
class Object
trait Matchable
class Any

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()

Inherited methods

@throws(java.io.IOException)
def close(): Unit
Inherited from:
Reader
@inline
protected def isWhitespace(c: Char): Boolean
Inherited from:
OneCharReader (hidden)
@throws(java.io.IOException)
def mark(x$0: Int): Unit
Inherited from:
Reader
def markSupported(): Boolean
Inherited from:
Reader
def nextNonWhitespace(): Char
Inherited from:
OneCharReader (hidden)
override def read(): Int
Definition Classes
OneCharReader -> Reader
Inherited from:
OneCharReader (hidden)
def read(cbuf: Array[Char], off: Int, len: Int): Int
Inherited from:
OneCharReader (hidden)
@throws(java.io.IOException)
def read(x$0: Array[Char]): Int
Inherited from:
Reader
@throws(java.io.IOException)
def read(x$0: CharBuffer): Int
Inherited from:
Reader
def readChar(): Char
Inherited from:
OneCharReader (hidden)
@throws(java.io.IOException)
def ready(): Boolean
Inherited from:
Reader
@throws(java.io.IOException)
def reset(): Unit
Inherited from:
Reader
@throws(java.io.IOException)
def skip(x$0: Long): Long
Inherited from:
Reader