| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hyper.Unify.Occurs
Description
Occurs check (check whether unification terms recursively contains themselves)
Synopsis
- occursCheck :: forall m t. Unify m t => (UVarOf m # t) -> m ()
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hyper.Unify.Occurs
Description
Occurs check (check whether unification terms recursively contains themselves)