uniform-algebras 0.1.0 → 0.1.2

raw patch · 3 files changed

+51/−5 lines, 3 filesdep +numeric-preludedep +test-invariantdep ~basePVP ok

version bump matches the API change (PVP)

Dependencies added: numeric-prelude, test-invariant

Dependency ranges changed: base

API changes (from Hackage documentation)

Files

• ChangeLog.md +1/−0
• Uniform/Properties.hs +42/−0
• uniform-algebras.cabal +8/−5

@@ -1,3 +1,4 @@ 0.0.10     updating 0.0.9 versions in Workspace8 2019 for submission     cleaned up (mostly)+0.1.2 preparing for 9.2.1

@@ -0,0 +1,42 @@+---------------------------------------------------------------------+---Module      :   Properties  +--             a place to state some algebraic laws+--             used in tests +-- compare with Data.Zero +----------------------------------------------------------------------+-- {-# LANGUAGE FlexibleContexts #-}+-- {-# LANGUAGE MultiParamTypeClasses #-}+-- {-# LANGUAGE DefaultSignatures #-}+-- {-# LANGUAGE TypeOperators #-}++{-# OPTIONS -Wall #-}++module Uniform.Properties+  ( module Uniform.Properties+  )+where++import           Algebra.Laws             as Law+--import           Test.Framework+import           Test.Invariant           as Rule+prop_zero_mknull :: (Monoid a, Eq a)  => a -> Bool+prop_zero_mknull a = Law.zero mappend a mempty++prop_assoz :: (Monoid a, Eq a)  => a -> a ->  a -> Bool+prop_assoz a b c = Rule.associative mappend a b c++prop_concat :: (Monoid a, Eq a) => [a] -> Bool+prop_concat as =    mconcat as == foldr mappend mempty as++++--prop_s2lat :: String -> Bool  -- will fail ? fails+--prop_s2lat = inverts lat2s s3lat++    --prop_s2latin :: String -> Bool     -- why does this always work?  (is the intermediate result ok?)+--prop_s2latin = inverts latin2s s2latin++--prop_s3latin :: String -> Bool     --inverts with reasonable intermediate value+--prop_s3latin s = inverts latin2s s2latin (convertLatin s)++--

@@ -1,13 +1,13 @@ cabal-version: 2.2 --- This file has been generated from package.yaml by hpack version 0.34.2.+-- This file has been generated from package.yaml by hpack version 0.34.6. -- -- see: https://github.com/sol/hpack ----- hash: d5063147a590e342c7a089d4c99da9a156918b76b109cb499cfe5b0d26b3e716+-- hash: dc98329abf5718f8d41deb508741ac6c133c08333cafe2afe3727b9522aa4b54  name:           uniform-algebras-version:        0.1.0+version:        0.1.2 synopsis:       Pointless functions and a simplistic zero and monoid description:    Simple algebras avoiding too much mathematical underpinning                 .@@ -34,12 +34,15 @@   exposed-modules:       Uniform.ListForm       Uniform.Pointless+      Uniform.Properties       Uniform.Zero   autogen-modules: Paths_uniform_algebras   other-modules:       Paths_uniform_algebras   hs-source-dirs:-      ./.+      ./   build-depends:-      base >=4.7 && <5+      base >4.7 && <5+    , numeric-prelude+    , test-invariant   default-language: Haskell2010