You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
24 lines
513 B
24 lines
513 B
-- | Example of a library file. It is also used for testing the test suites.
|
|
module Lib
|
|
(
|
|
-- * Exported functions
|
|
inc
|
|
) where
|
|
|
|
-- | Increment one 'Num' value.
|
|
--
|
|
-- >>> let answer = 42 :: Int
|
|
-- >>> let prev = answer - 1
|
|
-- >>> inc prev
|
|
-- 42
|
|
-- >>> succ . Prelude.last . Prelude.take prev . iterate inc $ 1
|
|
-- 42
|
|
--
|
|
-- Properties:
|
|
--
|
|
-- prop> succ x == inc x
|
|
-- prop> inc (negate x) == negate (pred x)
|
|
--
|
|
inc :: Num a => a -- ^ value to increment
|
|
-> a -- ^ result
|
|
inc x = x + 1
|
|
|