Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Names

Synopsis

data Names = Names {
- terms :: Relation Name Referent
- types :: Relation Name TypeReference
}
addTerm :: Name -> Referent -> Names -> Names
addType :: Name -> TypeReference -> Names -> Names
labeledReferences :: Names -> Set LabeledDependency
conflicts :: Names -> Names
contains :: Names -> Reference -> Bool
difference :: Names -> Names -> Names
filter :: (Name -> Bool) -> Names -> Names
filterByHQs :: Set (HashQualified Name) -> Names -> Names
filterBySHs :: Set ShortHash -> Names -> Names
filterTypes :: (Name -> Bool) -> Names -> Names
fromReferenceIds :: DefnsF (Relation Name) TermReferenceId TypeReferenceId -> Names
fromUnconflictedReferenceIds :: DefnsF (Map Name) TermReferenceId TypeReferenceId -> Names
map :: (Name -> Name) -> Names -> Names
makeAbsolute :: Names -> Names
makeRelative :: Names -> Names
fuzzyFind :: (Name -> Text) -> [String] -> Names -> [(Alignment, Name, Set (Either Referent TypeReference))]
hqName :: Names -> Name -> Either TypeReference Referent -> HashQualified Name
hqTermName :: Int -> Names -> Name -> Referent -> HashQualified Name
hqTypeName :: Int -> Names -> Name -> TypeReference -> HashQualified Name
hqTermName' :: Int -> Name -> Referent -> HashQualified Name
hqTypeName' :: Int -> Name -> TypeReference -> HashQualified Name
_hqTermName :: Names -> Name -> Referent -> HashQualified Name
_hqTypeName :: Names -> Name -> TypeReference -> HashQualified Name
_hqTermAliases :: Names -> Name -> Referent -> Set (HashQualified Name)
_hqTypeAliases :: Names -> Name -> TypeReference -> Set (HashQualified Name)
mapNames :: (Name -> Name) -> Names -> Names
prefix0 :: Name -> Names -> Names
restrictReferences :: Set Reference -> Names -> Names
refTermsNamed :: Names -> Name -> Set TermReference
refTermsHQNamed :: Names -> HashQualified Name -> Set TermReference
referenceIds :: Names -> Set Id
termReferences :: Names -> Set TermReference
termReferents :: Names -> Set Referent
typeReferences :: Names -> Set TypeReference
termsNamed :: Names -> Name -> Set Referent
typesNamed :: Names -> Name -> Set TypeReference
shadowing :: Names -> Names -> Names
namesForReference :: Names -> TypeReference -> Set Name
namesForReferent :: Names -> Referent -> Set Name
shadowTerms :: [Name] -> Names -> Names
importing :: [(Name, Name)] -> Names -> Names
constructorsForType :: TypeReference -> Names -> [(Name, Referent)]
expandWildcardImport :: Name -> Names -> [(Name, Name)]
isEmpty :: Names -> Bool
hashQualifyTypesRelation :: Relation Name TypeReference -> Relation (HashQualified Name) TypeReference
hashQualifyTermsRelation :: Relation Name Referent -> Relation (HashQualified Name) Referent
fromTermsAndTypes :: [(Name, Referent)] -> [(Name, TypeReference)] -> Names
lenientToNametree :: Names -> Nametree (DefnsF (Map NameSegment) Referent TypeReference)
resolveName :: forall ref. Ord ref => Relation Name ref -> Set Name -> Name -> Set (ResolvesTo ref)

Documentation

data Names Source #

Constructors

Names
Fields terms :: Relation Name Referent types :: Relation Name TypeReference

Instances

Instances details

