Vgrep.Widget.Type

data Widget s

Re-exports from Vgrep.Event

data Redraw

data Next a