blob: 52899930beeb54414132dedaf949164e98039ece (
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
|
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
module T11768 where
class C a b
class D a
newtype DWrapper a = DWrap a
instance D (DWrapper a)
data Foo = Foo
deriving Eq -- ^ Documenting a single type
data Bar = Bar
deriving ( Eq -- ^ Documenting one of multiple types
, Ord
)
deriving anyclass ( forall a. C a {- ^ Documenting forall type -} )
deriving D {- ^ Documenting deriving via -} via DWrapper Bar
-- | Documenting a standalone deriving instance
deriving instance Read Bar
|