| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Merge.PartialDeclNameLookup
Synopsis
- data PartialDeclNameLookup = PartialDeclNameLookup {
- constructorToDecl :: !(Map Name Name)
- declToConstructors :: !(Map Name [Maybe Name])
Documentation
data PartialDeclNameLookup Source #
Like a DeclNameLookup, but "partial" / more lenient - because we don't require the LCA of a merge to have a full
DeclNameLookup.
Constructors
| PartialDeclNameLookup | |
Fields
| |
Instances
| Generic PartialDeclNameLookup Source # | |
Defined in Unison.Merge.PartialDeclNameLookup Associated Types type Rep PartialDeclNameLookup :: Type -> Type # Methods from :: PartialDeclNameLookup -> Rep PartialDeclNameLookup x # to :: Rep PartialDeclNameLookup x -> PartialDeclNameLookup # | |
| type Rep PartialDeclNameLookup Source # | |
Defined in Unison.Merge.PartialDeclNameLookup type Rep PartialDeclNameLookup = D1 ('MetaData "PartialDeclNameLookup" "Unison.Merge.PartialDeclNameLookup" "unison-merge-0.0.0-FjcytY06jxd3ECqvfsdKaz" 'False) (C1 ('MetaCons "PartialDeclNameLookup" 'PrefixI 'True) (S1 ('MetaSel ('Just "constructorToDecl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Name Name)) :*: S1 ('MetaSel ('Just "declToConstructors") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Name [Maybe Name])))) | |