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 :: forall m. MonadError MultipleErrors m => ModuleName -> [Declaration] -> m [Declaration]

createBindingGroupsModule :: MonadError MultipleErrors m => Module -> m Module

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

collapseBindingGroups :: [Declaration] -> [Declaration]

Collapse all binding groups to individual declarations