Data.Apiary.Extension

Documentation

class Has a as where

Methods

getExtension :: proxy a -> Extensions as -> a

Instances

Has a as => Has a ((:) * a' as)

Has a ((:) * a as)

class Monad m => MonadExts es m | m -> es where

Methods

getExts :: m (Extensions es)

Instances

Monad m => MonadExts es (ReaderT (Extensions es) m)

Monad m => MonadExts exts (ActionT exts prms m)

Monad actM => MonadExts exts (ApiaryT exts prms actM m)

getExt :: (MonadExts es m, Has e es) => proxy e -> m e

type Middleware' = forall exts. ActionT exts `[]` IO () -> ActionT exts `[]` IO ()

class Extension e where

Minimal complete definition

Nothing

Methods

extMiddleware :: e -> Middleware

extMiddleware' :: e -> Middleware'

Instances

Extension Heroku

data Extensions es

Instances

Monad m => MonadExts es (ReaderT (Extensions es) m)

noExtension :: Monad m => Initializer m i i

initializer constructor

data Initializer m i o

Instances

Monad m => Category [*] (Initializer m)

initializer :: (Extension e, Monad m) => (Extensions es -> m e) -> Initializer m es (e : es)

type Initializer' m a = forall i. Initializer m i (a : i)

initializer' :: (Extension e, Monad m) => m e -> Initializer' m e

initializerBracket :: Extension e => (forall a. Extensions es -> (e -> m a) -> m a) -> Initializer m es (e : es)

initializerBracket' :: Extension e => (forall a. (e -> m a) -> m a) -> Initializer m es (e : es)

combine initializer

(+>) :: Monad m => Initializer m i x -> Initializer m x o -> Initializer m i o

combine two Initializer. since 0.16.0.