Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.HashQualified

Synopsis

data HashQualified n
- = NameOnly n
- | HashOnly ShortHash
- | HashQualified n ShortHash
asNameOnly :: HashQualified n -> Maybe n
stripNamespace :: Name -> HashQualified Name -> HashQualified Name
toName :: HashQualified n -> Maybe n
sortByLength :: [HashQualified Name] -> [HashQualified Name]
hasName :: HashQualified Name -> Bool
hasHash :: HashQualified Name -> Bool
toHash :: HashQualified n -> Maybe ShortHash
fromNameHash :: Maybe Name -> Maybe ShortHash -> HashQualified Name
take :: Int -> HashQualified n -> HashQualified n
toStringWith :: (n -> String) -> HashQualified n -> String
toTextWith :: (n -> Text) -> HashQualified n -> Text
fromNamedReferent :: n -> Referent -> HashQualified n
fromNamedReference :: n -> Reference -> HashQualified n
fromReferent :: Referent -> HashQualified Name
fromReference :: Reference -> HashQualified Name
fromPattern :: ConstructorReference -> HashQualified Name
fromName :: n -> HashQualified n
matchesNamedReferent :: Name -> Referent -> HashQualified Name -> Bool
matchesNamedReference :: Name -> Reference -> HashQualified Name -> Bool
requalify :: HashQualified Name -> Referent -> HashQualified Name
searchBySuffix :: forall ref. Ord ref => (ref -> ShortHash) -> HashQualified Name -> Relation Name ref -> Set ref
filterBySuffix :: forall ref. Ord ref => (ref -> ShortHash) -> HashQualified Name -> Relation Name ref -> Relation Name ref

Documentation

data HashQualified n Source #

Constructors

NameOnly n
HashOnly ShortHash
HashQualified n ShortHash

Instances

Instances details

Foldable HashQualified Source #
Instance details Defined in Unison.HashQualified Methods fold :: Monoid m => HashQualified m -> m # foldMap :: Monoid m => (a -> m) -> HashQualified a -> m # foldMap' :: Monoid m => (a -> m) -> HashQualified a -> m # foldr :: (a -> b -> b) -> b -> HashQualified a -> b # foldr' :: (a -> b -> b) -> b -> HashQualified a -> b # foldl :: (b -> a -> b) -> b -> HashQualified a -> b # foldl' :: (b -> a -> b) -> b -> HashQualified a -> b # foldr1 :: (a -> a -> a) -> HashQualified a -> a # foldl1 :: (a -> a -> a) -> HashQualified a -> a # toList :: HashQualified a -> [a] # null :: HashQualified a -> Bool # length :: HashQualified a -> Int # elem :: Eq a => a -> HashQualified a -> Bool # maximum :: Ord a => HashQualified a -> a # minimum :: Ord a => HashQualified a -> a # sum :: Num a => HashQualified a -> a # product :: Num a => HashQualified a -> a #
Traversable HashQualified Source #
Instance details Defined in Unison.HashQualified Methods traverse :: Applicative f => (a -> f b) -> HashQualified a -> f (HashQualified b) # sequenceA :: Applicative f => HashQualified (f a) -> f (HashQualified a) # mapM :: Monad m => (a -> m b) -> HashQualified a -> m (HashQualified b) # sequence :: Monad m => HashQualified (m a) -> m (HashQualified a) #
Functor HashQualified Source #
Instance details Defined in Unison.HashQualified Methods fmap :: (a -> b) -> HashQualified a -> HashQualified b # (<$) :: a -> HashQualified b -> HashQualified a #
Generic (HashQualified n) Source #
Instance details Defined in Unison.HashQualified Associated Types type Rep (HashQualified n) :: Type -> Type # Methods from :: HashQualified n -> Rep (HashQualified n) x # to :: Rep (HashQualified n) x -> HashQualified n #
Show n => Show (HashQualified n) Source #
Instance details Defined in Unison.HashQualified Methods showsPrec :: Int -> HashQualified n -> ShowS # show :: HashQualified n -> String # showList :: [HashQualified n] -> ShowS #
Eq n => Eq (HashQualified n) Source #
Instance details Defined in Unison.HashQualified Methods (==) :: HashQualified n -> HashQualified n -> Bool # (/=) :: HashQualified n -> HashQualified n -> Bool #
Ord n => Ord (HashQualified n) Source #
Instance details Defined in Unison.HashQualified Methods compare :: HashQualified n -> HashQualified n -> Ordering # (<) :: HashQualified n -> HashQualified n -> Bool # (<=) :: HashQualified n -> HashQualified n -> Bool # (>) :: HashQualified n -> HashQualified n -> Bool # (>=) :: HashQualified n -> HashQualified n -> Bool # max :: HashQualified n -> HashQualified n -> HashQualified n # min :: HashQualified n -> HashQualified n -> HashQualified n #
Alphabetical n => Alphabetical (HashQualified n) Source #
Instance details Defined in Unison.HashQualified Methods compareAlphabetical :: HashQualified n -> HashQualified n -> Ordering #
type Rep (HashQualified n) Source #
Instance details Defined in Unison.HashQualified type Rep (HashQualified n) = D1 ('MetaData "HashQualified" "Unison.HashQualified" "unison-core1-0.0.0-6PMA7s7bT8b9bUfszm77cU" 'False) (C1 ('MetaCons "NameOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 n)) :+: (C1 ('MetaCons "HashOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash)) :+: C1 ('MetaCons "HashQualified" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 n) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortHash))))

asNameOnly :: HashQualified n -> Maybe n Source #

stripNamespace :: Name -> HashQualified Name -> HashQualified Name Source #

toName :: HashQualified n -> Maybe n Source #

sortByLength :: [HashQualified Name] -> [HashQualified Name] Source #

hasName :: HashQualified Name -> Bool Source #

hasHash :: HashQualified Name -> Bool Source #

toHash :: HashQualified n -> Maybe ShortHash Source #

fromNameHash :: Maybe Name -> Maybe ShortHash -> HashQualified Name Source #

take :: Int -> HashQualified n -> HashQualified n Source #

toStringWith :: (n -> String) -> HashQualified n -> String Source #

toTextWith :: (n -> Text) -> HashQualified n -> Text Source #

fromNamedReferent :: n -> Referent -> HashQualified n Source #

fromNamedReference :: n -> Reference -> HashQualified n Source #

fromReferent :: Referent -> HashQualified Name Source #

fromReference :: Reference -> HashQualified Name Source #

fromPattern :: ConstructorReference -> HashQualified Name Source #

fromName :: n -> HashQualified n Source #

matchesNamedReferent :: Name -> Referent -> HashQualified Name -> Bool Source #

matchesNamedReference :: Name -> Reference -> HashQualified Name -> Bool Source #

requalify :: HashQualified Name -> Referent -> HashQualified Name Source #

searchBySuffix :: forall ref. Ord ref => (ref -> ShortHash) -> HashQualified Name -> Relation Name ref -> Set ref Source #

Like searchBySuffix, but uses a hash-qualified name to search instead.

The name *and* the hash are used to determine whether something is an exact match. For example, in namespace {foo#foo, hello.foo#bar}, searching for foo#bar will return the singleton set {hello.foo#bar}, because even though there is an exact name match on foo, its hash doesn't match so we fall back to "suffix" matches. This probably isn't a very important detail in practice, but the other possible implementation (do name-only search, *then* filter result down to matching hashes) seems worse.

filterBySuffix :: forall ref. Ord ref => (ref -> ShortHash) -> HashQualified Name -> Relation Name ref -> Relation Name ref Source #

Like searchBySuffix, but also keeps the names around.