final object TermState

Constructors

Members

def $default$4 : Str
def apply ( inputs: LazyList [ Int ] , buffer: Vector [ Char ] , cursor: Int , msg: Str ) : TermState
def unapply ( x$1: TermState ) : TermState
def unapply ( ti: TermInfo ) : Option [ ( LazyList [ Int ], Vector [ Char ], Int, Str ) ]
def unapply ( ti: TermAction ) : Option [ ( LazyList [ Int ], Vector [ Char ], Int, Str ) ]