ajhc-0.8.0.6: Haskell compiler that produce binary through C language
FrontEnd.Tc.Unify
Synopsis
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
subsumes
boxyMatch :: Sigma' -> Sigma' -> Tc ()Source
printRule :: String -> Tc ()Source
listenSolvePreds :: Tc a -> Tc (a, [Pred])Source