Sat Dec 20 11:07:11 WET 2008 hpacheco@di.uminho.pt
* refined with HLint 0.1
{
hunk ./src/Generics/Pointless/Combinators.hs 46
-pnt x = \_ -> x
+pnt = const
hunk ./src/Generics/Pointless/Examples/Examples.hs 177
-bp n = if (odd n) then bp (n-1) else bp (n-1) + bp (div n 2)
+bp n = if odd n then bp (n-1) else bp (n-1) + bp (div n 2)
hunk ./src/Generics/Pointless/Examples/Examples.hs 200
- pi k x = case (outr x) of
+ pi k x = case outr x of
hunk ./src/Generics/Pointless/Examples/Examples.hs 220
-wrap x = x:[]
+wrap = (:[])
hunk ./src/Generics/Pointless/Examples/Examples.hs 239
-tailCata = fst . (cata (_L::[a]) (f /\ inn . (id -|- id >< snd)))
+tailCata = fst . cata (_L::[a]) (f /\ inn . (id -|- id >< snd))
hunk ./src/Generics/Pointless/Examples/Examples.hs 275
-lengthCata = cata (_L) f
+lengthCata = cata _L f
hunk ./src/Generics/Pointless/Examples/Examples.hs 303
-downtoAna = ana (_L) f
+downtoAna = ana _L f
hunk ./src/Generics/Pointless/Examples/Examples.hs 371
- where f = (([]!)!) \/ (curry (cons . (app . swap >< app) . ((fst >< id) /\ (snd >< id))))
+ where f = (([]!)!) \/ curry (cons . (app . swap >< app) . ((fst >< id) /\ (snd >< id)))
hunk ./src/Generics/Pointless/Examples/Examples.hs 442
- where f = cons . (nil /\ nil) \/ (uncurry union) . (snd /\ subsOp . swap . (wrap >< id))
+ where f = cons . (nil /\ nil) \/ uncurry union . (snd /\ subsOp . swap . (wrap >< id))
hunk ./src/Generics/Pointless/Examples/Examples.hs 478
- where g = ((id \/ id) -|- ((id \/ id) . (assocr -|- (assocr . (swap >< id) . assocl)) . (id >< cons -|- cons >< id) . (((uncurry (<)) . (fst >< fst))?) )) . coassocl . (snd -|- (((cons . fst) -|- id) . distr . (id >< out))) . distl . (out >< id)
+ where g = ((id \/ id) -|- ((id \/ id) . (assocr -|- (assocr . (swap >< id) . assocl)) . (id >< cons -|- cons >< id) . ((uncurry (<) . (fst >< fst))?) )) . coassocl . (snd -|- (((cons . fst) -|- id) . distr . (id >< out))) . distl . (out >< id)
hunk ./src/Generics/Pointless/Examples/Examples.hs 497
-multCata = cata (_L) f
+multCata = cata _L f
hunk ./src/Generics/Pointless/Examples/Examples.hs 505
- where f = true \/ (uncurry (&&)) . ((true . bang \/ (uncurry (<=)) . (id >< head)) . ((null . snd)?) >< id) . assocl . (id >< swap)
+ where f = true \/ uncurry (&&) . ((true . bang \/ uncurry (<=) . (id >< head)) . ((null . snd)?) >< id) . assocl . (id >< swap)
hunk ./src/Generics/Pointless/Examples/Examples.hs 537
- m3 = add (x3,if (a==b) then 0 else 1)
+ m3 = add (x3,if a==b then 0 else 1)
hunk ./src/Generics/Pointless/Examples/Examples.hs 550
- m3 = add (x3,if (a==b) then 0 else 1)
+ m3 = add (x3,if a==b then 0 else 1)
hunk ./src/Generics/Pointless/Examples/Examples.hs 562
- pi k x = case (outr x) of
+ pi k x = case outr x of
hunk ./src/Generics/Pointless/Examples/Examples.hs 683
- where f = (0!) \/ (succ . (uncurry max))
+ where f = (0!) \/ (succ . uncurry max)
hunk ./src/Generics/Pointless/Observe/Functors.hs 26
+import Control.Monad hiding (Functor(..))
hunk ./src/Generics/Pointless/Observe/Functors.hs 31
- typeOf _ = (mkTyCon "One") `mkTyConApp` []
+ typeOf _ = mkTyCon "One" `mkTyConApp` []
hunk ./src/Generics/Pointless/Observe/Functors.hs 45
- fmapO _ f x = f x
+ fmapO _ f = f
hunk ./src/Generics/Pointless/Observe/Functors.hs 50
- fmapO _ f x = thunk x
+ fmapO _ f = thunk
hunk ./src/Generics/Pointless/Observe/Functors.hs 57
- fmapO _ f (Left x) = fmapO (_L::Fix f) f x >>= return . Left
- fmapO _ f (Right x) = fmapO (_L::Fix g) f x >>= return . Right
+ fmapO _ f (Left x) = liftM Left (fmapO (_L::Fix f) f x)
+ fmapO _ f (Right x) = liftM Right (fmapO (_L::Fix g) f x)
hunk ./src/Generics/Pointless/Observe/Functors.hs 69
- watch _ (x::x) a = watch (_L::Fix g) (_L::Rep h x) a
- fmapO _ f x = fmapO (_L::Fix g) (fmapO (_L::Fix h) f) x
-
---w :: Fix (g:@:h) -> x -> Rep (g:@:h) x -> String
---w (_::Fix (g:@:h)) (r::x) (x) = watch (_L::Fix g) (aux x) x
--- where aux :: Rep (g:@:h) x -> Rep h x
--- aux _ = _L
+ watch _ (x::x) = watch (_L::Fix g) (_L::Rep h x)
+ fmapO _ = fmapO (_L::Fix g) . fmapO (_L::Fix h)
hunk ./src/Generics/Pointless/Observe/Functors.hs 74
-omap (_::a) f = fmapO (_L::Fix (PF a)) f
+omap (_::a) = fmapO (_L::Fix (PF a))
hunk ./src/Generics/Pointless/Observe/Functors.hs 83
- observer (FixConst a) = send "" (fmapO (_L::Fix (Const a)) thk a >>= return . FixConst)
+ observer (FixConst a) = send "" (liftM FixConst (fmapO (_L::Fix (Const a)) thk a))
hunk ./src/Generics/Pointless/Observe/Functors.hs 87
- observer (FixSum f) = send "" (fmapO (_L::Fix (PF a :+: PF b)) thk f >>= return . FixSum)
+ observer (FixSum f) = send "" (liftM FixSum (fmapO (_L::Fix (PF a :+: PF b)) thk f))
hunk ./src/Generics/Pointless/Observe/Functors.hs 91
- observer (FixProd f) = send "" (fmapO (_L::Fix (PF a :*: PF b)) thk f >>= return . FixProd)
+ observer (FixProd f) = send "" (liftM FixProd (fmapO (_L::Fix (PF a :*: PF b)) thk f))
hunk ./src/Generics/Pointless/Observe/Functors.hs 95
- observer (FixComp f) = send "" (fmapO (_L::Fix (PF a :@: PF b)) thk f >>= return . FixComp)
+ observer (FixComp f) = send "" (liftM FixComp (fmapO (_L::Fix (PF a :@: PF b)) thk f))
hunk ./src/Generics/Pointless/Observe/Functors.hs 107
- observer (Fix x) = send (watch (_L::Fix f) (_L::Fix f) x) (fmapO (_L::Fix f) thk x >>= return . Fix)
+ observer (Fix x) = send (watch (_L::Fix f) (_L::Fix f) x) (liftM Fix (fmapO (_L :: Fix f) thk x))
hunk ./src/Generics/Pointless/Observe/RecursionPatterns.hs 42
-anaO b f = hyloO b inn f
+anaO b = hyloO b inn
hunk ./src/Generics/Pointless/RecursionPatterns.hs 56
-ana b f = hylo b inn f
+ana b = hylo b inn
}