scion-0.1.0.2: Haskell IDE library Source code Contents Index

Scion.Inspect.Find Portability portable Stability experimental Maintainer [email protected]

Description

Find things in a syntax tree.

Synopsis

findHsThing :: Search id a => (SrcSpan -> Bool) -> a -> SearchResults id data SearchResult id = FoundBind SrcSpan (HsBind id) | FoundPat SrcSpan (Pat id) | FoundType SrcSpan (HsType id) | FoundExpr SrcSpan (HsExpr id) | FoundStmt SrcSpan (Stmt id) | FoundId Id | FoundName Name | FoundCon SrcSpan DataCon | FoundLit SrcSpan HsLit type SearchResults id = PosForest (SearchResult id) data PosTree a = Node { val :: a children :: PosForest a } type PosForest a = Set (PosTree a) deepestLeaf :: Ord a => PosTree a -> a pathToDeepest :: Ord a => PosForest a -> Maybe (a, [a]) surrounds :: SrcSpan -> SrcSpan -> Bool overlaps :: SrcSpan -> SrcSpan -> Bool

Documentation

findHsThing :: Search id a => (SrcSpan -> Bool) -> a -> SearchResults id Source

Lookup all the things in a certain region.

data SearchResult id Source

Constructors FoundBind SrcSpan (HsBind id) FoundPat SrcSpan (Pat id) FoundType SrcSpan (HsType id) FoundExpr SrcSpan (HsExpr id) FoundStmt SrcSpan (Stmt id) FoundId Id FoundName Name FoundCon SrcSpan DataCon FoundLit SrcSpan HsLit Instances Eq (SearchResult id) Ord (SearchResult id) (OutputableBndr id, Outputable id) => Outputable (SearchResult id)

type SearchResults id = PosForest (SearchResult id) Source

data PosTree a Source

Constructors Node val :: a children :: PosForest a Instances Eq a => Eq (PosTree a) Ord a => Ord (PosTree a) Outputable a => Outputable (PosTree a)

type PosForest a = Set (PosTree a) Source

deepestLeaf :: Ord a => PosTree a -> a Source

pathToDeepest :: Ord a => PosForest a -> Maybe (a, [a]) Source

Returns the deepest leaf, together with the path to this leaf. For example, for the following tree with root A: A -+- B --- C '- D --- E --- F this function will return: (F, [E, D, A]) If F were missing the result is either (C, [B,A]) or (E, [D,A]).

surrounds :: SrcSpan -> SrcSpan -> Bool Source

overlaps :: SrcSpan -> SrcSpan -> Bool Source

Produced by Haddock version 2.4.2