Documentation

Fields

• conflicts :: TwoWay (DefnsF (Map Name) TermReference TypeReference)
   
• declNameLookups :: GThreeWay PartialDeclNameLookup DeclNameLookup
   
• defns :: ThreeWay UnconflictedLocalDefnsView
   
• defnsIds :: ThreeWay (DefnsF Set TermReferenceId TypeReferenceId)
   
• diff :: DefnsF2 (Map Name) CombinedDiffOp Referent TypeReference
   
• diffsFromLCA :: TwoWay (DefnsF3 (Map Name) DiffOp Synhashed Referent TypeReference)
   
• hydratedNarrowedDefns :: Defns (Map TermReferenceId (Term Symbol Ann, Type Symbol Ann)) (Map TypeReferenceId (Decl Symbol Ann))
   
• libdeps :: Updated (Map NameSegment libdep)
   
• libdepsDiffs :: TwoWay (Map NameSegment (DiffOp libdep))
   
• propagatedUpdates :: TwoWay (DefnsF (Map Name) (Updated Referent) (Updated TypeReference))
   
• simpleRenames :: TwoWay (Defns SimpleRenames SimpleRenames)
   
• unconflicts :: DefnsF Unconflicts Referent TypeReference
   

Fields

• logDefns :: ThreeWay (DefnsF (Map Name) Referent TypeReference) -> m ()
   
• logNarrowedDefns :: TwoWay (Updated (DefnsF (Map Name) Referent TypeReference)) -> m ()
   
• logSynhashedNarrowedDefns :: TwoWay (GUpdated (DefnsF2 (Map Name) Synhashed Referent TypeReference) (DefnsF2 (Map Name) Synhashed Referent TypeReference)) -> m ()
   
• logDiffsFromLCA :: TwoWay (DefnsF3 (Map Name) DiffOp Synhashed Referent TypeReference) -> m ()
   
• logDiff :: DefnsF2 (Map Name) CombinedDiffOp Referent TypeReference -> m ()