Permalink
Browse files

Simplified examples using prelude-extras 0.3

  • Loading branch information...
ekmett committed Jan 7, 2013
1 parent 0493998 commit ec269e9bc29914669c4a0ac14c988991746c085a
Showing with 10 additions and 10 deletions.
  1. +2 −2 bound.cabal
  2. +4 −4 examples/Deriving.hs
  3. +4 −4 src/Bound.hs
View
@@ -1,6 +1,6 @@
name: bound
category: Language, Compilers/Interpreters
-version: 0.5.1
+version: 0.6
license: BSD3
cabal-version: >= 1.9.2
license-file: LICENSE
@@ -61,7 +61,7 @@ library
base >= 4 && < 5,
bifunctors >= 3,
comonad >= 3,
- prelude-extras >= 0.2,
+ prelude-extras >= 0.3,
transformers >= 0.2 && < 0.4
ghc-options: -Wall -O2 -fspec-constr -fdicts-cheap -funbox-strict-fields
View
@@ -31,10 +31,10 @@ instance Monad Exp where
Let n bs e >>= f = Let n (map (>>>= f) bs) (e >>>= f)
Case e as >>= f = Case (e >>= f) (map (>>>= f) as)
-instance Eq1 Exp where (==#) = (==)
-instance Ord1 Exp where compare1 = compare
-instance Show1 Exp where showsPrec1 = showsPrec
-instance Read1 Exp where readsPrec1 = readsPrec
+instance Eq1 Exp
+instance Ord1 Exp
+instance Show1 Exp
+instance Read1 Exp
data Pat f a
= VarP
View
@@ -33,10 +33,10 @@
-- @
--
-- @
--- instance 'Prelude.Extras.Eq1' Exp where ('Prelude.Extras.==#') = ('==')
--- instance 'Prelude.Extras.Ord1' Exp where 'Prelude.Extras.compare1' = 'compare'
--- instance 'Prelude.Extras.Show1' Exp where 'Prelude.Extras.showsPrec1' = 'showsPrec'
--- instance 'Prelude.Extras.Read1' Exp where 'Prelude.Extras.readsPrec1' = 'readsPrec'
+-- instance 'Prelude.Extras.Eq1' Exp
+-- instance 'Prelude.Extras.Ord1' Exp
+-- instance 'Prelude.Extras.Show1' Exp
+-- instance 'Prelude.Extras.Read1' Exp
-- instance 'Control.Applicative.Applicative' Exp where 'Control.Applicative.pure' = V; ('<*>') = 'Control.Monad.ap'
-- @
--

0 comments on commit ec269e9

Please sign in to comment.