hindley-milner-0.1.0.0: Template for Hindley-Milner based languages

Safe HaskellSafe
LanguageHaskell2010

Language.HM.Alpha

Description

Alpha equivalence.

Synopsis

Documentation

class AlphaEq a where Source

Class of types which have a notion of alpha equivalence.

Methods

alphaEq :: a -> a -> Bool Source

alphaEq x y determines whether x and y are alpha-equivalent.

Instances