Toggle navigation
PAKCS
Module Check.Src
Imports
Operations
Curry Homepage
PAKCS Libraries
About CurryDoc
Exported names:
Operations:
checkSrc
Imported modules:
Prelude
Types
State
Check.Src.LineLength
Check.Src.Tabs
Check.Src.TrailingSpace
Check.Src.WhiteSpaces
Module
Check.Src
Summary of exported operations:
checkSrc
:: [(Int,String)] ->
State
CheckState
()
Exported operations:
checkSrc
:: [(Int,String)] ->
State
CheckState
()