idris

Safe HaskellNone

Core.Unify

Documentation

match_unify :: Context -> Env -> TT Name -> TT Name -> [Name] -> [Name] -> TC [(Name, TT Name)]Source

unify :: Context -> Env -> TT Name -> TT Name -> [Name] -> [Name] -> TC ([(Name, TT Name)], Fails)Source

type Fails = [(TT Name, TT Name, Env, Err)]Source