Safe Haskell	None
Language	Haskell2010

Control.Monad.Chain.Fs

Contents

Functions
Errors

Synopsis

Functions

with :: (FileMode mode, '[AccessError] :| err, MonadIO m) => FilePath -> IOMode -> (Handle mode -> ResultT msg err m a) -> ResultT msg err m a Source #

close :: MonadIO m => Handle mode -> ResultT msg err m () Source #

data IOMode :: * #

See openFile

Constructors

ReadMode
WriteMode
AppendMode
ReadWriteMode

Instances

Enum IOMode
Methods succ :: IOMode -> IOMode # pred :: IOMode -> IOMode # toEnum :: Int -> IOMode # fromEnum :: IOMode -> Int # enumFrom :: IOMode -> [IOMode] # enumFromThen :: IOMode -> IOMode -> [IOMode] # enumFromTo :: IOMode -> IOMode -> [IOMode] # enumFromThenTo :: IOMode -> IOMode -> IOMode -> [IOMode] #
Eq IOMode
Methods (==) :: IOMode -> IOMode -> Bool # (/=) :: IOMode -> IOMode -> Bool #
Ord IOMode
Methods compare :: IOMode -> IOMode -> Ordering # (<) :: IOMode -> IOMode -> Bool # (<=) :: IOMode -> IOMode -> Bool # (>) :: IOMode -> IOMode -> Bool # (>=) :: IOMode -> IOMode -> Bool # max :: IOMode -> IOMode -> IOMode # min :: IOMode -> IOMode -> IOMode #
Read IOMode
Methods readsPrec :: Int -> ReadS IOMode # readList :: ReadS [IOMode] # readPrec :: ReadPrec IOMode # readListPrec :: ReadPrec [IOMode] #
Show IOMode
Methods showsPrec :: Int -> IOMode -> ShowS # show :: IOMode -> String # showList :: [IOMode] -> ShowS #
Ix IOMode
Methods range :: (IOMode, IOMode) -> [IOMode] # index :: (IOMode, IOMode) -> IOMode -> Int # unsafeIndex :: (IOMode, IOMode) -> IOMode -> Int inRange :: (IOMode, IOMode) -> IOMode -> Bool # rangeSize :: (IOMode, IOMode) -> Int # unsafeRangeSize :: (IOMode, IOMode) -> Int

class FileMode mode where Source #

Minimal complete definition

open, getLine, get, put

Methods

open :: ('[AccessError] :| err, MonadIO m) => FilePath -> IOMode -> ResultT msg err m (Handle mode) Source #

getLine :: ('[OperationError, EoF] :| err, MonadIO m) => Handle mode -> ResultT msg err m mode Source #

get :: ('[OperationError] :| err, MonadIO m) => Handle mode -> ResultT msg err m mode Source #

put :: ('[OperationError] :| err, MonadIO m) => Handle mode -> mode -> ResultT msg err m () Source #

Instances

FileMode ByteString Source #
Methods open :: ((* ': AccessError) [] :\| err, MonadIO m) => FilePath -> IOMode -> ResultT msg err m (Handle ByteString) Source # getLine :: (( ': OperationError) ((* ': EoF) []) :\| err, MonadIO m) => Handle ByteString -> ResultT msg err m ByteString Source # get :: (( ': OperationError) [] :\| err, MonadIO m) => Handle ByteString -> ResultT msg err m ByteString Source # put :: (( ': OperationError) [*] :\| err, MonadIO m) => Handle ByteString -> ByteString -> ResultT msg err m () Source #
FileMode Text Source #
Methods open :: ((* ': AccessError) [] :\| err, MonadIO m) => FilePath -> IOMode -> ResultT msg err m (Handle Text) Source # getLine :: (( ': OperationError) ((* ': EoF) []) :\| err, MonadIO m) => Handle Text -> ResultT msg err m Text Source # get :: (( ': OperationError) [] :\| err, MonadIO m) => Handle Text -> ResultT msg err m Text Source # put :: (( ': OperationError) [*] :\| err, MonadIO m) => Handle Text -> Text -> ResultT msg err m () Source #

data Handle mode Source #

stdin :: Handle mode Source #

stdout :: Handle mode Source #

stderr :: Handle mode Source #

class DescriptiveError err where #

Minimal complete definition

describe

Methods

describe :: err -> String #

Instances

DescriptiveError OperationError #
Methods describe :: OperationError -> String #
DescriptiveError EoF #
Methods describe :: EoF -> String #
DescriptiveError AccessError #
Methods describe :: AccessError -> String #
DescriptiveError ConsoleError #
Methods describe :: ConsoleError -> String #

Errors

data AccessError Source #

Constructors

AlreadyInUse FilePath
DoesNotExist FilePath
AccessDeny FilePath IOMode

Instances

DescriptiveError AccessError Source #
Methods describe :: AccessError -> String #

data EoF Source #

Constructors

EoF

Instances

DescriptiveError EoF Source #
Methods describe :: EoF -> String #

data OperationError Source #

Constructors

IllegalRead
IllegalWrite
FullDevice

Instances

DescriptiveError OperationError Source #
Methods describe :: OperationError -> String #