Language.PureScript.Sugar.BindingGroups

This module implements the desugaring pass which creates binding groups from sets of mutually-recursive value declarations and mutually-recursive type declarations.

Documentation

createBindingGroups :: ModuleName -> [Declaration] -> Either String [Declaration]

Replace all sets of mutually-recursive declarations with binding groups

createBindingGroupsModule :: [Module] -> Either String [Module]

Replace all sets of mutually-recursive declarations in a module with binding groups

collapseBindingGroups :: [Declaration] -> [Declaration]

Collapse all binding groups to individual declarations

collapseBindingGroupsModule :: [Module] -> [Module]

Collapse all binding groups in a module to individual declarations