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