MapDeclMProp

Plain source file: property/transforms/MapDeclMProp.hs (2002-05-07)

MapDeclMProp is imported by: StrategoCmds, IsabelleCmds, PPfeInstances.

module MapDeclMProp where
import MapDeclM
import PropSyntax
import MapDeclMPropStruct() -- get the instances
import MapDeclMBaseStruct() -- get the instances

instance MapDeclM (HsDeclI i)    [HsDeclI i] where mapDeclM = std_mapDeclM
instance MapDeclM (HsExpI i)     [HsDeclI i] where mapDeclM = std_mapDeclM
instance MapDeclM (AssertionI i) [HsDeclI i] where mapDeclM = std_mapDeclM
instance MapDeclM (PredicateI i) [HsDeclI i] where mapDeclM = std_mapDeclM


Index

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