| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Language.Futhark.Query
Description
Facilities for answering queries about a program, such as "what appears at this source location", or "where is this name bound". The intent is that this is used as a building block for IDE-like functionality.
Documentation
What a name is bound to.
Constructors
| BoundTerm StructType Loc | |
| BoundModule Loc | |
| BoundModuleType Loc | |
| BoundType Loc |
boundLoc :: BoundTo -> Loc Source #
Where was a bound variable actually bound? That is, what is the location of its definition?
Information about what is at the given source location.
atPos :: Imports -> Pos -> Maybe AtPos Source #
Information about what's at the given source position. Returns
Nothing if there is nothing there, including if the source
position is invalid.
Instances
| Data Pos | |
Defined in Data.Loc Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pos -> c Pos Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pos Source # toConstr :: Pos -> Constr Source # dataTypeOf :: Pos -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pos) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pos) Source # gmapT :: (forall b. Data b => b -> b) -> Pos -> Pos Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Pos -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Pos -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pos -> m Pos Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos Source # | |
| Read Pos | |
| Show Pos | |
| Eq Pos | |
| Ord Pos | |
| Pretty Pos | |
| Located Pos | |