Safe Haskell	None
Language	Haskell98

DialogueIO

Description

Haskell 1.2 Dialogue I/O

Synopsis

data Request
- = ReadFile String
- | WriteFile String String
- | AppendFile String String
- | ReadBinFile String
- | WriteBinFile String Bin
- | AppendBinFile String Bin
- | DeleteFile String
- | StatusFile String
- | ReadBinaryFile String
- | WriteBinaryFile String String
- | ReadXdgFile XdgDirectory String
- | WriteXdgFile XdgDirectory String String
- | ReadChan String
- | AppendChan String String
- | ReadBinChan String
- | AppendBinChan String Bin
- | StatusChan String
- | Echo Bool
- | GetArgs
- | GetEnv String
- | SetEnv String String
- | ReadChannels [String]
- | ReadBinChannels [String]
- | CreateProcess Dialogue
- | CreateDirectory String String
- | OpenFile String Bool
- | OpenBinFile String Bool
- | CloseFile File
- | ReadVal File
- | ReadBinVal File
- | WriteVal File Char
- | WriteBinVal File Bin
- | Sleep Double
- | ChangeDirectory String
- | GetTime
- | DeleteDirectory String
- | System String
- | ReadDirectory String
- | XCommand (XDisplay, XWId, XCommand)
- | GetAsyncInput
- | GetCpuTime
- | GetProgName
- | GetLocalTime
- | ToCalendarTime ClockTime
- | SigAction Int SigAct
- | Exit Int
- | ReadFileScattered String [Int]
- | Select [Descriptor]
- | SocketRequest SocketRequest
- | XRequest (XDisplay, XWId, XRequest)
- | ReadFileFast String
- | RenameFile String String
- | GetCurrentDirectory
- | GetModificationTime FilePath
- | GetCurrentTime
- | GetZonedTime
data Response
- = Success
- | Str String
- | Bn Bin
- | Failure IOError
- | Tag [(String, Char)]
- | BinTag [(String, Bin)]
- | StrList [String]
- | Fil File
- | Dbl Double
- | AsyncInput AsyncInput
- | SocketResponse SocketResponse
- | XResponse XResponse
- | IntResp Int
- | SelectResp [([File], [File], [Double])]
- | SigActResp SigAct
- | ClockTime ClockTime
- | CalendarTime CalendarTime
- | UTCTime UTCTime
- | ZonedTime ZonedTime
data IOError
- = WriteError String
- | ReadError String
- | SearchError String
- | FormatError String
- | OtherError String
type Dialogue = [Response] -> [Request]
data SigAct
- = SAIgnore
- | SADefault
- | SACatch (String -> Dialogue)
dialogueToIO :: Dialogue -> IO ()

Documentation

data Request Source #

Constructors

ReadFile String
WriteFile String String
AppendFile String String
ReadBinFile String
WriteBinFile String Bin
AppendBinFile String Bin
DeleteFile String
StatusFile String
ReadBinaryFile String
WriteBinaryFile String String
ReadXdgFile XdgDirectory String
WriteXdgFile XdgDirectory String String
ReadChan String
AppendChan String String
ReadBinChan String
AppendBinChan String Bin
StatusChan String
Echo Bool
GetArgs
GetEnv String
SetEnv String String
ReadChannels [String]
ReadBinChannels [String]
CreateProcess Dialogue
CreateDirectory String String
OpenFile String Bool
OpenBinFile String Bool
CloseFile File
ReadVal File
ReadBinVal File
WriteVal File Char
WriteBinVal File Bin
Sleep Double
ChangeDirectory String
GetTime
DeleteDirectory String
System String
ReadDirectory String
XCommand (XDisplay, XWId, XCommand)
GetAsyncInput
GetCpuTime
GetProgName
GetLocalTime
ToCalendarTime ClockTime
SigAction Int SigAct
Exit Int
ReadFileScattered String [Int]
Select [Descriptor]
SocketRequest SocketRequest
XRequest (XDisplay, XWId, XRequest)
ReadFileFast String
RenameFile String String
GetCurrentDirectory
GetModificationTime FilePath
GetCurrentTime
GetZonedTime

Instances

Instances details

Read Request Source #
Instance details Defined in P_IO_data Methods readsPrec :: Int -> ReadS Request # readList :: ReadS [Request] # readPrec :: ReadPrec Request # readListPrec :: ReadPrec [Request] #
Show Request Source #
Instance details Defined in P_IO_data Methods showsPrec :: Int -> Request -> ShowS # show :: Request -> String # showList :: [Request] -> ShowS #

data Response Source #

Constructors

Success
Str String
Bn Bin
Failure IOError
Tag [(String, Char)]
BinTag [(String, Bin)]
StrList [String]
Fil File
Dbl Double
AsyncInput AsyncInput
SocketResponse SocketResponse
XResponse XResponse
IntResp Int
SelectResp [([File], [File], [Double])]
SigActResp SigAct
ClockTime ClockTime
CalendarTime CalendarTime
UTCTime UTCTime
ZonedTime ZonedTime

Instances

Instances details

Read Response Source #
Instance details Defined in P_IO_data Methods readsPrec :: Int -> ReadS Response # readList :: ReadS [Response] # readPrec :: ReadPrec Response # readListPrec :: ReadPrec [Response] #
Show Response Source #
Instance details Defined in P_IO_data Methods showsPrec :: Int -> Response -> ShowS # show :: Response -> String # showList :: [Response] -> ShowS #

data IOError Source #

Constructors

WriteError String
ReadError String
SearchError String
FormatError String
OtherError String

Instances

Instances details

Read IOError Source #
Instance details Defined in P_IO_data Methods readsPrec :: Int -> ReadS IOError # readList :: ReadS [IOError] # readPrec :: ReadPrec IOError # readListPrec :: ReadPrec [IOError] #
Show IOError Source #
Instance details Defined in P_IO_data Methods showsPrec :: Int -> IOError -> ShowS # show :: IOError -> String # showList :: [IOError] -> ShowS #

type Dialogue = [Response] -> [Request] Source #

data SigAct Source #

Constructors

SAIgnore
SADefault
SACatch (String -> Dialogue)

Instances

Instances details

Read SigAct Source #
Instance details Defined in P_IO_data Methods readsPrec :: Int -> ReadS SigAct # readList :: ReadS [SigAct] # readPrec :: ReadPrec SigAct # readListPrec :: ReadPrec [SigAct] #
Show SigAct Source #
Instance details Defined in P_IO_data Methods showsPrec :: Int -> SigAct -> ShowS # show :: SigAct -> String # showList :: [SigAct] -> ShowS #

dialogueToIO :: Dialogue -> IO () Source #

Included just to illustrate that it is possible to convert a Dialogue IO function to a monadic IO function. The implementation relies on getChanContents to construct the lazy list of responses needed by the dialogue IO function.