crucible-symio-0.1: An implementation of symbolic I/O primitives for Crucible (Index)

crucible-symio-0.1: An implementation of symbolic I/O primitives for Crucible

Index

arrayToChunk	Lang.Crucible.SymIO
chunkToArray	Lang.Crucible.SymIO
closeFileHandle	Lang.Crucible.SymIO
closeFileHandle'	Lang.Crucible.SymIO
concreteFiles	Lang.Crucible.SymIO
DataChunk	Lang.Crucible.SymIO
emptyInitialFileSystemContents	Lang.Crucible.SymIO
ErrorDecodingJSON	Lang.Crucible.SymIO.Loader
evalChunk	Lang.Crucible.SymIO
FDTarget	Lang.Crucible.SymIO
fdTargetToText	Lang.Crucible.SymIO
FileHandle	Lang.Crucible.SymIO
FileHandleClosed	Lang.Crucible.SymIO
FileHandleError	Lang.Crucible.SymIO
FileHandleType	Lang.Crucible.SymIO
FileIdent	Lang.Crucible.SymIO
FileIdentError	Lang.Crucible.SymIO
FileNotFound	Lang.Crucible.SymIO
FilePointer	Lang.Crucible.SymIO
FilePointerType	Lang.Crucible.SymIO
FileRepr	Lang.Crucible.SymIO
FileSpecifiedAsSymbolicAndConcrete	Lang.Crucible.SymIO.Loader
FileSystemLoadError	Lang.Crucible.SymIO.Loader
FileSystemRepr	Lang.Crucible.SymIO
FileSystemType	Lang.Crucible.SymIO
FileTarget	Lang.Crucible.SymIO
In	Lang.Crucible.SymIO
initFS	Lang.Crucible.SymIO
InitialFileSystemContents
1 (Type/Class)	Lang.Crucible.SymIO
2 (Data Constructor)	Lang.Crucible.SymIO
invalidFileHandle	Lang.Crucible.SymIO
isHandleOpen	Lang.Crucible.SymIO
loadInitialFiles	Lang.Crucible.SymIO.Loader
mkArrayChunk	Lang.Crucible.SymIO
openFile	Lang.Crucible.SymIO
openFile'	Lang.Crucible.SymIO
Out	Lang.Crucible.SymIO
readByte	Lang.Crucible.SymIO
readByte'	Lang.Crucible.SymIO
readChunk	Lang.Crucible.SymIO
readChunk'	Lang.Crucible.SymIO
StderrTarget	Lang.Crucible.SymIO
StdinTarget	Lang.Crucible.SymIO
StdoutTarget	Lang.Crucible.SymIO
symbolicFiles	Lang.Crucible.SymIO
symIOIntrinsicTypes	Lang.Crucible.SymIO
TargetDirection	Lang.Crucible.SymIO
useStderr	Lang.Crucible.SymIO
useStdout	Lang.Crucible.SymIO
writeByte	Lang.Crucible.SymIO
writeByte'	Lang.Crucible.SymIO
writeChunk	Lang.Crucible.SymIO
writeChunk'	Lang.Crucible.SymIO