| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Server.SearchResultPrime
Documentation
data SearchResult' v a Source #
Constructors
| Tm' (TermResult' v a) | |
| Tp' (TypeResult' v a) |
Instances
| (Show v, Show a) => Show (SearchResult' v a) Source # | |
Defined in Unison.Server.SearchResultPrime Methods showsPrec :: Int -> SearchResult' v a -> ShowS # show :: SearchResult' v a -> String # showList :: [SearchResult' v a] -> ShowS # | |
| (Var v, Eq a) => Eq (SearchResult' v a) Source # | |
Defined in Unison.Server.SearchResultPrime Methods (==) :: SearchResult' v a -> SearchResult' v a -> Bool # (/=) :: SearchResult' v a -> SearchResult' v a -> Bool # | |
data TermResult' v a Source #
Constructors
| TermResult' (HashQualified Name) (Maybe (Type v a)) Referent (Set (HashQualified Name)) |
Instances
| Show v => Show (TermResult' v a) Source # | |
Defined in Unison.Server.SearchResultPrime Methods showsPrec :: Int -> TermResult' v a -> ShowS # show :: TermResult' v a -> String # showList :: [TermResult' v a] -> ShowS # | |
| Var v => Eq (TermResult' v a) Source # | |
Defined in Unison.Server.SearchResultPrime Methods (==) :: TermResult' v a -> TermResult' v a -> Bool # (/=) :: TermResult' v a -> TermResult' v a -> Bool # | |
data TypeResult' v a Source #
Constructors
| TypeResult' (HashQualified Name) (DisplayObject () (Decl v a)) Reference (Set (HashQualified Name)) |
Instances
| (Show a, Show v) => Show (TypeResult' v a) Source # | |
Defined in Unison.Server.SearchResultPrime Methods showsPrec :: Int -> TypeResult' v a -> ShowS # show :: TypeResult' v a -> String # showList :: [TypeResult' v a] -> ShowS # | |
| (Var v, Eq a) => Eq (TypeResult' v a) Source # | |
Defined in Unison.Server.SearchResultPrime Methods (==) :: TypeResult' v a -> TypeResult' v a -> Bool # (/=) :: TypeResult' v a -> TypeResult' v a -> Bool # | |
pattern Tm :: HashQualified Name -> Maybe (Type v a) -> Referent -> Set (HashQualified Name) -> SearchResult' v a Source #
pattern Tp :: HashQualified Name -> DisplayObject () (Decl v a) -> Reference -> Set (HashQualified Name) -> SearchResult' v a Source #
tmReferent :: SearchResult' v a -> Maybe Referent Source #
tpReference :: SearchResult' v a -> Maybe Reference Source #
foldResult' :: (TermResult' v a -> b) -> (TypeResult' v a -> b) -> SearchResult' v a -> b Source #
labeledDependencies :: Ord v => SearchResult' v a -> Set LabeledDependency Source #