predicate-class (empty) → 0.1.0.1

raw patch · 5 files changed

+92/−0 lines, 5 filesdep +basesetup-changed

Dependencies added: base

Files

• CHANGELOG.md +4/−0
• LICENSE +20/−0
• Setup.hs +2/−0
• predicate-class.cabal +24/−0
• src/Data/Predicate/Class.hs +42/−0

@@ -0,0 +1,4 @@+# 0.1 to 0.2++# 0.1.0 to 0.1.1+- Upgraded to GHC8, base 4.9

@@ -0,0 +1,20 @@+Copyright (c) 2017 Uber Technologies, Inc.++Permission is hereby granted, free of charge, to any person obtaining+a copy of this software and associated documentation files (the+"Software"), to deal in the Software without restriction, including+without limitation the rights to use, copy, modify, merge, publish,+distribute, sublicense, and/or sell copies of the Software, and to+permit persons to whom the Software is furnished to do so, subject to+the following conditions:++The above copyright notice and this permission notice shall be included+in all copies or substantial portions of the Software.++THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.+IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY+CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,+TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE+SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

@@ -0,0 +1,24 @@+name:                predicate-class+version:             0.1.0.1+synopsis:            Helper class for passing context along a predicate value+description:+            Helper class for passing context along a predicate value+            Used as a helper in queryparser+license:             MIT+license-file:        LICENSE+author:              David Thomas+maintainer:          heli@uber.com+-- copyright:+category:            Data+build-type:          Simple+extra-source-files:+                     CHANGELOG.md+cabal-version:       >=1.10++library+  exposed-modules:     Data.Predicate.Class+  -- other-modules:+  -- other-extensions:+  build-depends:       base >=4.9 && <4.11+  hs-source-dirs:      src+  default-language:    Haskell98

@@ -0,0 +1,42 @@+-- Copyright (c) 2017 Uber Technologies, Inc.+--+-- Permission is hereby granted, free of charge, to any person obtaining a copy+-- of this software and associated documentation files (the "Software"), to deal+-- in the Software without restriction, including without limitation the rights+-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell+-- copies of the Software, and to permit persons to whom the Software is+-- furnished to do so, subject to the following conditions:+--+-- The above copyright notice and this permission notice shall be included in+-- all copies or substantial portions of the Software.+--+-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR+-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,+-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE+-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER+-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,+-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN+-- THE SOFTWARE.++module Data.Predicate.Class where+import Prelude hiding ((&&), (||), not)+import qualified Prelude+class Predicate p where+  infixr 3 &&+  (&&) :: p -> p -> p++  infixr 3 ||+  (||) :: p -> p -> p++  not :: p -> p++instance Predicate Bool where+  (&&) = (Prelude.&&)+  (||) = (Prelude.||)+  not = Prelude.not++instance (Predicate p) => Predicate (a -> p) where+  p && q = \ a -> p a && q a+  p || q = \ a -> p a || q a+  not p = not . p+