Module

Plan.Trans

Package: purescript-plan
Repository: Lupino/purescript-plan

#Param Source

data Param

Constructors

Param String String

Instances

Eq Param
Ord Param

#ActionT Source

newtype ActionT m a

Instances

Newtype (ActionT m a) _
(Functor m) => Functor (ActionT m)
(Monad m) => Apply (ActionT m)
(Monad m) => Applicative (ActionT m)
(Monad m) => Bind (ActionT m)
(Monad m) => Monad (ActionT m)
MonadTrans ActionT
(MonadEff eff m) => MonadEff eff (ActionT m)
(MonadAff eff m) => MonadAff eff (ActionT m)

#params Source

params :: forall m. Monad m => ActionT m (Array Param)

#param Source

param :: forall m. Monad m => String -> ActionT m String

#Pattern Source

newtype Pattern

Constructors

Pattern (String -> Maybe (Array Param))

Instances

Newtype Pattern _

#regexPattern Source

regexPattern :: String -> Pattern

#regexPattern_ Source

regexPattern_ :: Regex -> Pattern

#paramPattern Source

paramPattern :: String -> Pattern

#RouteRef Source

newtype RouteRef m a

Instances

Newtype (RouteRef m a) _
(Monad m) => MonadAsk (RouteRef m a) (PlanT a m)

#initRouteRef Source

initRouteRef :: forall a m r. Eff (ref :: REF | r) (RouteRef m a)

#PlanT Source

newtype PlanT a m b

Instances

Newtype (PlanT a m b) _
(Functor m) => Functor (PlanT a m)
(Monad m) => Apply (PlanT a m)
(Monad m) => Applicative (PlanT a m)
(Monad m) => Bind (PlanT a m)
(Monad m) => Monad (PlanT a m)
MonadTrans (PlanT a)
(MonadEff eff m) => MonadEff eff (PlanT a m)
(MonadAff eff m) => MonadAff eff (PlanT a m)
(Monad m) => MonadAsk (RouteRef m a) (PlanT a m)

#runPlanT Source

runPlanT :: forall m b a. Monad m => RouteRef m a -> PlanT a m b -> m b

#respond Source

respond :: forall r m a. MonadEff (ref :: REF | r) m => Pattern -> ActionT m a -> PlanT a m Unit

#reply Source

reply :: forall r m a. MonadEff (ref :: REF | r) m => String -> PlanT a m (Either Error a)

Modules: Plan.Trans