Safe Haskell	None
Language	Haskell2010

Wingman.Context

Synopsis

mkContext :: Config -> [(OccName, CType)] -> TcGblEnv -> HscEnv -> ExternalPackageState -> [Evidence] -> Context
locallyDefinedMethods :: TcGblEnv -> [Id]
splitId :: Id -> (OccName, CType)
getFunBindId :: HsBindLR GhcTc GhcTc -> [Id]
getInstance :: MonadReader Context m => Class -> [Type] -> m (Maybe (Class, PredType))
hasClassInstance :: MonadReader Context m => PredType -> m Bool

Documentation

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

locallyDefinedMethods :: TcGblEnv -> [Id] Source #

splitId :: Id -> (OccName, CType) Source #

getFunBindId :: HsBindLR GhcTc GhcTc -> [Id] Source #

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

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 Source #

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