Hyper.Type.AST.Scheme.AlphaEq
Description
Alpha-equality for schemes
alphaEq :: (HTraversable varTypes, HNodesConstraint varTypes (UnifyGen m), HasScheme varTypes m typ) => (Pure # Scheme varTypes typ) -> (Pure # Scheme varTypes typ) -> m () Source #