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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76

module Check.AST.Indent.Instance where

import List (last)

import Curry.SpanInfo
import Curry.Span
import Curry.Position
import Curry.Types
import Curry.Ident
import Text.Pretty

import Types

-- applies actual check on instance declaration
checkInstance :: Decl a -> Int -> CSM ()
checkInstance e i =
  case e of
    (InstanceDecl sI _ _ _ decl) -> checkInstance' sI decl i
    _                            -> return ()

-- checks formatting of instance declaration
checkInstance' :: SpanInfo -> [Decl a] -> Int -> CSM ()
checkInstance' (SpanInfo wholeSp@(Span (Position l1 c1) _ ) sps)
               []
               i = do
  let (Span _ (Position lw2 cw2)) = last sps
  unlessM (l1 == lw2) -- line position of keywords instance and where
         (report (Message (Span (Position l1 c1) (Position lw2 cw2))
                   (colorizeKey "instance declaration" <+> text "wrong formatting")
                   ( text "write"
                   <+> colorizeKey "instance"
                   <+> text "till"
                   <+> colorizeKey "where"
                   <+> text "in one line"
                   )
                 )
         )
checkInstance' (SpanInfo wholeSp@(Span (Position l1 c1) _ ) sps)
            (decl:decls)
            i = do
  let (Span _ (Position lw2 cw2)) = last sps
  if (l1 == lw2) -- line position of keywords instance and where
    then
      -- alignment of declarations of instance
      (if (checkAlign getCol (getCol (getSpanInfo decl)) decls)
         then
           (unlessM (i+2 == getCol (getSpanInfo decl)) --indentation
                    (report (Message wholeSp
                      (colorizeKey "instance body" <+> text "wrong identation")
                      ( text "indent by 2 from"
                      <+> colorizeKey "instance declaration"
                      )
                    )
           )
           )
         else
           (report (Message wholeSp
                      (colorizeKey "instance body" <+> text "not aligned")
                      ( text "align"
                      <+> colorizeKey "instance body"
                      )
                    )
           )
      )
    else
      (report (Message (Span (Position l1 c1) (Position lw2 cw2))
                 (colorizeKey "instance declaration" <+> text "wrong formatting")
                 ( text "write"
                 <+> colorizeKey "instance"
                 <+> text "till"
                 <+> colorizeKey "where"
                 <+> text "in one line"
                 )
              )
      )