• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for property-0.0.1 candidate source tarball

property-0.0.1/

• ChangeLog.md
• LICENSE
• property.cabal
• src/
  • Test/
    • Property.hs
    • Property/
      • Function.hs
      • Operation.hs
      • Relation.hs
      • Util.hs
      • Function/
        • Equivalent.hs
        • Idempotent.hs
        • Injective.hs
        • Invertible.hs
        • Monotone.hs
      • Operation/
        • Annihilative.hs
        • Associative.hs
        • Commutative.hs
        • Distributive.hs
        • Neutral.hs
      • Relation/
        • Connex.hs
        • Reflexive.hs
        • Symmetric.hs
        • Transitive.hs