| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
IR.Constraint.Unify
Synopsis
- data Answer
- unify :: Variable -> Variable -> TC Answer
- onSuccess :: () -> TC Answer
- errorDescriptor :: Descriptor
- newtype Unify a = Unify (forall r. (a -> TC r) -> (() -> TC r) -> TC r)
- mismatch :: Unify a
- data Context = Context {}
- merge :: Context -> Content -> Unify ()
- guardedUnify :: Variable -> Variable -> Unify ()
- subUnify :: Variable -> Variable -> Unify ()
- actuallyUnify :: Context -> Unify ()
- unifyFlex :: Context -> Content -> Content -> Unify ()
- unifyRigid :: Context -> Content -> Content -> Unify ()
- unifyStructure :: Context -> FlatType -> Content -> Content -> Unify ()
- unifyArgs :: Context -> [Variable] -> [Variable] -> (() -> TC r) -> (() -> TC r) -> TC r
Documentation
CPS style UNIFIER
UNIFICATION HELPERS
Constructors
| Context | |
Fields
| |
actuallyUnify :: Context -> Unify () Source #