unison-core1-0.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.NamesWithHistory

Synopsis

diff :: Names -> Names -> Diff
push :: Names -> Names -> Names
lookupHQType :: SearchType -> HashQualified Name -> Names -> Set TypeReference
lookupHQType' :: SearchType -> HashQualified Name -> Names -> Set TypeReference
lookupHQTerm :: SearchType -> HashQualified Name -> Names -> Set Referent
lookupHQTerm' :: SearchType -> HashQualified Name -> Names -> Set Referent
lookupRelativeHQType :: SearchType -> HashQualified Name -> Names -> Set TypeReference
lookupRelativeHQType' :: SearchType -> HashQualified Name -> Names -> Set TypeReference
lookupRelativeHQTerm :: SearchType -> HashQualified Name -> Names -> Set Referent
lookupRelativeHQTerm' :: SearchType -> HashQualified Name -> Names -> Set Referent
hasTermNamed :: SearchType -> Name -> Names -> Bool
hasTypeNamed :: SearchType -> Name -> Names -> Bool
typeName :: Int -> Reference -> Names -> Set (HashQualified Name)
termNamesByLength :: Int -> Referent -> Names -> [HashQualified Name]
longestTermName :: Int -> Referent -> Names -> HashQualified Name
termName :: Int -> Referent -> Names -> Set (HashQualified Name)
lookupHQPattern :: SearchType -> HashQualified Name -> ConstructorType -> Names -> Set ConstructorReference
data Diff = Diff {
- originalNames :: Names
- addedNames :: Names
- removedNames :: Names
}
data SearchType
- = IncludeSuffixes
- | ExactName

Documentation

diff :: Names -> Names -> Diff Source #

push :: Names -> Names -> Names Source #

lookupHQType :: SearchType -> HashQualified Name -> Names -> Set TypeReference Source #

Find all types whose name has a suffix matching the provided HashQualified.

lookupHQType' :: SearchType -> HashQualified Name -> Names -> Set TypeReference Source #

Find all types whose name has a suffix matching the provided HashQualified'. See lookupHQType.

lookupHQTerm :: SearchType -> HashQualified Name -> Names -> Set Referent Source #

Find all terms whose name has a suffix matching the provided HashQualified.

lookupHQTerm' :: SearchType -> HashQualified Name -> Names -> Set Referent Source #

Find all terms whose name has a suffix matching the provided HashQualified'. See lookupHQTerm.

lookupRelativeHQType :: SearchType -> HashQualified Name -> Names -> Set TypeReference Source #

lookupRelativeHQType' :: SearchType -> HashQualified Name -> Names -> Set TypeReference Source #

lookupRelativeHQTerm :: SearchType -> HashQualified Name -> Names -> Set Referent Source #

lookupRelativeHQTerm' :: SearchType -> HashQualified Name -> Names -> Set Referent Source #

hasTermNamed :: SearchType -> Name -> Names -> Bool Source #

hasTypeNamed :: SearchType -> Name -> Names -> Bool Source #

typeName :: Int -> Reference -> Names -> Set (HashQualified Name) Source #

termNamesByLength :: Int -> Referent -> Names -> [HashQualified Name] Source #

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

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

lookupHQPattern :: SearchType -> HashQualified Name -> ConstructorType -> Names -> Set ConstructorReference Source #

data Diff Source #

Constructors

Diff
Fields originalNames :: Names addedNames :: Names removedNames :: Names

Instances

Instances details

Show Diff Source #
Instance details Defined in Unison.NamesWithHistory Methods showsPrec :: Int -> Diff -> ShowS # show :: Diff -> String # showList :: [Diff] -> ShowS #

data SearchType Source #

Whether to search for exact matches or to find definitions by a suffix of their name.

Constructors

IncludeSuffixes
ExactName

Instances

Instances details

Show SearchType Source #
Instance details Defined in Unison.NamesWithHistory Methods showsPrec :: Int -> SearchType -> ShowS # show :: SearchType -> String # showList :: [SearchType] -> ShowS #
Eq SearchType Source #
Instance details Defined in Unison.NamesWithHistory Methods (==) :: SearchType -> SearchType -> Bool # (/=) :: SearchType -> SearchType -> Bool #
Ord SearchType Source #
Instance details Defined in Unison.NamesWithHistory Methods compare :: SearchType -> SearchType -> Ordering # (<) :: SearchType -> SearchType -> Bool # (<=) :: SearchType -> SearchType -> Bool # (>) :: SearchType -> SearchType -> Bool # (>=) :: SearchType -> SearchType -> Bool # max :: SearchType -> SearchType -> SearchType # min :: SearchType -> SearchType -> SearchType #