Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
match_unify :: Context -> Env -> TT Name -> TT Name -> [Name] -> [Name] -> [FailContext] -> TC [(Name, TT Name)] Source
unify :: Context -> Env -> TT Name -> TT Name -> [Name] -> [Name] -> [Name] -> [FailContext] -> TC ([(Name, TT Name)], Fails) Source
data FailContext Source
FailContext | |
|
unrecoverable :: Fails -> Bool Source