| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Infernu.Unify
- unify :: UnifyF
- unifyAll :: Source -> [Type] -> Infer ()
- unifyl :: UnifyF -> Source -> [(Type, Type)] -> Infer ()
- unifyRowPropertyBiased :: Source -> Infer () -> (TypeScheme, TypeScheme) -> Infer ()
- unifyPredsL :: Source -> [TPred Type] -> Infer [TPred Type]
- unifyPending :: Infer ()
Documentation
unifyl :: UnifyF -> Source -> [(Type, Type)] -> Infer () Source
Unifies pairs of types, accumulating the substs
unifyRowPropertyBiased :: Source -> Infer () -> (TypeScheme, TypeScheme) -> Infer () Source
unifyPending :: Infer () Source