Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.HashQualified

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-Kp7ZcNnt5XdB8ImvFwyntI" '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))))

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 #