CurryInfo: stylechecker-2.0.0 / Check.AST.Indent.Header.checkExportLines

definition: Info
 
checkExportLines :: ExportSpec -> Bool
checkExportLines es = case es of 
  (Exporting (SpanInfo _ sp@((Span (Position _ c) _):_)) _) -> checkAlign $ c:(getListOfNewLineStart(sp))
  _ -> False
 where
  checkAlign :: [Int] -> Bool
  checkAlign []         = True
  checkAlign (_:[])     = True
  checkAlign (i1:i2:is) = (i1==i2) && (checkAlign (i2:is))
demand: Info
 argument 1
deterministic: Info
 deterministic operation
documentation: Info
 
 -- Checks if lines are aligned.
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({Exporting}) |-> _}
name: Info
 checkExportLines
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 Curry.Types.ExportSpec -> Prelude.Bool
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 reducible on all ground data terms