A type is sensible if there exists at least one value of this type. This module contains an analysis which associates to each type constructor the following information:
showSensible
:: AOutFormat -> Sensible -> String
|
sensibleType
:: Analysis Sensible
|
Datatype to represent sensible type information.
Constructors:
NotSensible
:: Sensible
PSensible
:: Sensible
Sensible
:: Sensible
|