Wingman.Context

Documentation

mkContext :: Config -> [(OccName, CType)] -> TcGblEnv -> ExternalPackageState -> KnownThings -> [Evidence] -> Context

locallyDefinedMethods :: TcGblEnv -> [Id]

splitId :: Id -> (OccName, CType)

getFunBindId :: HsBindLR GhcTc GhcTc -> [Id]

getCurrentDefinitions :: MonadReader Context m => m [(OccName, CType)]

getKnownThing :: MonadReader Context m => (KnownThings -> a) -> m a

Extract something from KnownThings.

getKnownInstance :: MonadReader Context m => (KnownThings -> Class) -> [Type] -> m (Maybe (Class, PredType))

Like getInstance, but uses a class from the KnownThings.

getInstance :: MonadReader Context m => Class -> [Type] -> m (Maybe (Class, PredType))

Determine if there is an instance that exists for the given Class at the specified types. Deeply checks contexts to ensure the instance is actually real.

If so, this returns a PredType that corresponds to the type of the dictionary.

hasClassInstance :: MonadReader Context m => PredType -> m Bool

Like getInstance, but only returns whether or not it succeeded. Can fail fast, and uses a cached Theta from the context.