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
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 |