hypertypes-0.1.0.2: Typed ASTs
Safe HaskellNone
LanguageHaskell2010

Hyper.Type.AST.Scheme.AlphaEq

Description

Alpha-equality for schemes

Documentation

alphaEq :: (HTraversable varTypes, HNodesConstraint varTypes (UnifyGen m), HasScheme varTypes m typ) => (Pure # Scheme varTypes typ) -> (Pure # Scheme varTypes typ) -> m () Source #