Documentation

class Typeable a => Deliverable a whereSource

The main class which abstracts over delivery of datatype to somewhere in the file system. It also abstracts over construction. Due to some weirdity w.r.t. Hint, this, and all instancing datatypes, must derive Typeable. A bit of boilerplate, but deriving generally handles it easily.

Methods

deliverIO :: a -> IO ()Source

construct :: Email -> Path -> aSource

Instances

Deliverable MaildirEmail
Deliverable FlatEmail

data DEMail Source

Constructors

DE
Fields email :: Email path :: Path

Instances

Eq DEMail
Show DEMail
Typeable DEMail

newtype FlatEmail Source

Constructors

Flat DEMail

Instances

Eq FlatEmail
Show FlatEmail
Typeable FlatEmail
Deliverable FlatEmail

newtype MaildirEmail Source

Constructors

MD DEMail

Instances

Eq MaildirEmail
Show MaildirEmail
Typeable MaildirEmail
Deliverable MaildirEmail

getDeliveryPath :: DEMail -> FilePath Source

data ToDelivery whereSource

Constructors

Wrap :: Deliverable a => a -> ToDelivery

Instances

Typeable ToDelivery

delivery :: ToDelivery -> IO ()Source