patch ddc-head: ddc-core: finish haddocks for type modules

[Ben Lippmeier]

Wed Feb 15 07:15:27 EST 2012  Ben Lippmeier <b...@ouroborus.net>
  * ddc-core: finish haddocks for type modules

    M ./packages/ddc-core/DDC/Core/Check/CheckExp.hs -1 +1
    M ./packages/ddc-core/DDC/Type/Equiv.hs -4 +4
    M ./packages/ddc-core/DDC/Type/Parser.hs -7 +7
    M ./packages/ddc-core/DDC/Type/Predicates.hs -1 +1
    M ./packages/ddc-core/DDC/Type/Rewrite.hs -8 +11
    M ./packages/ddc-core/DDC/Type/Subsumes.hs -2 +16
    M ./packages/ddc-core/DDC/Type/Sum.hs -7 +6
    M ./packages/ddc-core/DDC/Type/Transform/Crush.hs -11 +17
    M ./packages/ddc-core/DDC/Type/Transform/LiftT.hs -1 +2
    M ./packages/ddc-core/DDC/Type/Transform/LowerT.hs -2 +3
    M ./packages/ddc-core/DDC/Type/Transform/SpreadT.hs -2 +2
    M ./packages/ddc-core/DDC/Type/Transform/SubstituteT.hs -5 +5
    M ./packages/ddc-core/DDC/Type/Transform/Trim.hs -5 +9
    M ./packages/ddc-core/DDC/Type/Universe.hs -7 +17

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe