System.Console.Wizard

# Wizards

data Wizard backend a

type PromptString

run

class sub :<: sup

data (f :+: g) w

# Primitives

data Line w

line

data LinePrewritten w

linePrewritten

data Password w

password

data Character w

character

data Output w

output

data OutputLn w

outputLn

data ArbitraryIO w

# Modifiers

retry

retryMsg

defaultTo

parser

validator

# Convenience

nonEmpty

inRange

parseRead

# Utility

liftMaybe

ensure

readP