hatt 1.1.1 → 1.2.0

raw patch · 2 files changed

+13/−10 lines, 2 filesdep +ansi-wl-pprintdep ~cmdargsPVP ok

version bump matches the API change (PVP)

Dependencies added: ansi-wl-pprint

Dependency ranges changed: cmdargs

API changes (from Hackage documentation)

Files

• hatt.cabal +10/−8
• src/Data/Logic/Propositional/Tables.hs +3/−2

@@ -1,5 +1,5 @@ Name:               hatt-Version:            1.1.1+Version:            1.2.0 Stability:          experimental  Synopsis:           A truth table generator for classical propositional logic.@@ -26,9 +26,10 @@ Library   Hs-Source-Dirs:   src   GHC-options:      -Wall-  Build-depends:    base       >= 4 && < 5,-                    containers >= 0.3 && < 0.4,-                    parsec     >= 2.1 && < 2.2+  Build-depends:    base           >= 4 && < 5,+                    containers     >= 0.3 && < 0.4,+                    parsec         >= 2.1 && < 2.2,+                    ansi-wl-pprint >= 0.6 && < 0.7   Exposed-modules:  Data.Logic.Propositional   Other-modules:    Data.Logic.Propositional.Core,                     Data.Logic.Propositional.Parser,@@ -38,7 +39,8 @@   Hs-Source-Dirs:   src   Main-Is:          hatt.hs   GHC-options:      -Wall-  Build-depends:    base       >= 4 && < 5,-                    cmdargs    >= 0.6 && < 0.7,-                    containers >= 0.3 && < 0.4,-                    parsec     >= 2.1 && < 2.2+  Build-depends:    base           >= 4 && < 5,+                    cmdargs        >= 0.7,+                    containers     >= 0.3 && < 0.4,+                    parsec         >= 2.1 && < 2.2,+                    ansi-wl-pprint >= 0.6 && < 0.7

@@ -8,6 +8,7 @@ import Data.Logic.Propositional.Core  import Data.Map (fold)+import Text.PrettyPrint.ANSI.Leijen (green, text, red)  -- | The 'truthTable' function produces a truth table for the given expression. truthTable :: Expr -> String@@ -33,5 +34,5 @@     showExprValue = showBool $ interpret expr a  showBool :: Bool -> String-showBool True  = "T"-showBool False = "F"+showBool True  = show . green . text $ "T"+showBool False = show . red . text $ "F"