Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
canonicalize :: Ct -> TcS (StopOrContinue Ct) Source #
maybeSym :: SwapFlag -> TcCoercion -> TcCoercion Source #
data StopOrContinue a Source #
Instances
Functor StopOrContinue # | |
Defined in GHC.Tc.Solver.Canonical fmap :: (a -> b) -> StopOrContinue a -> StopOrContinue b Source # (<$) :: a -> StopOrContinue b -> StopOrContinue a Source # | |
Outputable a => Outputable (StopOrContinue a) # | |
Defined in GHC.Tc.Solver.Canonical |
stopWith :: CtEvidence -> String -> TcS (StopOrContinue a) Source #
continueWith :: a -> TcS (StopOrContinue a) Source #
solveCallStack :: CtEvidence -> EvCallStack -> TcS () Source #