html-test/src/DefaultAssociatedTypes.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE DefaultSignatures, TypeFamilies #-}

module DefaultAssociatedTypes where

-- | Documentation for Foo.
class Foo a where
  -- | Documentation for bar and baz.
  bar, baz :: a -> String

  -- | Doc for Qux
  type Qux a :: *

  -- | Doc for default Qux
  type Qux a = [a]