blob: 3808e951620e53dbaacbbfabbf93873d889a9a6f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
-- | Module header
module NoExportList where
import qualified Data.List
-- * Types
--
-- $types
--
-- Actually we have only one type.
data R = R
{ fα :: () -- ^ Documentation for 'R'\'s 'fα' field.
, fβ :: ()
}
-- | A very lazy Eq instance
instance Eq R where
_r0 == _r1 = True
-- * Functions
--
-- $functions
--
-- We have them too.
add :: Int -> Int -> Int
add = (+)
|