Monoid Names Source #
Instance details Defined in Unison.Names Methods mempty :: Names # mappend :: Names -> Names -> Names # mconcat :: [Names] -> Names #
Semigroup Names Source #
Instance details Defined in Unison.Names Methods (<>) :: Names -> Names -> Names # sconcat :: NonEmpty Names -> Names # stimes :: Integral b => b -> Names -> Names #
Generic Names Source #
Instance details Defined in Unison.Names Associated Types type Rep Names :: Type -> Type # Methods from :: Names -> Rep Names x # to :: Rep Names x -> Names #
Show Names Source #
Instance details Defined in Unison.Names Methods showsPrec :: Int -> Names -> ShowS # show :: Names -> String # showList :: [Names] -> ShowS #
Eq Names Source #
Instance details Defined in Unison.Names Methods (==) :: Names -> Names -> Bool # (/=) :: Names -> Names -> Bool #
Ord Names Source #
Instance details Defined in Unison.Names Methods compare :: Names -> Names -> Ordering # (<) :: Names -> Names -> Bool # (<=) :: Names -> Names -> Bool # (>) :: Names -> Names -> Bool # (>=) :: Names -> Names -> Bool # max :: Names -> Names -> Names # min :: Names -> Names -> Names #
type Rep Names Source #
Instance details Defined in Unison.Names type Rep Names = D1 ('MetaData "Names" "Unison.Names" "unison-core1-0.0.0-Kp7ZcNnt5XdB8ImvFwyntI" 'False) (C1 ('MetaCons "Names" 'PrefixI 'True) (S1 ('MetaSel ('Just "terms") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Relation Name Referent)) :*: S1 ('MetaSel ('Just "types") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Relation Name TypeReference))))

addTerm :: Name -> Referent -> Names -> Names Source #

addType :: Name -> TypeReference -> Names -> Names Source #

labeledReferences :: Names -> Set LabeledDependency Source #

Collect all references in the given Names, tagged with their type.

conflicts :: Names -> Names Source #

filters out everything from the domain except what's conflicted

contains :: Names -> Reference -> Bool Source #

difference :: Names -> Names -> Names Source #

filter :: (Name -> Bool) -> Names -> Names Source #

filterByHQs :: Set (HashQualified Name) -> Names -> Names Source #

filterBySHs :: Set ShortHash -> Names -> Names Source #

filterTypes :: (Name -> Bool) -> Names -> Names Source #

fromReferenceIds :: DefnsF (Relation Name) TermReferenceId TypeReferenceId -> Names Source #

Construct a Names from unconflicted reference ids.

fromUnconflictedReferenceIds :: DefnsF (Map Name) TermReferenceId TypeReferenceId -> Names Source #

Construct a Names from unconflicted reference ids.

map :: (Name -> Name) -> Names -> Names Source #

makeAbsolute :: Names -> Names Source #

makeRelative :: Names -> Names Source #

fuzzyFind :: (Name -> Text) -> [String] -> Names -> [(Alignment, Name, Set (Either Referent TypeReference))] Source #

hqName :: Names -> Name -> Either TypeReference Referent -> HashQualified Name Source #

Like hqTermName and hqTypeName, but considers term and type names to conflict with each other (so will hash-qualify if there is e.g. both a term and a type named "foo").

This is useful in contexts such as printing branch diffs. Example:

Deletes:

foo foo

We want to append the hash regardless of whether or not one is a term and the other is a type.

hqTermName :: Int -> Names -> Name -> Referent -> HashQualified Name Source #

hqTypeName :: Int -> Names -> Name -> TypeReference -> HashQualified Name Source #

hqTermName' :: Int -> Name -> Referent -> HashQualified Name Source #

hqTypeName' :: Int -> Name -> TypeReference -> HashQualified Name Source #

_hqTermName :: Names -> Name -> Referent -> HashQualified Name Source #

_hqTypeName :: Names -> Name -> TypeReference -> HashQualified Name Source #

_hqTermAliases :: Names -> Name -> Referent -> Set (HashQualified Name) Source #

_hqTypeAliases :: Names -> Name -> TypeReference -> Set (HashQualified Name) Source #

mapNames :: (Name -> Name) -> Names -> Names Source #

Map over each name in a Names.

prefix0 :: Name -> Names -> Names Source #

prefix0 n ns prepends n to each name in ns.

Precondition: every name in ns is relative.

restrictReferences :: Set Reference -> Names -> Names Source #

refTermsNamed :: Names -> Name -> Set TermReference Source #

Get all terms with a specific name.

refTermsHQNamed :: Names -> HashQualified Name -> Set TermReference Source #

Get all terms with a specific hash-qualified name.

referenceIds :: Names -> Set Id Source #

Get all (untagged) term/type references ids in a Names.

termReferences :: Names -> Set TermReference Source #

Returns all constructor term references. Constructors are omitted.

termReferents :: Names -> Set Referent Source #

typeReferences :: Names -> Set TypeReference Source #

termsNamed :: Names -> Name -> Set Referent Source #

typesNamed :: Names -> Name -> Set TypeReference Source #

shadowing :: Names -> Names -> Names Source #

Prefer names in the first argument, falling back to names in the second. This can be used to shadow names in the codebase with names in a unison file for instance: e.g. shadowing scratchFileNames codebaseNames

namesForReference :: Names -> TypeReference -> Set Name Source #

namesForReferent :: Names -> Referent -> Set Name Source #

shadowTerms :: [Name] -> Names -> Names Source #

importing :: [(Name, Name)] -> Names -> Names Source #

Given a mapping from name to qualified name, update a Names, so for instance if the input has [(Some, Optional.Some)], and Some is a constructor in the input Names, the alias Some will map to that same constructor and shadow anything else that is currently called Some.

constructorsForType :: TypeReference -> Names -> [(Name, Referent)] Source #

expandWildcardImport :: Name -> Names -> [(Name, Name)] Source #

Converts a wildcard import into a list of explicit imports, of the form [(suffix, full)]. Example: if io contains two functions, foo and bar, then `expandWildcardImport io` will produce `[(foo, io.foo), (bar, io.bar)]`.

isEmpty :: Names -> Bool Source #

hashQualifyTypesRelation :: Relation Name TypeReference -> Relation (HashQualified Name) TypeReference Source #

hashQualifyTermsRelation :: Relation Name Referent -> Relation (HashQualified Name) Referent Source #

fromTermsAndTypes :: [(Name, Referent)] -> [(Name, TypeReference)] -> Names Source #

lenientToNametree :: Names -> Nametree (DefnsF (Map NameSegment) Referent TypeReference) Source #

Leniently view a Names as a NameTree

This function is "lenient" in the sense that it does not handle conflicted names with any smarts whatsoever. The resulting nametree will simply contain one of the associated references of a conflicted name - we don't specify which.

resolveName :: forall ref. Ord ref => Relation Name ref -> Set Name -> Name -> Set (ResolvesTo ref) Source #