Control.Monad.Apiary

Documentation

data ApiaryT c m a

Instances

Monad (ApiaryT c m)

Functor (ApiaryT c m)

Applicative (ApiaryT c m)

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

getter

apiaryConfig :: ApiaryT c m ApiaryConfig

execute action

action :: Monad m => Fn c (ActionT m ()) -> ApiaryT c m ()

action_ :: Monad m => ActionT m () -> ApiaryT c m ()

Singletons

data SList as where

Constructors

SNil :: SList []

SCons :: a -> SList xs -> SList (a : xs)

type family Fn as r

Instances

type Fn ([] *) r = r

type Fn ((:) * x xs) r = x -> Fn xs r

type family Snoc as a :: [*]

Instances

type Snoc ([] *) a = (:) * a ([] *)

type Snoc ((:) * x xs) a = (:) * x (Snoc xs a)

sSnoc :: SList as -> a -> SList (Snoc as a)

Reexport

module Control.Monad.Apiary.Filter