Safe Haskell | None |
---|
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 | |
|
Eq FailContext | |
Show FailContext |
unrecoverable :: Fails -> BoolSource