Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
iterConstructors :: Name -> Q Exp Source
DefPieces ([] (Piece *)) Source | |
SuppressUnusedWarnings (* -> TyFun CrudRoute [Piece *] -> *) PlanCrudRouteSym1 | |
SuppressUnusedWarnings (TyFun [Piece *] [*] -> *) PiecesNestedTupleSym0 Source | |
SuppressUnusedWarnings (TyFun * (TyFun CrudRoute [Piece *] -> *) -> *) PlanCrudRouteSym0 | |
(DefPieces ps, KnownSymbol s) => DefPieces ((:) (Piece *) (Static * s) ps) Source | |
(DefPieces ps, PathPiece t, Typeable * t) => DefPieces ((:) (Piece *) (Capture * t) ps) Source | |
data Sing (Piece *) where Source | |
type Apply [Piece *] CrudRoute (PlanCrudRouteSym1 l1) l0 = PlanCrudRouteSym2 l1 l0 | |
type Apply [*] [Piece *] PiecesNestedTupleSym0 l0 = PiecesNestedTupleSym1 l0 Source | |
type Apply (TyFun CrudRoute [Piece *] -> *) * PlanCrudRouteSym0 l0 = PlanCrudRouteSym1 l0 |
type StaticStarH a = a Source
type StaticStar s = StaticStarH (Static s) Source
type family PiecesNestedTuple ks :: [*] Source
PiecesNestedTuple `[]` = `[]` | |
PiecesNestedTuple (Static s : ks) = PiecesNestedTuple ks | |
PiecesNestedTuple (Capture x : ks) = x : PiecesNestedTuple ks |
type PiecesNestedTupleSym1 t = PiecesNestedTuple t Source
data PiecesNestedTupleSym0 l Source
forall arg . (KindOf (Apply PiecesNestedTupleSym0 arg) ~ KindOf (PiecesNestedTupleSym1 arg)) => PiecesNestedTupleSym0KindInference |
SuppressUnusedWarnings (TyFun [Piece *] [*] -> *) PiecesNestedTupleSym0 Source | |
type Apply [*] [Piece *] PiecesNestedTupleSym0 l0 = PiecesNestedTupleSym1 l0 Source |
data SomeRoutePieces f where Source
SomeRoutePieces :: Sing (a :: k) -> Sing (Apply g a) -> IRec (PiecesNestedTuple (Apply g a)) -> SomeRoutePieces g |
renderCaptures :: forall a. SList a -> IRec (PiecesNestedTuple a) -> Text Source
parseAllRoutes :: forall kp f. (SEnum kp, SBounded kp) => Proxy f -> (forall rt. Sing rt -> Sing (Apply f rt)) -> [Text] -> Maybe (SomeRoutePieces f) Source
parseManyRoutes :: forall routes f. Proxy f -> (forall rt. Sing rt -> Sing (Apply f rt)) -> SList routes -> [Text] -> Maybe (SomeRoutePieces f) Source
parseOneRoute :: forall r f. Proxy f -> (forall rt. Sing rt -> Sing (Apply f rt)) -> Sing r -> [Text] -> Maybe (IRec (PiecesNestedTuple (Apply f r))) Source
render :: forall f route. Proxy f -> (forall r. Sing r -> Sing (Apply f r)) -> Sing route -> IRec (PiecesNestedTuple (Apply f route)) -> [Text] Source
renderExample :: forall f route. Proxy f -> (forall r. Sing r -> Sing (Apply f r)) -> Sing route -> [Text] Source
renderExamplePieces :: forall pieces. SList pieces -> [Text] Source
renderPieces :: forall pieces. SList pieces -> IRec (PiecesNestedTuple pieces) -> [Text] Source
renderStaticPiece :: forall static s. (static ~ Static s) => SPiece static -> Text Source
renderCapturePieceValue :: (piece ~ Capture a) => SPiece piece -> a -> Text Source
renderCapturePieceType :: forall a piece. (piece ~ Capture a) => SPiece piece -> Text Source