blob: 52d68a96091fc4cce2ec4ba7be13f8c30480c4da (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE DefaultSignatures #-}
module DefaultSignatures where
-- | Documentation for Foo.
class Foo a where
-- | Documentation for bar and baz.
bar, baz :: a -> String
-- | Documentation for the default signature of bar.
default bar :: Show a => a -> String
bar = show
-- | Documentation for baz'.
baz' :: String -> a
-- | Documentation for the default signature of baz'.
default baz' :: Read a => String -> a
baz' = read
|
