syntax-tree-0.1.0.0: Typed ASTs

Safe HaskellNone
LanguageHaskell2010

AST.Unify.Occurs

Description

Occurs check (check whether unification terms recursively contains themselves)

Synopsis

Documentation

occursCheck :: forall m t. Unify m t => Tree (UVarOf m) t -> m () Source #

Occurs check

occursError :: Unify m t => Tree (UVarOf m) t -> Tree (UTermBody (UVarOf m)) t -> m a Source #

Format and throw an occurs check error