Redact.Monad.Handle

MonadHandle

class Monad m => MonadHandle m where

Handle I/O

Since: 0.4.0.0

Methods

hGetLine :: Handle -> m Text

Read a single line from a handle

hIsEOF :: Handle -> m Bool

Check if a handle has more content

withFile :: Typeable r => FilePath -> IOMode -> (Handle -> m r) -> m (Either IOError r)

Open a file and perform an action on its handle

Instances

MonadHandle IO

Defined in Redact.Monad.Handle

Methods

hGetLine :: Handle -> IO Text

hIsEOF :: Handle -> IO Bool

withFile :: Typeable r => FilePath -> IOMode -> (Handle -> IO r) -> IO (Either IOError r)

Internal

handleToTerminal

Arguments

:: forall m s. (MonadHandle m, MonadTerminal m)

=> (s -> Text -> Either String (Line, s))

step function

-> (s -> Maybe String)

end function

-> s

initial state

-> [SGR]

SGRs for redacted text

-> Handle

-> m (Either Error ())

Redact text from a Handle strictly, putting it to the terminal

handleToTerminal'

Arguments

:: forall m s. (MonadHandle m, MonadTerminal m)

=> (s -> Text -> (Line, s))

step function

-> s

initial state

-> [SGR]

SGRs for redacted text

-> Handle

-> m ()

Redact text from a Handle leniently, putting it to the terminal

fileToTerminal

Arguments

:: (MonadHandle m, MonadTerminal m)

=> (s -> Text -> Either String (Line, s))

step function

-> (s -> Maybe String)

end function

-> s

initial state

-> [SGR]

SGRs for redacted text

-> FilePath

-> m (Either Error ())

Redact text from a file strictly, putting it to the terminal

fileToTerminal'

Arguments

:: (MonadHandle m, MonadTerminal m)

=> (s -> Text -> (Line, s))

step function

-> s

initial state

-> [SGR]

SGRs for redacted text

-> FilePath

-> m (Either Error ())

Redact text from a file leniently, putting it to the terminal