Data.Name

Definitions

data Name : Type

Totality: total
Visibility: export
Constructor: 

MkName : String -> Name

Hint: 

Show Name

concat : Stream (List1 a) -> Stream a

Totality: total
Visibility: export

names : Stream Name

Totality: total
Visibility: export