syntax-tree-0.1.0.0: Typed ASTs

Safe HaskellNone
LanguageHaskell2010

AST.Term.Scheme.AlphaEq

Description

Alpha-equality for schemes

Documentation

alphaEq :: (KTraversable varTypes, KNodesConstraint varTypes (Unify m), HasScheme varTypes m typ) => Tree Pure (Scheme varTypes typ) -> Tree Pure (Scheme varTypes typ) -> m () Source #