git.iko.soy/Idris-dev
on master help sign in
tutorial: replace "return" with "pure"
8438156Langston Barrett
samples/tutorial/classes.idr+1−1
compare with master
unifiedsplit
@@ -1,7 +1,7 @@
1m_add : Maybe Int -> Maybe Int -> Maybe Int
1m_add : Maybe Int -> Maybe Int -> Maybe Int
2m_add x y = do x' <- x -- Extract value from x
2m_add x y = do x' <- x -- Extract value from x
3 y' <- y -- Extract value from y
3 y' <- y -- Extract value from y
4− return (x' + y') -- Add them
4+ pure (x' + y') -- Add them
5
5
6m_add' : Maybe Int -> Maybe Int -> Maybe Int
6m_add' : Maybe Int -> Maybe Int -> Maybe Int
7m_add' x y = [ x' + y' | x' <- x, y' <- y ]
7m_add' x y = [ x' + y' | x' <- x, y' <- y ]