Web.Routing.SafeRouting

Synopsis

• data RouteHandle m a = forall as . RouteHandle (Path as) (HListElim as (m a))
• newtype HListElim' x ts = HListElim' {
  • flipHListElim :: HListElim ts x
  }
• data SafeRouter m a = SafeRouter
• type family HListElim ts a :: *
• hListUncurry :: HListElim ts a -> HList ts -> a
• data Path as where
  • Empty :: Path `[]`
  • StaticCons :: Text -> Path as -> Path as
  • VarCons :: (PathPiece a, Typeable a) => Path as -> Path (a : as)
• data PolyMap x where
  • PMNil :: PolyMap x
  • PMCons :: (Typeable a, PathPiece a) => PathMap (a -> x) -> PolyMap x -> PolyMap x
• data Id a = Id {
  • getId :: a
  }
• castDefType :: (Typeable a, Typeable b) => (a -> c) -> Maybe (b -> c)
• insertPolyMap :: (Typeable a, PathPiece a) => Path ts -> (a -> HList ts -> x) -> PolyMap x -> PolyMap x
• lookupPolyMap :: Text -> [Text] -> PolyMap x -> [x]
• emptyPolyMap :: PolyMap x
• data PathMap x = PathMap [x] (HashMap Text (PathMap x)) (PolyMap x)
• emptyPathMap :: PathMap x
• insertPathMap' :: Path ts -> (HList ts -> x) -> PathMap 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 : `[]`)
• type Var a = Path (a : `[]`)
• static :: String -> Path `[]`
• root :: Path `[]`
• (</>) :: Path as -> Path bs -> Path (HAppendList as bs)
• renderRoute :: Path as -> HList as -> Text
• renderRoute' :: Path as -> HList as -> [Text]
• parse :: Path as -> [Text] -> Maybe (HList as)

Documentation