-- | This module generated by the Quickpull package.
-- Quickpull is available at:
-- <http://www.github.com/massysett/quickpull>

module Decrees where

import Quickpull
import qualified Tests

decrees :: [Decree]
decrees =

  [ Decree ( Meta {modDesc = ModDesc {modPath = "tests/Tests.hs", modName = ["Tests"]}, linenum = 11, qName = "proptree_maybeMonadLaws"} ) ( Multi Tests.proptree_maybeMonadLaws )
  , Decree ( Meta {modDesc = ModDesc {modPath = "tests/Tests.hs", modName = ["Tests"]}, linenum = 14, qName = "proptree_maybeFunctorLaws"} ) ( Multi Tests.proptree_maybeFunctorLaws )
  , Decree ( Meta {modDesc = ModDesc {modPath = "tests/Tests.hs", modName = ["Tests"]}, linenum = 17, qName = "proptree_maybeApplicativeLaws"} ) ( Multi Tests.proptree_maybeApplicativeLaws )
  , Decree ( Meta {modDesc = ModDesc {modPath = "tests/Tests.hs", modName = ["Tests"]}, linenum = 21, qName = "proptree_listMonoidLaws"} ) ( Multi Tests.proptree_listMonoidLaws )
  , Decree ( Meta {modDesc = ModDesc {modPath = "tests/Tests.hs", modName = ["Tests"]}, linenum = 25, qName = "prop_addIsAssociative"} ) ( Single Tests.prop_addIsAssociative )
  , Decree ( Meta {modDesc = ModDesc {modPath = "tests/Tests.hs", modName = ["Tests"]}, linenum = 29, qName = "prop_addIsCommutative"} ) ( Single Tests.prop_addIsCommutative )
  , Decree ( Meta {modDesc = ModDesc {modPath = "tests/Tests.hs", modName = ["Tests"]}, linenum = 33, qName = "prop_zeroAddLeftIdentity"} ) ( Single Tests.prop_zeroAddLeftIdentity )
  , Decree ( Meta {modDesc = ModDesc {modPath = "tests/Tests.hs", modName = ["Tests"]}, linenum = 38, qName = "prop_oneDivideRightIdentity"} ) ( Single Tests.prop_oneDivideRightIdentity )
  ]