Payload.Guards

data Guard (name :: Symbol) a

Constructors

• Guard

type GuardFn a = Request -> Aff a

class RunGuards (guardNames :: GuardList) (guardsSpec :: Row Type) (allGuards :: Row Type) (results :: Row Type) (routeGuardSpec :: Row Type) | guardNames guardsSpec allGuards -> routeGuardSpec where

Members

• runGuards :: Guards guardNames -> GuardTypes (Record guardsSpec) -> Record allGuards -> Record results -> Request -> Result (Record routeGuardSpec)

Instances

• RunGuards GNil guardsSpec allGuards routeGuardSpec routeGuardSpec
• (IsSymbol name, Cons name guardVal guardsSpec' guardsSpec, Cons name (GuardFn guardRes) allGuards' allGuards, Cons name guardVal results newResults, Lacks name results, ToGuardVal guardRes guardVal, RunGuards rest guardsSpec allGuards newResults routeGuardSpec) => RunGuards (GCons name rest) guardsSpec allGuards results routeGuardSpec

class ToGuardVal a b  where

Members

• toGuardVal :: a -> Result b

Instances

• ToGuardVal (Either String a) a
• ToGuardVal (Either Failure a) a
• ToGuardVal a a

headers :: Request -> Aff Headers

rawRequest :: Request -> Aff Request

cookies :: Request -> Aff (Map String String)