Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
findValidHoleFits :: TidyEnv -> [Implication] -> [Ct] -> Ct -> TcM (TidyEnv, SDoc) Source #
Orphan instances
HasOccName GlobalRdrElt # | |
occName :: GlobalRdrElt -> OccName Source # | |
(HasOccName a, HasOccName b) => HasOccName (Either a b) # | |