Safe Haskell | None |
---|---|
Language | GHC2021 |
Utility types used within the constraint solver
Documentation
emptyDictMap :: DictMap a Source #
dictsToBag :: DictMap a -> Bag a Source #
emptyFunEqs :: TcAppMap a Source #
findFunEqsByTyCon :: FunEqMap a -> TyCon -> [a] Source #
emptyTcAppMap :: TcAppMap a Source #
isEmptyTcAppMap :: TcAppMap a -> Bool Source #
tcAppMapToBag :: TcAppMap a -> Bag a Source #
foldTcAppMap :: (a -> b -> b) -> TcAppMap a -> b -> b Source #
type EqualCtList = [EqCt] Source #
filterEqualCtList :: (EqCt -> Bool) -> EqualCtList -> Maybe EqualCtList Source #
addToEqualCtList :: EqCt -> EqualCtList -> EqualCtList Source #