Documentation

Fields

• conflicts :: TwoWay (DefnsF (Map Name) TermReference TypeReference)
   
• declNameLookups :: TwoWay DeclNameLookup
   
• defns :: ThreeWay (Defns (BiMultimap Referent Name) (BiMultimap TypeReference Name))
   
• diff :: DefnsF2 (Map Name) CombinedDiffOp Referent TypeReference
   
• diffs :: TwoWay (DefnsF3 (Map Name) DiffOp Synhashed Referent TypeReference)
   
• hydratedDefns :: ThreeWay (DefnsF (Map Name) (TermReferenceId, (Term Symbol Ann, Type Symbol Ann)) (TypeReferenceId, Decl Symbol Ann))
   
• lcaDeclNameLookup :: PartialDeclNameLookup
   
• libdeps :: Map NameSegment libdep
   
• libdepsDiff :: Map NameSegment (LibdepDiffOp libdep)
   
• lcaLibdeps :: Map NameSegment libdep
   
• unconflicts :: DefnsF Unconflicts Referent TypeReference