Module Analysis.SensibleTypes

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:

  • sensible, i.e., there is always some value of this type
  • parametric sensible, i.e., it is sensible of all type arguments are instantiated with sensible types
  • not sensible, i.e., maybe not sensible
Exported Datatypes:
Sensible
Exported Functions:
sensibleTypeshowSensible

Exported Datatypes

data Sensible

Datatype to represent sensible type information.

Constructors:

  • NotSensible :: Sensible
  • PSensible :: Sensible
  • Sensible :: Sensible

Known instances:

Exported Functions

showSensible :: AOutFormat -> Sensible -> String  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

sensibleType :: Analysis Sensible  Deterministic