RemoveListCompProp

Plain source file: property/transforms/RemoveListCompProp.hs (2004-12-18)

RemoveListCompProp is imported by: PfeAlfaCmds, StrategoCmds, IsabelleCmds, PPfeInstances. 

module RemoveListCompProp(rmAllListComp) where
import RemoveListComp
import Substitute
import SubstituteProp
import Recursive
import PropSyntaxRec(HsExpI)
import TiNames(ValueId)
import TiPropInstances() -- HasDef [HsDeclI i] (HsDeclI i)

instance ValueId i => RmListComp i (HsExpI i) where
  rmListComp cm = rmListCompE cm . struct
Index

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