Source
Prelude
- foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[1, 2]
- foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
(1 : [2])
- (\ x l ->
case l of
Nothing -> Just x
_ -> l)
1
(foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[2])
- case
foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[2]
of
Nothing -> Just 1
_ -> foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[2]
- case
foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
(2 : [])
of
Nothing -> Just 1
_ -> foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[2]
- case
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
2
(foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[])
of
Nothing -> Just 1
_ -> foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[2]
- case
case
foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[]
of
Nothing -> Just 2
_ -> foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[]
of
Nothing -> Just 1
_ -> foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[2]
- case
case Nothing of
Nothing -> Just 2
_ -> foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[]
of
Nothing -> Just 1
_ -> foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[2]
- case Just 2 of
Nothing -> Just 1
_ -> foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[2]
- case Just 2 of
_ -> foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[2]
- foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[2]
- foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
(2 : [])
- (\ x l ->
case l of
Nothing -> Just x
_ -> l)
2
(foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[])
- case
foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[]
of
Nothing -> Just 2
_ -> foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[]
- case Nothing of
Nothing -> Just 2
_ -> foldr
(\ x l ->
case l of
Nothing -> Just x
_ -> l)
Nothing
[]
- Just 2