Control.Monad.Apiary

Contents

• getter
• execute action
• Singletons
• Reexport

Synopsis

• data ApiaryT c m a
• type Apiary c = ApiaryT c IO
• runApiary :: ApiaryConfig -> Apiary [] a -> Application
• runApiaryT :: Monad m => ApiaryConfig -> (forall x. m x -> IO x) -> ApiaryT [] m a -> Application
• apiaryConfig :: ApiaryT c m ApiaryConfig
• action :: Monad m => Fn c (ActionT m ()) -> ApiaryT c m ()
• action_ :: Monad m => ActionT m () -> ApiaryT c m ()
• data SList as where
  • SNil :: SList []
  • SCons :: a -> SList xs -> SList (a : xs)
• type family Fn as r
• type family Snoc as a :: [*]
• sSnoc :: SList as -> a -> SList (Snoc as a)
• module Control.Monad.Apiary.Filter

Documentation

getter

execute action

Singletons

Reexport