Library browser
Show implementation
Core libraries
⊞
ABCInterpreter
i
⊞
ABC
⊞
Interpreter
⊞
JavaScript
Monad
Internal
JavaScript
Util
Interpreter
⊞
ArgEnv
i
ArgEnv
printenv
⊞
Dynamics
i
StdCleanTypes
StdDynamic
_SystemDynamic
⊞
Gast
i
⊞
ESMVizTool
ESMSpec
GraphvizVisualization
⊞
Gast
CommandLine
ConfSM
Gen
GenLibTest
StdProperty
Testable
ThunkNames
ESMVizTool
Gast
⊞
GraphCopy
i
dynamic_string
graph_copy
graph_copy_with_names
graph_to_sapl_string
graph_to_string_and_descriptors
sapldebug
symbols_in_program
⊞
iTasks
i
⊞
iTasks
⊞
Extensions
⊞
Admin
ServerAdmin
StoreAdmin
UserAdmin
WorkflowAdmin
⊞
Database
StoreDatabase
⊞
DateTime
Gast
⊞
Development
Codebase
Testing
Tools
⊞
Device
Camera
Features
Location
_Common
⊞
Editors
Ace
DynamicEditor
Select2
⊞
Form
Pikaday
⊞
GIS
Leaflet
LeafletNavalIcons
⊞
Picture
JPEG
⊞
SVG
SVGEditor
Clock
Collection
Contact
CSVFile
Currency
Dashboard
DateTime
Document
Email
EmailAddress
FileCollection
FileDialog
Files
Image
JavaScript
JSONFile
Platform
Process
ScaledEditor
SQLDatabase
Terminal
TextFile
User
Web
⊞
Internal
⊞
Distributed
Domain
Formatter
⊞
Generic
Defaults
Visualization
⊞
Test
Stubs
AsyncSDS
AsyncTask
DynamicUtil
EngineTasks
HtmlUtil
HttpUtil
IWorld
RemoteAccess
SDS
SDSService
Serialization
Store
Task
TaskEval
TaskIO
TaskServer
TaskState
Util
WebService
⊞
SDS
⊞
Combinators
Common
Core
⊞
Sources
Core
Store
System
Definition
⊞
Testing
⊞
Selenium
Gast
Interface
Interactive
Selenium
Unit
⊞
UI
⊞
Editor
Common
Containers
Controls
Generic
Modifiers
⊞
Layout
BasicForms
Common
Default
Minimal
StandardForms
Definition
Editor
Layout
Tune
⊞
Util
DeferredJSON
Trace
⊞
WF
⊞
Combinators
Common
Core
SDS
⊞
Tasks
Core
Interaction
IO
SDS
System
Definition
Derives
Engine
Testing
iTasks
⊞
ObjectIO
i
⊞
OS Linux
clCCall_12
clCrossCall_12
clipboardCrossCall_12
menuCCall_12
menuCrossCall_12
menuevent
menuwindowmenu
osactivaterequests
osbeep
osbitmap
osclipboard
osdocumentinterface
osevent
osfileselect
osfont
osguishare
oskey
osmenu
osmouse
ospicture
osprint
osrgn
ossystem
ostick
ostime
ostoolbar
ostoolbox
ostooltip
ostypes
oswindow
pictCCall_12
processevent
receiverevent
rgnCCall
rgnCCall_12
timerevent
windowCCall_12
windowCrossCall_12
windowevent
⊞
OS Mac Carbon
controlclip
controlkeyfocus
controlmousedown
controlmousedown1
inputtracking
keyboardevent
memoryaccess
menuevent
menuwindowmenu
mouseevent
osactivaterequests
osbeep
osbitmap
osclipboard
osdirectory
osdocumentinterface
osevent
osfileselect
osfont
osguishare
oskey
osmenu
osmouse
ospicture
osprint
osrgn
ossystem
ostick
ostime
ostoolbar
ostoolbox
ostooltip
ostypes
osutil
oswindow
processevent
receiverevent
scrapaccess
texteditaccess
timerevent
windowcursor
windowevent
windowkeyio
⊞
OS Windows
clCCall_12
clCrossCall_12
clipboardCrossCall_12
menuCCall_12
menuCrossCall_12
menuevent
menuwindowmenu
osactivaterequests
osbeep
osbitmap
osclipboard
osdocumentinterface
osevent
osfileselect
osfont
osguishare
oskey
osmenu
osmouse
ospicture
osprint
osrgn
ossystem
ostick
ostime
ostoolbar
ostoolbox
ostooltip
ostypes
oswindow
pictCCall_12
processevent
receiverevent
rgnCCall
rgnCCall_12
timerevent
windowCCall_12
windowCrossCall_12
windowevent
cast
commondef
controlaccess
controlcreate
controldefaccess
controldraw
controlinternal
controllayout
controlpos
controlrelayout
controlresize
controlvalidate
device
deviceevents
devicefunctions
devicesystemstate
id
iostate
keyfocus
layout
menuaccess
menucreate
menudefaccess
menudevice
menuhandle
menuinternal
menuitems
mstate
processdevice
processhandle
processstack
receiveraccess
receiverdefaccess
receiverdevice
receiverhandle
receiverid
receivermessage
receivertable
relayout
roundrobin
scheduler
sdisize
semidynamic
StdBitmap
StdClipboard
StdControl
StdControlAttribute
StdControlClass
StdControlDef
StdControlReceiver
StdFileSelect
StdId
StdIO
StdIOBasic
StdIOCommon
StdKey
StdMenu
StdMenuAttribute
StdMenuDef
StdMenuElement
StdMenuElementClass
StdMenuReceiver
StdPicture
StdPictureDef
StdPrint
StdPrintText
StdProcess
StdProcessAttribute
StdProcessDef
StdPSt
StdPStClass
StdReceiver
StdReceiverAttribute
StdReceiverDef
StdSound
StdSystem
StdTime
StdTimer
StdTimerAttribute
StdTimerDef
StdTimerElementClass
StdTimerReceiver
StdWindow
StdWindowAttribute
StdWindowDef
systemid
timeraccess
timerdefaccess
timerdevice
timerhandle
timertable
toolbar
windowaccess
windowclipstate
windowcontrols
windowcreate
windowdefaccess
windowdevice
windowdispose
windowdraw
windowhandle
windowupdate
windowvalidate
world
wstate
wstateaccess
⊞
Platform
i
⊞
Clean
⊞
Parse
Comments
ModuleName
⊞
PrettyPrint
Common
Definition
Expression
Util
⊞
Types
CoclTransform
Parse
Tree
Unify
Util
Doc
ModuleFinder
Parse
PrettyPrint
Types
⊞
Codec
⊞
Archive
Tar
⊞
Compression
⊞
Snappy
Graph
Snappy
⊞
Control
⊞
Monad
Fail
Fix
Identity
Reader
RWST
State
Trans
Writer
Applicative
Arrow
Category
GenBimap
GenFMap
GenHylo
GenMap
GenMapSt
GenMonad
GenReduce
Monad
⊞
Crypto
⊞
Hash
MD5
SHA1
⊞
Data
⊞
Either
GenJSON
Ord
⊞
Encoding
GenBinary
RunLength
⊞
Error
GenJSON
⊞
Functor
Identity
⊞
Graph
⊞
Inductive
⊞
Internal
Queue
RootPath
Thread
⊞
Query
BFS
MaxFlow
Basic
Graph
Monad
NodeMap
PatriciaTree
Query
Inductive
⊞
Integer
Add
Div
GenJSON
Mul
ToInteger
ToString
⊞
IntMap
Base
Strict
⊞
IntSet
Base
⊞
Map
GenJSON
⊞
Maybe
Gast
GenBinary
GenDefault
GenFDomain
GenPrint
Ord
⊞
Set
Gast
GenJSON
Array
Bifunctor
CircularStack
Complex
Data
Dynamic
Either
Eq
Error
Foldable
Func
Functor
GenCons
GenDefault
GenDiff
GenEq
Generics
GenFDomain
GenHash
GenLexOrd
GenZip
Graph
Graphviz
Heap
Int
Integer
IntSet
List
Map
MapCollection
Matrix
Maybe
Monoid
NGramIndex
OrdList
Queue
Real
Set
SetBy
Stack
Traversable
Tree
Tuple
Word8
_Array
⊞
Database
⊞
Native
JSON
⊞
SQL
MySQL
RelationalMapping
SQLite
_MySQL
_SQLite
Native
SQL
⊞
Debug
Performance
Trace
⊞
Deprecated
⊞
ArgEnv
ArgEnv
⊞
Generics
GenBimap
GenCompress
GenDefault
GenEq
GenFMap
GenHylo
GenLexOrd
GenLib
GenMap
GenMapSt
GenMonad
GenParse
GenPrint
GenReduce
GenZip
_Array
⊞
MersenneTwister
MersenneTwister
⊞
StdLib
StdArrayExtensions
StdLib
StdLibMisc
StdListExtensions
⊞
Graphics
⊞
Scalable
⊞
Internal
Image`
Types
Extensions
Image
Types
⊞
Internet
⊞
HTTP
CGI
HTTP
IRC
⊞
Math
Geometry
Random
⊞
Message
⊞
Encodings
AIS
Kafka
_Kafka
⊞
Network
IP
_IP
⊞
System
⊞
Socket
Ipv4
Ipv6
Unix
⊞
Time
GenJSON
CommandLine
Directory
Environment
File
FilePath
GetOpt
IO
Options
OS
OSError
Process
Signal
Socket
Time
TTS
_Architecture
_CopyFile
_Directory
_Environment
_File
_FilePath
_Finalized
_Linux
_OSError
_Pointer
_Posix
_Process
_ProcessControl
_Signal
_Socket
_Time
_TTS
_Unsafe
⊞
Testing
Options
TestEvents
⊞
Text
⊞
Encodings
Base64
MIME
UrlEncoding
⊞
GenXML
Gast
GenPrint
⊞
HTML
GenJSON
⊞
Parsers
⊞
CParsers
ParserCombinators
⊞
Simple
Chars
Core
ParserCombinators
⊞
ZParsers
⊞
Test
ParsersTestware
ParserLanguage
Parsers
ParsersAccessories
ParsersDerived
ParsersKernel
⊞
Terminal
VT100
⊞
Unicode
⊞
Encodings
JS
UTF8
UChar
CSV
GenJSON
GenParse
GenPrint
GenXML
HTML
Language
LaTeX
PPrint
Show
StringAppender
Unicode
URI
Text
⊞
StdEnv
i
⊞
StdEnv 64 Changed Files
StdFile
StdReal
StdString
_SystemStrictLists
_SystemStrictMaybes
StdArray
StdBool
StdChar
StdCharList
StdClass
StdDebug
StdEnum
StdEnv
StdFile
StdFile_solaris
StdFunc
StdFunctions
StdGeneric
StdInt
StdList
StdMaybe
StdMisc
StdOrdList
StdOverloaded
StdOverloadedList
StdReal
StdStrictLists
StdString
StdTuple
_SystemArray
_SystemEnum
_SystemEnumStrict
_SystemStrictLists
_SystemStrictMaybes
⊞
TCPIP
i
ostcp
tcp
TCPChannelClass
TCPChannels
TCPDef
TCPEvent
TCPIP
TCPStringChannels
TCPStringChannelsInternal
tcp_bytestreams
Peripheral libraries
⊞
CleanSerial
i
⊞
CleanSerial
iTasks
CleanSerial
⊞
clean-selectloop
i
⊞
TCPServer
Connection
HTTP
Listener
TCPServer
⊞
Cloogle
i
⊞
Clean
Idents
⊞
Cloogle
⊞
DB
Factory
⊞
Search
Rank
DB
Search
⊞
Directory
i
Directory
⊞
iTasks-electron
i
⊞
Electron
App
Debug
Dialog
Menu
Util
⊞
libcloogle
i
⊞
Cloogle
API
Client
⊞
Regex
i
⊞
Regex
Parse
Print
Util
example
re
Regex
test
⊞
StdLib
i
StdArrayExtensions
StdLib
StdLibMisc
StdListExtensions
Applications
⊞
clean-doc
i
⊞
Clean
⊞
Doc
⊞
ModuleCollection
HTML
Index
ModuleCollection
cleandoc
⊞
clean-ide
i
⊞
BatchBuild
BatchBuild
errwin
IdeState
interrupt
messwin
PmCallBack
PmDialogues
projwin
typeatt
typewin
⊞
cpm
⊞
Posix
CpmPaths
⊞
Windows
CpmPaths
AbsSyn
Cpm
CpmLogic
Parser
⊞
Ed
EdAction
EdActionType
EdFile
EdFind
EdKeyboard
EdKeyMapping
EdLineText
EdLook
EdMessage
EdMonad
EdMouse
EdMovement
EdPosition
EdSelection
EdState
EdTab
EdText
EdVisualCursor
EdVisualLineNr
EdVisualText
EdWindow
syncol
⊞
Editor
EdClient
EdCommon
EdEditMenu
EdFileMenu
EdOptionsMenu
Main
⊞
HeapProfile
⊞
Mac
heap_profile_os_dependent
⊞
Windows
heap_profile_os_dependent
heapprofiler
ShowHeapProfile
⊞
Ide
balance
clipboard
colourclip
conswin
EdClient
EdCommon
edfiles
edoptions
errwin
fbi
finder
IDE
idehelp
ideoptions
IdeState
interrupt
menubar
messwin
PmCallBack
PmDialogues
prefix
projmen
projwin
search
searchtree
shift
targetui
tooltip
treeparse
typeatt
typewin
UtilInterrupt
⊞
Interfaces
⊞
LinkerInterface
linkargs
WriteOptionsFile
⊞
ProverOptions
ProverOptions
⊞
Mac
ConvertMWObject
dodebug
IdePlatform
linker
linker2
linker3
linker_resources
mach_o_linker
mach_o_linker2
nodebug
Platform
PlatformObjectIO
PmCleanSystem
tools
UtilIO
UtilNewlinesFile
UtilObjectIO
xcoff_linker
⊞
MacOSX
Platform
PmCleanSystem
set_return_code
UtilIO
UtilNewlinesFile
⊞
Pm
PmAbcMagic
PmCompilerOptions
PmDirCache
PmDriver
PmEnvironment
PmFileInfo
PmFiles
PmParse
PmPath
PmPrefs
PmProject
PmTypes
⊞
Registry
change_registry
first_run
registry
version
⊞
TimeProfile
⊞
Mac
time_profile_os_dependent
⊞
Windows
time_profile_os_dependent
ShowProfile
timeprofiler
⊞
Unix
⊞
Arm
Platform
⊞
Intel
Platform
PmCleanSystem
set_return_code
UtilIO
UtilNewlinesFile
⊞
Util
AltFileSelect
colorpickcontrol
DodoUtil
expand_8_3_names_in_path
ExtListBox
ExtNotice
filehist
FilteredListBox
flexbar
flextextcontrol
flexwin
FontEnv
fpu
framecontrol
Help
ioutil
logfile
morecontrols
StateMonad
StdError
StdListBox
StdParsComb
StdPathname
StdRegExp
StrictList
tabcontrol
Table
textcharstream
UtilDate
UtilDiagnostics
UtilOptions
UtilPatch
UtilSequence
UtilStrictLists
wraptextcontrol
wraptextcontrolalt
⊞
Win
⊞
PatchConsoleEvents
deviceevents
osbitmap
processdevice
processevent
StdIOCommon
StdProcessAttribute
asynclaunch
dodebug
IdePlatform
lib
Platform
PlatformObjectIO
PmCleanSystem
set_return_code
thread_message
tools
UtilIO
UtilNewlinesFile
UtilObjectIO
xcoff
⊞
clean-test
i
⊞
Testing
JUnitExport
Util
⊞
Util
ProcessOutput
cleantest
⊞
clean-test-properties
i
cocl_helper
testproperties
⊞
compiler
i
⊞
backend
backend
backendconvert
backendinterface
backendpreprocess
backendsupport
⊞
frontend
analtypes
analunitypes
check
checkFunctionBodies
checkgenerics
checksupport
checktypes
check_instances
classify
comparedefimp
compare_constructor
compare_types
compilerSwitches
containers
convertcases
convertDynamics
convertimportedtypes
coredump
expand_types
explicitimports
frontend
general
generics1
genericsupport
hashtable
Heap
IndexType
main
mergecases
overloading
parse
partition
portToNewSyntax
postparse
predef
refmark
scanner
syntax
trans
transform
type
typeproperties
typereify
typesupport
type_io
type_io_common
unitype
unsafe_heap
utilities
_aconcat
⊞
main
⊞
Mac
cache_variable
Clean2AppleEventHandler
CoclSystemDependent
DirectorySeparator
docommand
⊞
Mac cli
CoclSystemDependent
DirectorySeparator
ipc
set_return_code
⊞
Unix
CoclSystemDependent
DirectorySeparator
ipc
set_return_code
⊞
Windows
CoclSystemDependent
DirectorySeparator
set_return_code
thread_message
CleanCocl
CleanCompiler2
cocl
coclmain
compile
filesystem
Version
⊞
convertprofile
i
Callgrind
convertprofile
HTML
PGCL
⊞
SoccerFun
i
⊞
Game
Football
Footballer
FootballerFunctions
GamePicture
Geometry
matchControl
matchGame
matchLog
randomstream
Referee
Team
⊞
Gui
digitdisplay
Gui2D
guiInterface
render
renderGameFixCamera
renderGameFlatlandish
textdisplay
⊞
StdLibExt
fileIO
RandomExt
RangeSlider
StdEnvExt
StdIOExt
⊞
StdReferee
NoReferee
RefereeCoach_DeepPass_Assignment
RefereeCoach_Keeper_Assignment
RefereeCoach_Passing_Assignment
RefereeCoach_Rounds_Assignment
RefereeCoach_Slalom_Assignment
RefereeFunctions
Umpire
⊞
StdTeam
Buffer
KeeperChallenger
TeamMiniEffie
Team_Opponent_DeepPass_Assignment
Team_Opponent_Keeper_Assignment
Team_Opponent_Passing_Assignment
Team_Opponent_Slalom_Assignment
Team_Student_DeepPass_Assignment
Team_Student_Keeper_Assignment
Team_Student_Passing_Assignment
Team_Student_Rounds_Assignment
Team_Student_Slalom_Assignment
SoccerFun
Select a module on the left.