refined 0.2.2.0 → 0.2.3.0

raw patch · 2 files changed

+4/−6 lines, 2 files

Files

library/Refined.hs +3/−5
refined.cabal +1/−1

library/Refined.hs view

@@ -32,6 +32,7 @@  {-# LANGUAGE ConstraintKinds            #-} {-# LANGUAGE DataKinds                  #-}+{-# LANGUAGE DeriveFoldable             #-} {-# LANGUAGE DeriveGeneric              #-} {-# LANGUAGE ExplicitNamespaces         #-} {-# LANGUAGE FlexibleContexts           #-}@@ -215,11 +216,8 @@ --   use 'Unsafe.Coerce.unsafeCoerce'. newtype Refined p x = Refined x   deriving-    (-      --Data-      Eq-    --, Generic-    --, Generic1+    ( Eq+    , Foldable      , Ord     , Show     , Typeable

refined.cabal view

@@ -1,7 +1,7 @@ name:   refined version:-  0.2.2.0+  0.2.3.0 synopsis:   Refinement types with static and runtime checking description: