Module FlatCurry.Normalize

This module contains operations to transform FlatCurry entities into some normalized form so that they can be easier compared for equivalence.

For instance, a type expression is normalize by replacing type variable indices into a uniquely enumerated form.

Author: Michael Hanus

Version: May 2021

Summary of exported operations:

normalizeTypeExpr :: TypeExpr -> TypeExpr  Deterministic 
Normalize a type expression by enumerating the type variables starting from 0.

Exported operations:

normalizeTypeExpr :: TypeExpr -> TypeExpr  Deterministic 

Normalize a type expression by enumerating the type variables starting from 0.