Network.Mail.Postie

Documentation

run :: Int -> Application -> IO ()

Runs server with a given application on a specified port

runSettings :: Settings -> Application -> IO ()

Runs server with a given application and settings

runSettingsSocket :: Settings -> Socket -> Application -> IO ()

Application

module Network.Mail.Postie.Types

Settings

module Network.Mail.Postie.Settings

Address

module Network.Mail.Postie.Address

Exceptions

data UnexpectedEndOfInputException

Instances

Show UnexpectedEndOfInputException

Defined in Network.Mail.Postie.Pipes

Methods

showsPrec :: Int -> UnexpectedEndOfInputException -> ShowS

show :: UnexpectedEndOfInputException -> String

showList :: [UnexpectedEndOfInputException] -> ShowS

Exception UnexpectedEndOfInputException

Defined in Network.Mail.Postie.Pipes

Methods

toException :: UnexpectedEndOfInputException -> SomeException

fromException :: SomeException -> Maybe UnexpectedEndOfInputException

displayException :: UnexpectedEndOfInputException -> String

data TooMuchDataException

Instances

Show TooMuchDataException

Defined in Network.Mail.Postie.Pipes

Methods

showsPrec :: Int -> TooMuchDataException -> ShowS

show :: TooMuchDataException -> String

showList :: [TooMuchDataException] -> ShowS

Exception TooMuchDataException

Defined in Network.Mail.Postie.Pipes

Methods

toException :: TooMuchDataException -> SomeException

fromException :: SomeException -> Maybe TooMuchDataException

displayException :: TooMuchDataException -> String

Re-exports

type Producer b = Proxy X () () b

Producers can only yield

type Consumer a = Proxy () a () X

Consumers can only await

runEffect :: Monad m => Effect m r -> m r

Run a self-contained Effect, converting it back to the base monad

(>->) infixl 7

Arguments

:: forall (m :: Type -> Type) a' a b r c' c. Functor m

=> Proxy a' a () b m r

-> Proxy () b c' c m r

-> Proxy a' a c' c m r

Pipe composition, analogous to the Unix pipe operator

(>->) :: Functor m => Producer b m r -> Consumer b   m r -> Effect       m r
(>->) :: Functor m => Producer b m r -> Pipe     b c m r -> Producer   c m r
(>->) :: Functor m => Pipe   a b m r -> Consumer b   m r -> Consumer a   m r
(>->) :: Functor m => Pipe   a b m r -> Pipe     b c m r -> Pipe     a c m r

The following diagrams show the flow of information:

   +-----------+     +-----------+                 +-------------+
   |           |     |           |                 |             |
   |           |     |           |                 |             |
a ==>    f    ==> b ==>    g    ==> c     =     a ==>  f >-> g  ==> c
   |           |     |           |                 |             |
   |     |     |     |     |     |                 |      |      |
   +-----|-----+     +-----|-----+                 +------|------+
         v                 v                              v
         r                 r                              r

For a more complete diagram including bidirectional flow, see "Pipes.Core#pull-diagram".