Web.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 Web.Postie.Types

Settings

module Web.Postie.Settings

Address

data Address

Represents email address as local and domain parts

Instances

Eq Address

Ord Address

Show Address

Typeable Address

IsString Address

addressLocalPart :: Address -> ByteString

local part of email address

addressDomain :: Address -> ByteString

domain part of email address

toByteString :: Address -> ByteString

Formats Address to canonical string.

addrSpec :: Parser Address

Borrowed form email-validate-2.0.1. Parser for email address.

Exceptions

data UnexpectedEndOfInputException

Instances

Show UnexpectedEndOfInputException

Typeable UnexpectedEndOfInputException

Exception UnexpectedEndOfInputException

data TooMuchDataException

Instances

Show TooMuchDataException

Typeable TooMuchDataException

Exception TooMuchDataException

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

(>->)

Arguments

:: Monad 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

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