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 ErrorStack [Declaration]

createBindingGroupsModule :: [Module] -> Either ErrorStack [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