| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Merge.Narrow
Synopsis
- narrowDefns :: HasCallStack => GThreeWay PartialDeclNameLookup DeclNameLookup -> ThreeWay (DefnsF (Map Name) Referent TypeReference) -> TwoWay (Updated (DefnsF (Map Name) Referent TypeReference))
- narrowDefnsTotal :: Updated DeclNameLookup -> Updated (DefnsF (Map Name) Referent TypeReference) -> Updated (DefnsF (Map Name) Referent TypeReference)
Documentation
narrowDefns :: HasCallStack => GThreeWay PartialDeclNameLookup DeclNameLookup -> ThreeWay (DefnsF (Map Name) Referent TypeReference) -> TwoWay (Updated (DefnsF (Map Name) Referent TypeReference)) Source #
narrowDefnsTotal :: Updated DeclNameLookup -> Updated (DefnsF (Map Name) Referent TypeReference) -> Updated (DefnsF (Map Name) Referent TypeReference) Source #
Like narrowDefns, but just between the LCA and a branch head, and for when the LCA is known not to have any type
declarations with missing constructor names.