System.Console.Editline

data EditLine

elInit

reset

elGets

setPrompt

data Editor

setEditor