Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Names.ResolutionResult

Synopsis

data ResolutionError ref
- = NotFound
- | Ambiguous Names (Set ref) (Set Name)
data ResolutionFailure annotation
- = TypeResolutionFailure (HashQualified Name) annotation (ResolutionError TypeReference)
- | TermResolutionFailure (HashQualified Name) annotation (ResolutionError Referent)
type ResolutionResult a r = Either (Seq (ResolutionFailure a)) r
getAnnotation :: ResolutionFailure a -> a

Documentation

data ResolutionError ref Source #

Constructors

NotFound
Ambiguous Names (Set ref) (Set Name)

Instances

Instances details

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

data ResolutionFailure annotation Source #

ResolutionFailure represents the failure to resolve a given name.

Constructors

TypeResolutionFailure (HashQualified Name) annotation (ResolutionError TypeReference)
TermResolutionFailure (HashQualified Name) annotation (ResolutionError Referent)

Instances

Instances details

Foldable ResolutionFailure Source #
Instance details Defined in Unison.Names.ResolutionResult Methods fold :: Monoid m => ResolutionFailure m -> m # foldMap :: Monoid m => (a -> m) -> ResolutionFailure a -> m # foldMap' :: Monoid m => (a -> m) -> ResolutionFailure a -> m # foldr :: (a -> b -> b) -> b -> ResolutionFailure a -> b # foldr' :: (a -> b -> b) -> b -> ResolutionFailure a -> b # foldl :: (b -> a -> b) -> b -> ResolutionFailure a -> b # foldl' :: (b -> a -> b) -> b -> ResolutionFailure a -> b # foldr1 :: (a -> a -> a) -> ResolutionFailure a -> a # foldl1 :: (a -> a -> a) -> ResolutionFailure a -> a # toList :: ResolutionFailure a -> [a] # null :: ResolutionFailure a -> Bool # length :: ResolutionFailure a -> Int # elem :: Eq a => a -> ResolutionFailure a -> Bool # maximum :: Ord a => ResolutionFailure a -> a # minimum :: Ord a => ResolutionFailure a -> a # sum :: Num a => ResolutionFailure a -> a # product :: Num a => ResolutionFailure a -> a #
Traversable ResolutionFailure Source #
Instance details Defined in Unison.Names.ResolutionResult Methods traverse :: Applicative f => (a -> f b) -> ResolutionFailure a -> f (ResolutionFailure b) # sequenceA :: Applicative f => ResolutionFailure (f a) -> f (ResolutionFailure a) # mapM :: Monad m => (a -> m b) -> ResolutionFailure a -> m (ResolutionFailure b) # sequence :: Monad m => ResolutionFailure (m a) -> m (ResolutionFailure a) #
Functor ResolutionFailure Source #
Instance details Defined in Unison.Names.ResolutionResult Methods fmap :: (a -> b) -> ResolutionFailure a -> ResolutionFailure b # (<$) :: a -> ResolutionFailure b -> ResolutionFailure a #
Show annotation => Show (ResolutionFailure annotation) Source #
Instance details Defined in Unison.Names.ResolutionResult Methods showsPrec :: Int -> ResolutionFailure annotation -> ShowS # show :: ResolutionFailure annotation -> String # showList :: [ResolutionFailure annotation] -> ShowS #
Eq annotation => Eq (ResolutionFailure annotation) Source #
Instance details Defined in Unison.Names.ResolutionResult Methods (==) :: ResolutionFailure annotation -> ResolutionFailure annotation -> Bool # (/=) :: ResolutionFailure annotation -> ResolutionFailure annotation -> Bool #
Ord annotation => Ord (ResolutionFailure annotation) Source #
Instance details Defined in Unison.Names.ResolutionResult Methods compare :: ResolutionFailure annotation -> ResolutionFailure annotation -> Ordering # (<) :: ResolutionFailure annotation -> ResolutionFailure annotation -> Bool # (<=) :: ResolutionFailure annotation -> ResolutionFailure annotation -> Bool # (>) :: ResolutionFailure annotation -> ResolutionFailure annotation -> Bool # (>=) :: ResolutionFailure annotation -> ResolutionFailure annotation -> Bool # max :: ResolutionFailure annotation -> ResolutionFailure annotation -> ResolutionFailure annotation # min :: ResolutionFailure annotation -> ResolutionFailure annotation -> ResolutionFailure annotation #

type ResolutionResult a r = Either (Seq (ResolutionFailure a)) r Source #

getAnnotation :: ResolutionFailure a -> a Source #