Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Utility types used within the constraint solver
Documentation
emptyDictMap :: DictMap a Source #
dictsToBag :: DictMap a -> Bag a Source #
emptyFunEqs :: TcAppMap a Source #
foldFunEqs :: (a -> b -> b) -> FunEqMap a -> b -> b 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 = [Ct] Source #
filterEqualCtList :: (Ct -> Bool) -> EqualCtList -> Maybe EqualCtList Source #
addToEqualCtList :: Ct -> EqualCtList -> EqualCtList Source #