Re: [Haskell-cafe] Uniplate and rewriting with different types

2013-01-29 Thread Neil Mitchell
Hi Chris, With the following type, and transformation functions: data Odd = OddOne Even | OddZero Even deriving (Data,Typeable,Show) data Even = EvenOne Odd | EvenZero Odd | Nil deriving (Data,Typeable,Show) t1,t2,t3 :: Even - Maybe Even But if one of the

[Haskell-cafe] Uniplate and rewriting with different types

2013-01-28 Thread Chris Mears
Hi all, I have a question about the Uniplate library, regarding rewriting with transformations that have different types. With the following type, and transformation functions: data Odd = OddOne Even | OddZero Even deriving (Data,Typeable,Show) data Even = EvenOne Odd |