git.iko.soy/ormolu
on 8cb86d3 help sign in
ormolu/data/examples/declaration/rewrite-rule/basic2.hs
16 lines 430 B history raw
1{-# RULES
2"++" xs ++ ys = augment (\c n -> foldr c n xs) ys
3"concat" xs `concat` ys = augment (\c n -> foldr c n xs) ys
4 #-}
6{-# RULES
7"++" xs ++ ys = augment (\c n -> foldr c n xs) ys;
8"concat" xs `concat` ys = augment (\c n -> foldr c n xs) ys;
9"map/Double" fmap f xs = foldr (++) f xs
10 #-}
12{-# RULES
13 "fb' >\\ (Request b' fb )" forall fb' b' fb .
14 fb' >\\ (Request b' fb ) = fb' b' >>= \b -> fb' >\\ fb b;
15#-}