Prelude

while : (test : IO' l Bool) -> (body : IO' l ()) -> IO' l ()

Loop while some test is true

test

the condition of the loop

body

the loop body

validFile : File -> IO Bool

Check whether a file handle is actually a null pointer

uncurry : (a -> b -> c) -> (a, b) -> c

stdout : File

Standard output

stdin : File

Standard input

stderr : File

Standard output

showLitString : List Char -> String -> String

showLitChar : Char -> String -> String

readFile : String -> IO String

Read the contents of a file into a string

putStrLn : String -> IO' ffi ()

Output a string to stdout with a trailing newline

putStr : String -> IO' ffi ()

Output a string to stdout without a trailing newline

putCharLn : Char -> IO ()

Write a singel character to stdout, with a trailing newline

putChar : Char -> IO ()

Write a single character to stdout

protectEsc : (Char -> Bool) -> String -> String -> String

printLn : Show a => a -> IO' ffi ()

Output something showable to stdout, with a trailing newline

print : Show a => a -> IO' ffi ()

Output something showable to stdout, without a trailing newline

pow : Num a => a -> Nat -> a

popen : String -> Mode -> IO File

pclose : File -> IO ()

openFile : (f : String) -> (m : Mode) -> IO File

Open a file

f

the filename

m

the mode

nullStr : String -> IO Bool

Check if a supposed string was actually a null pointer

nullPtr : Ptr -> IO Bool

Check if a foreign pointer is null

natRange : Nat -> List Nat

natEnumFromTo : Nat -> Nat -> List Nat

natEnumFromThenTo : Nat -> Nat -> Nat -> List Nat

natEnumFromThen : Nat -> Nat -> Stream Nat

getLine : IO' ffi String

Read one line of input from stdin, without the trailing newline

getChar : IO Char

Read a single character from stdin

fwrite : File -> String -> IO ()

fread : File -> IO' l String

fpoll : File -> IO Bool

fopen : (f : String) -> (m : String) -> IO File

Open a file

f

the filename

m

the mode as a String ("r", "w", or "r+")

firstCharIs : (Char -> Bool) -> String -> Bool

fgetc' : File -> IO (Maybe Char)

fgetc : File -> IO Char

fflush : File -> IO ()

ferror : File -> IO Bool

feof : File -> IO Bool

Check if a file handle has reached the end

eqPtr : Ptr -> Ptr -> IO Bool

Pointer equality

do_popen : String -> String -> IO Ptr

do_fwrite : Ptr -> String -> IO ()

do_fread : Ptr -> IO' l String

do_fopen : String -> String -> IO Ptr

Call the RTS's file opening function

do_ferror : Ptr -> IO Int

do_feof : Ptr -> IO Int

do_fclose : Ptr -> IO ()

default#succ : Enum a => a -> a

default#enumFromTo : Enum a => a -> a -> List a

default#enumFromThenTo : Enum a => a -> a -> a -> List a

default#enumFromThen : Enum a => a -> a -> Stream a

default#enumFrom : Enum a => a -> Stream a

decAsBool : Dec p -> Bool

curry : ((a, b) -> c) -> a -> b -> c

closeFile : File -> IO ()

class Show 

show : Show a => a -> String

data Mode : Type

Modes for opening files

Read : Mode

Write : Mode

ReadWrite : Mode

data File : Type

A file handle

FHandle : Ptr -> File

class Enum 

pred : Enum a => a -> a

succ : Enum a => a -> a

toNat : Enum a => a -> Nat

fromNat : Enum a => Nat -> a

enumFrom : Enum a => a -> Stream a

enumFromThen : Enum a => a -> a -> Stream a

enumFromTo : Enum a => a -> a -> List a

enumFromThenTo : Enum a => a -> a -> a -> List a