FreeNamesBase.hs

module FreeNamesBase where

import Syntax(HsDeclI,HsTypeI,HsPatI,HsExpI) 
import FreeNames
import FreeNamesBaseStruct
import DefinedNamesBase

This module contains just he knot tying definitions for the base syntax. The reusable instances for the base structure are located in FreeNamesBaseStruct.

instance Eq i => FreeNames i (HsDeclI i) where freeNames = freeNamesRec
instance Eq i => FreeNames i (HsPatI  i) where freeNames = freeNamesRec
instance Eq i => FreeNames i (HsExpI  i) where freeNames = freeNamesRec
instance Eq i => FreeNames i (HsTypeI i) where freeNames = freeNamesRec

Plain-text version of FreeNamesBase.hs | Valid HTML?