Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.HashQualifiedPrime

Synopsis

data HashQualified n
- = NameOnly n
- | HashQualified n ShortHash
type HQSegment = HashQualified NameSegment
toHQ :: HashQualified n -> HashQualified n
fromHQ :: HashQualified n -> Maybe (HashQualified n)
fromHQ2 :: HashQualified n -> Either ShortHash (HashQualified n)
toName :: HashQualified n -> n
nameLength :: (Name -> Text) -> HashQualified Name -> Int
take :: Int -> HashQualified n -> HashQualified n
toNameOnly :: HashQualified n -> HashQualified n
toHash :: HashQualified n -> Maybe ShortHash
toStringWith :: (n -> String) -> HashQualified n -> String
toTextWith :: (n -> Text) -> HashQualified n -> Text
fromNamedReferent :: n -> Referent -> HashQualified n
fromNamedReference :: n -> Reference -> HashQualified n
fromName :: n -> HashQualified n
fromNameHash :: n -> Maybe ShortHash -> HashQualified n
matchesNamedReferent :: Eq n => n -> Referent -> HashQualified n -> Bool
matchesNamedReference :: Eq n => n -> Reference -> HashQualified n -> Bool
requalify :: HashQualified Name -> Referent -> HashQualified Name
sortByLength :: [HashQualified Name] -> [HashQualified Name]

Documentation

data HashQualified n Source #

Like Unison.HashQualified, but doesn't support a HashOnly variant

Constructors

NameOnly n
HashQualified n ShortHash

Instances

Instances details

Foldable HashQualified Source #
Instance details Defined in Unison.HashQualifiedPrime 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.HashQualifiedPrime 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.HashQualifiedPrime Methods fmap :: (a -> b) -> HashQualified a -> HashQualified b # (<$) :: a -> HashQualified b -> HashQualified a #
Generic (HashQualified n) Source #
Instance details Defined in Unison.HashQualifiedPrime 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.HashQualifiedPrime 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.HashQualifiedPrime Methods (==) :: HashQualified n -> HashQualified n -> Bool # (/=) :: HashQualified n -> HashQualified n -> Bool #
Ord n => Ord (HashQualified n) Source #
Instance details Defined in Unison.HashQualifiedPrime 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.HashQualifiedPrime Methods compareAlphabetical :: HashQualified n -> HashQualified n -> Ordering #
type Rep (HashQualified n) Source #
Instance details Defined in Unison.HashQualifiedPrime type Rep (HashQualified n) = D1 ('MetaData "HashQualified" "Unison.HashQualifiedPrime" "unison-core1-0.0.0-Kp7ZcNnt5XdB8ImvFwyntI" 'False) (C1 ('MetaCons "NameOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 n)) :+: 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)))