Add hyperlinks to PDF/HTML documentation; closes #17342
[ghc.git] / testsuite / tests / typecheck / should_compile / T10564.hs
1 {-# LANGUAGE FlexibleInstances, FlexibleContexts, UndecidableInstances,
2 DataKinds, TypeFamilies, KindSignatures, PolyKinds, FunctionalDependencies #-}
3 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
4
5 module T10564 where
6
7 import Data.Kind (Type)
8
9 class HasFieldM (l :: k) r (v :: Maybe Type)
10 | l r -> v
11
12 class HasFieldM1 (b :: Maybe [Type]) (l :: k) r v
13 | b l r -> v
14
15 class HMemberM (e1 :: k) (l :: [k]) (r :: Maybe [k])
16 | e1 l -> r
17
18 data Label a
19 type family LabelsOf (a :: [Type]) :: [Type]
20
21 instance (HMemberM (Label (l::k)) (LabelsOf xs) b,
22 HasFieldM1 b l (r xs) v)
23 => HasFieldM l (r xs) v where