| definition: |
checkInstance' :: SpanInfo -> [Decl a] -> Int -> CSM ()
checkInstance' si []_ = case si of
(SpanInfo (Span (Position l1 c1) _ ) sps) -> do
let (Span _ (Position lw2 cw2)) = last sps
unless (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"
)
)
)
_ -> return ()
checkInstance' si (decl:decls) i = case si of
(SpanInfo wholeSp@(Span (Position l1 c1) _ ) sps) -> 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
(unless (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"
)
)
)
_ -> return ()
|
| demand: |
arguments 1 2 |
| deterministic: |
deterministic operation |
| documentation: |
-- Checks formatting of instance declaration. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({SpanInfo},{[]},_) |-> _ || ({NoSpanInfo},{[]},_) |-> _ || ({SpanInfo},{:},_) |-> _ || ({NoSpanInfo},{:},_) |-> _}
|
| name: |
checkInstance' |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Curry.SpanInfo.SpanInfo -> [Curry.Types.Decl a] -> Prelude.Int -> Control.Monad.Trans.State.StateT Types.CheckState Data.Functor.Identity.Identity () |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |