| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Bare.Lookup
- class Symbolic a => GhcLookup a where
- lookupGhcThing :: (GhcLookup a, MonadState BareEnv m, MonadError (TError t) m, MonadIO m) => [Char] -> (TyThing -> Maybe b) -> a -> m b
- lookupGhcVar :: GhcLookup a => a -> BareM Var
- lookupGhcTyCon :: GhcLookup a => a -> BareM TyCon
- lookupGhcDataCon :: (MonadState BareEnv m, MonadError (TError t) m, MonadIO m) => Located Symbol -> m DataCon
Documentation
lookupGhcThing :: (GhcLookup a, MonadState BareEnv m, MonadError (TError t) m, MonadIO m) => [Char] -> (TyThing -> Maybe b) -> a -> m b Source
lookupGhcVar :: GhcLookup a => a -> BareM Var Source
It's possible that we have already resolved the Name we are looking for,
but have had to turn it back into a String, e.g. to be used in an Expr,
as in {v:Ordering | v = EQ}. In this case, the fully-qualified Name
(GHC.Types.EQ) will likely not be in scope, so we store our own mapping of
fully-qualified Names to Vars and prefer pulling Vars from it.
lookupGhcTyCon :: GhcLookup a => a -> BareM TyCon Source
lookupGhcDataCon :: (MonadState BareEnv m, MonadError (TError t) m, MonadIO m) => Located Symbol -> m DataCon Source