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 :: (Functor m, Applicative m, MonadError MultipleErrors m) => ModuleName -> [Declaration] -> m [Declaration]

createBindingGroupsModule :: (Functor m, Applicative m, 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

collapseBindingGroupsModule :: [Module] -> [Module]

Collapse all binding groups in a module to individual declarations