IdeBackendRTS

Documentation

run :: RunBufferMode -> RunBufferMode -> IO a -> IO ()

data RunBufferMode

Constructors

RunNoBuffering

RunLineBuffering (Maybe Int)

RunBlockBuffering (Maybe Int) (Maybe Int)

Instances

Read RunBufferMode

data Maybe a :: * -> *

The Maybe type encapsulates an optional value. A value of type Maybe a either contains a value of type a (represented as Just a), or it is empty (represented as Nothing). Using Maybe is a good way to deal with errors or exceptional cases without resorting to drastic measures such as error.

The Maybe type is also a monad. It is a simple kind of error monad, where all errors are represented by Nothing. A richer error monad can be built using the Either type.

Constructors

Nothing

Just a

Instances

Alternative Maybe

Monad Maybe

Functor Maybe

MonadPlus Maybe

Applicative Maybe

Eq a => Eq (Maybe a)

Ord a => Ord (Maybe a)

Read a => Read (Maybe a)

Typeable (* -> *) Maybe