FreeNamesProp

Plain source file: property/defs/FreeNamesProp.hs (2002-05-18)

FreeNamesProp is imported by: PPfeInstances, TiProp, TiPropDecorate, TiPropInstances, ScopeNamesProp.

module FreeNamesProp where
import PropSyntax
import FreeNames
import FreeNamesPropStruct
import FreeNamesBase
import DefinedNamesProp

instance Eq i => FreeNames i (HsDeclI i)    where freeNames = freeNamesRec
instance Eq i => FreeNames i (HsExpI i)     where freeNames = freeNamesRec
instance Eq i => FreeNames i (AssertionI i) where freeNames = freeNamesRec
instance Eq i => FreeNames i (PredicateI i) where freeNames = freeNamesRec

instance (FreeNames i b,FreeNames i p) => FreeNames i (Prop b p) where
 freeNames = prop freeNames freeNames

Index

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