ajhc-0.8.0.7: Haskell compiler that produce binary through C language

Safe HaskellNone

FrontEnd.Tc.Unify

Synopsis

Documentation

subsumes :: Sigma' -> Sigma' -> Tc CoerceTermSource

this ensures the first argument is at least as polymorphic as the second actual/offered <= expected actual/offered subsumes expected

boxyMatch :: Sigma' -> Sigma' -> Tc ()Source

printRule :: String -> Tc ()Source

listenSolvePreds :: Tc a -> Tc (a, [Pred])Source