Web.Routing.SafeRouting

Documentation

data RouteHandle m a

Constructors

forall as . RouteHandle (Path as) (HVectElim as (m a))

newtype HVectElim' x ts

Constructors

HVectElim'

Fields

flipHVectElim :: HVectElim ts x

data SafeRouter m a

Constructors

SafeRouter

Instances

AbstractRouter (SafeRouter m a)

data Registry (SafeRouter m a) = SafeRouterReg (PathMap (m a), [[Text] -> m a])

data RoutePath (SafeRouter m a) = SafeRouterPath (Path xs)

type RouteAction (SafeRouter m a) = HVectElim' (m a)

type RouteAppliedAction (SafeRouter m a) = m a

data Path as where

Constructors

Empty :: Path []

StaticCons :: Text -> Path as -> Path as

VarCons :: (PathPiece a, Typeable a) => Path as -> Path (a : as)

Instances

(~) [*] a ([] *) => IsString (Path a)

pathToRep :: Path as -> Rep as

data PathMap x

Constructors

PathMap

Fields

pm_here :: [x]

pm_staticMap :: HashMap Text (PathMap x)

pm_polyMap :: PolyMap PathPiece PathMap x

Instances

Alternative PathMap

Functor PathMap

Applicative PathMap

Monoid (PathMap x)

NFData x => NFData (PathMap x)

emptyPathMap :: PathMap x

insertPathMap' :: Path ts -> (HVect ts -> x) -> PathMap x -> PathMap x

singleton :: Path ts -> HVectElim ts x -> PathMap x

insertPathMap :: RouteHandle m a -> PathMap (m a) -> PathMap (m a)

match :: PathMap x -> [Text] -> [x]

var :: (Typeable a, PathPiece a) => Path (a : [])

A route parameter

type Var a = Path (a : [])

static :: String -> Path []

A static route piece

root :: Path []

The root of a path piece. Use to define a handler for "/"

(</>) :: Path as -> Path bs -> Path (Append as bs)

renderRoute :: Path as -> HVect as -> Text

renderRoute' :: Path as -> HVect as -> [Text]

parse :: Path as -> [Text] -> Maybe (HVect as)