git.iko.soy/Idris-dev
on fdfd99e help sign in
Idris-dev/samples/tutorial/classes.idr
10 lines 355 B history raw
1m_add : Maybe Int -> Maybe Int -> Maybe Int
2m_add x y = do x' <- x -- Extract value from x
3 y' <- y -- Extract value from y
4 return (x' + y') -- Add them
6m_add' : Maybe Int -> Maybe Int -> Maybe Int
7m_add' x y = [ x' + y' | x' <- x, y' <- y ]
9sortAndShow : (Ord a, Show a) => List a -> String
10sortAndShow xs = show (sort xs)