Nicholls, Mark wrote:
Hello, I wonder if someone could answer the following…
The short question is what does @ mean in
mulNat a b
| a = b = mulNat' a b b
| otherwise = mulNat' b a a
where
mulNat' x@(S a) y orig
| x == one = y
ChrisK [EMAIL PROTECTED] wrote:
zeroNothing Nothing = Nothing
zeroNothing (Just n) =
if n == 0 then Nothing else (Just n)
versus
zeroNothing Nothing = Nothing
zeroNothing x@(Just n) =
if n == 0 then Nothing else x
versus
zeroNothing Nothing = Nothing
zeroNothing x =
let
Achim Schneider wrote:
ChrisK [EMAIL PROTECTED] wrote:
zeroNothing Nothing = Nothing
zeroNothing (Just n) =
if n == 0 then Nothing else (Just n)
versus
zeroNothing Nothing = Nothing
zeroNothing x@(Just n) =
if n == 0 then Nothing else x
versus
zeroNothing Nothing = Nothing
Ben Franksen [EMAIL PROTECTED] wrote:
Achim Schneider wrote:
ChrisK [EMAIL PROTECTED] wrote:
zeroNothing Nothing = Nothing
zeroNothing (Just n) =
if n == 0 then Nothing else (Just n)
versus
zeroNothing Nothing = Nothing
zeroNothing x@(Just n) =
if n == 0 then Nothing else x