FreeNamesBase

Plain source file: base/defs/FreeNamesBase.hs (2002-10-23)

FreeNamesBase is imported by: TiDerivedInstances, TiDkc, ScopeNamesBase, Main{-pfe/pfe.hs-}, FreeNamesProp.

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

Index

(HTML for this module was generated on 2006-08-12. About the conversion tool.)