tutorial: replace "return" with "pure"
commit8438156c8d229f8410d8addf4cab2eec76c43dfd
authorLangston Barrett <langston.barrett@gmail.com>
dateMon 26 Sep 2016, 22:20 (10 years ago)
parent88e7bea
samples/tutorial/classes.idr+1−1
@@ -1,7 +1,7 @@
11m_add : Maybe Int -> Maybe Int -> Maybe Int
22m_add x y = do x' <- x -- Extract value from x
33 y' <- y -- Extract value from y
4− return (x' + y') -- Add them
4+ pure (x' + y') -- Add them
55
66m_add' : Maybe Int -> Maybe Int -> Maybe Int
77m_add' x y = [ x' + y' | x' <- x, y' <- y ]