Module Analysis.HigherOrder

Analysis of higher-order properties of types and operations.

Exported Datatypes:
Order
Exported Functions:
hiOrdConshiOrdFunchiOrdTypeshowOrder

Exported Datatypes

data Order

Constructors:

  • HO :: Order
  • FO :: Order

Known instances:

Exported Functions

showOrder :: AOutFormat -> Order -> String  Deterministic 

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

hiOrdType :: Analysis Order  Deterministic 

hiOrdCons :: Analysis Order  Deterministic 

hiOrdFunc :: Analysis Order  Non-deterministic