unison-core1-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.PartialDeclNameLookup

Synopsis

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

Instances details
Generic PartialDeclNameLookup Source # 
Instance details

Defined in Unison.PartialDeclNameLookup

Associated Types

type Rep PartialDeclNameLookup :: Type -> Type #

Methods

from :: PartialDeclNameLookup -> Rep PartialDeclNameLookup x #

to :: Rep PartialDeclNameLookup x -> PartialDeclNameLookup #

type Rep PartialDeclNameLookup Source # 
Instance details

Defined in Unison.PartialDeclNameLookup

type Rep PartialDeclNameLookup = D1 ('MetaData "PartialDeclNameLookup" "Unison.PartialDeclNameLookup" "unison-core1-0.0.0-81K0NP5FQX63ztzOFtUCNN" '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]))))

empty :: PartialDeclNameLookup Source #

expectDeclName :: HasCallStack => PartialDeclNameLookup -> Name -> Name Source #

expectConstructorNames :: HasCallStack => PartialDeclNameLookup -> Name -> [Maybe Name] Source #