Language.Haskell.Liquid.Bare.Lookup

Documentation

class Symbolic a => GhcLookup a where

Methods

lookupName :: HscEnv -> ModName -> a -> IO [Name]

srcSpan :: a -> SrcSpan

Instances

GhcLookup Name

GhcLookup (Located Symbol)

lookupGhcThing :: (MonadIO m, MonadError (TError t) m, MonadState BareEnv m, GhcLookup a) => [Char] -> (TyThing -> Maybe b) -> a -> m b

lookupGhcVar :: GhcLookup a => a -> BareM Var

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

lookupGhcDataCon :: (MonadIO m, MonadError (TError t) m, MonadState BareEnv m) => Located Symbol -> m DataCon