Toggle navigation
PAKCS
Module Check.Src.LineLength
Imports
Operations
Curry Homepage
PAKCS Libraries
About CurryDoc
Exported names:
Operations:
checkLineLength
Imported modules:
Prelude
Curry.Position
Curry.Span
Text.Pretty
Types
State
Module
Check.Src.LineLength
Summary of exported operations:
checkLineLength
:: (Int,String) ->
State
CheckState
()
Exported operations:
checkLineLength
:: (Int,String) ->
State
CheckState
()