ghc-lib-0.20210601: The GHC API, decoupled from GHC versions

Safe Haskell	None
Language	Haskell2010

GHC.Tc.Solver.Types

Description

Utility types used within the constraint solver

Synopsis

type DictMap a = TcAppMap a
emptyDictMap :: DictMap a
findDictsByClass :: DictMap a -> Class -> Bag a
addDict :: DictMap a -> Class -> [Type] -> a -> DictMap a
addDictCt :: DictMap Ct -> Class -> [Type] -> Ct -> DictMap Ct
addDictsByClass :: DictMap Ct -> Class -> Bag Ct -> DictMap Ct
delDict :: DictMap a -> Class -> [Type] -> DictMap a
foldDicts :: (a -> b -> b) -> DictMap a -> b -> b
filterDicts :: (Ct -> Bool) -> DictMap Ct -> DictMap Ct
findDict :: DictMap a -> CtLoc -> Class -> [Type] -> Maybe a
dictsToBag :: DictMap a -> Bag a
partitionDicts :: (Ct -> Bool) -> DictMap Ct -> (Bag Ct, DictMap Ct)
type FunEqMap a = TcAppMap a
emptyFunEqs :: TcAppMap a
foldFunEqs :: (a -> b -> b) -> FunEqMap a -> b -> b
findFunEq :: FunEqMap a -> TyCon -> [Type] -> Maybe a
insertFunEq :: FunEqMap a -> TyCon -> [Type] -> a -> FunEqMap a
findFunEqsByTyCon :: FunEqMap a -> TyCon -> [a]
type TcAppMap a = DTyConEnv (ListMap LooseTypeMap a)
isEmptyTcAppMap :: TcAppMap a -> Bool
insertTcApp :: TcAppMap a -> TyCon -> [Type] -> a -> TcAppMap a
alterTcApp :: forall a. TcAppMap a -> TyCon -> [Type] -> XT a -> TcAppMap a
filterTcAppMap :: forall a. (a -> Bool) -> TcAppMap a -> TcAppMap a
data EqualCtList
pattern EqualCtList :: NonEmpty Ct -> EqualCtList
equalCtListToList :: EqualCtList -> [Ct]
filterEqualCtList :: (Ct -> Bool) -> EqualCtList -> Maybe EqualCtList
unitEqualCtList :: Ct -> EqualCtList
listToEqualCtList :: [Ct] -> Maybe EqualCtList
addToEqualCtList :: Ct -> EqualCtList -> EqualCtList

Documentation

type DictMap a = TcAppMap a Source #

emptyDictMap :: DictMap a Source #

findDictsByClass :: DictMap a -> Class -> Bag a Source #

addDict :: DictMap a -> Class -> [Type] -> a -> DictMap a Source #

addDictCt :: DictMap Ct -> Class -> [Type] -> Ct -> DictMap Ct Source #

addDictsByClass :: DictMap Ct -> Class -> Bag Ct -> DictMap Ct Source #

delDict :: DictMap a -> Class -> [Type] -> DictMap a Source #

foldDicts :: (a -> b -> b) -> DictMap a -> b -> b Source #

filterDicts :: (Ct -> Bool) -> DictMap Ct -> DictMap Ct Source #

findDict :: DictMap a -> CtLoc -> Class -> [Type] -> Maybe a Source #

dictsToBag :: DictMap a -> Bag a Source #

partitionDicts :: (Ct -> Bool) -> DictMap Ct -> (Bag Ct, DictMap Ct) Source #

type FunEqMap a = TcAppMap a Source #

emptyFunEqs :: TcAppMap a Source #

foldFunEqs :: (a -> b -> b) -> FunEqMap a -> b -> b Source #

findFunEq :: FunEqMap a -> TyCon -> [Type] -> Maybe a Source #

insertFunEq :: FunEqMap a -> TyCon -> [Type] -> a -> FunEqMap a Source #

findFunEqsByTyCon :: FunEqMap a -> TyCon -> [a] Source #

type TcAppMap a = DTyConEnv (ListMap LooseTypeMap a) Source #

isEmptyTcAppMap :: TcAppMap a -> Bool Source #

insertTcApp :: TcAppMap a -> TyCon -> [Type] -> a -> TcAppMap a Source #

alterTcApp :: forall a. TcAppMap a -> TyCon -> [Type] -> XT a -> TcAppMap a Source #

filterTcAppMap :: forall a. (a -> Bool) -> TcAppMap a -> TcAppMap a Source #

data EqualCtList Source #

Instances

Instances details

Outputable EqualCtList Source #
Instance details Defined in GHC.Tc.Solver.Types Methods ppr :: EqualCtList -> SDoc

pattern EqualCtList :: NonEmpty Ct -> EqualCtList Source #

Pattern synonym for easy unwrapping. NB: unidirectional to preserve invariants.

equalCtListToList :: EqualCtList -> [Ct] Source #

filterEqualCtList :: (Ct -> Bool) -> EqualCtList -> Maybe EqualCtList Source #

unitEqualCtList :: Ct -> EqualCtList Source #

listToEqualCtList :: [Ct] -> Maybe EqualCtList Source #

addToEqualCtList :: Ct -> EqualCtList -> EqualCtList Source #