wcard.hs revision a2b78df36b0b2ba38865f01a3dbee8965c059db4
967e5f3c25249c779575864692935627004d3f9eChristian Maederdata Boolx = Minx | Plusx
f11f713bebd8e1e623a0a4361065df256033de47Christian Maederdata Natx a = Zx | Sx a | SSx (Natx a) Boolx
967e5f3c25249c779575864692935627004d3f9eChristian Maedermap1 :: Natx Int -> (Int -> Int) -> Natx Int
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maedermap1 x = \ f -> case x of
967e5f3c25249c779575864692935627004d3f9eChristian Maeder Zx -> Sx (f 0)
89054b2b95a3f92e78324dc852f3d34704e2ca49Christian Maeder Sx n -> Sx (f n)