syntax-tree-0.1.0.0: Typed ASTs
AST.Term.Scheme.AlphaEq
Description
Alpha-equality for schemes
alphaEq :: (KTraversable varTypes, KNodesConstraint varTypes (Unify m), HasScheme varTypes m typ) => Tree Pure (Scheme varTypes typ) -> Tree Pure (Scheme varTypes typ) -> m () Source #