SimpleIO.SimpleIO

• Main module

SimpleIO.IO_Monad

• The IO monad
• Main interface
• Extraction
• Instances

SimpleIO.IO_Stdlib

• OCaml standard library
• Types
• Operations on int
• Strings and char
• Exceptions
• Standard channels
• File handles
• Mutable references
• Program termination
• Extraction

SimpleIO.IO_MonadFix

• MonadFix IO instance

SimpleIO.IO_String

• Strings
• String module
• Extras

SimpleIO.IO_Bytes

• Byte sequence operations

SimpleIO.IO_RawChar

• Extraction of char and string
• Conversions
• Input-output

SimpleIO.IO_Exceptions

• Exception handling

SimpleIO.IO_Random

• Pseudo-random number generators (PRNG)

SimpleIO.IO_Unix

• Interface to the Unix system

SimpleIO.IO_Sys

• System interface

SimpleIO.IO_Float

• Floating-point arithmetic

SimpleIO.IO_Unsafe

• Unsafe primitives

SimpleIO.IO_UnsafeNat

• Stdlib functions using nat instead of int

SimpleIO.IO_StdlibAxioms

• Theory for IO_Stdlib