Serpentine

Documentation

iterConstructors :: Name -> Q Exp

constConstructors :: Name -> Name -> Name -> Q Exp

sketchyNameSingletonize :: Name -> Name

data IRec :: [*] -> * where

Constructors

IRNil :: IRec `[]`

(:&) :: !r -> !(IRec rs) -> IRec (r : rs) infixr 9

data Piece x

Constructors

Static Symbol

Capture x

Instances

DefPieces ([] (Piece *))

SuppressUnusedWarnings (* -> TyFun CrudRoute [Piece *] -> *) PlanCrudRouteSym1

SuppressUnusedWarnings (TyFun [Piece *] [*] -> *) PiecesNestedTupleSym0

SuppressUnusedWarnings (TyFun * (TyFun CrudRoute [Piece *] -> *) -> *) PlanCrudRouteSym0

(DefPieces ps, KnownSymbol s) => DefPieces ((:) (Piece *) (Static * s) ps)

(DefPieces ps, PathPiece t, Typeable * t) => DefPieces ((:) (Piece *) (Capture * t) ps)

data Sing (Piece *) where

• SStatic :: KnownSymbol s => Sing (Piece *) (StaticStar s)
• SCapture :: (Typeable * x, PathPiece x) => Sing (Piece *) (Capture * x)

type Apply [Piece *] CrudRoute (PlanCrudRouteSym1 l1) l0 = PlanCrudRouteSym2 l1 l0

type Apply [*] [Piece *] PiecesNestedTupleSym0 l0 = PiecesNestedTupleSym1 l0

type Apply (TyFun CrudRoute [Piece *] -> *) * PlanCrudRouteSym0 l0 = PlanCrudRouteSym1 l0

type StaticStarH a = a

type StaticStar s = StaticStarH (Static s)

type family PiecesNestedTuple ks :: [*]

Equations

PiecesNestedTuple `[]` = `[]`

PiecesNestedTuple (Static s : ks) = PiecesNestedTuple ks

PiecesNestedTuple (Capture x : ks) = x : PiecesNestedTuple ks

type PiecesNestedTupleSym1 t = PiecesNestedTuple t

data PiecesNestedTupleSym0 l

Constructors

forall arg . (KindOf (Apply PiecesNestedTupleSym0 arg) ~ KindOf (PiecesNestedTupleSym1 arg)) => PiecesNestedTupleSym0KindInference

Instances

SuppressUnusedWarnings (TyFun [Piece *] [*] -> *) PiecesNestedTupleSym0

type Apply [*] [Piece *] PiecesNestedTupleSym0 l0 = PiecesNestedTupleSym1 l0

type SPiece k = Sing k

class DefPieces t where

Methods

defPieces :: SList t

Instances

DefPieces ([] (Piece *))

(DefPieces ps, KnownSymbol s) => DefPieces ((:) (Piece *) (Static * s) ps)

(DefPieces ps, PathPiece t, Typeable * t) => DefPieces ((:) (Piece *) (Capture * t) ps)

sEnumAll :: forall a b. (a ~ EnumFromTo MinBound MaxBound, SBounded b, SEnum b) => SList a

mapValue :: forall rs b. (forall r. Sing r -> b) -> SList rs -> [b]

data SomeRoutePieces f where

Constructors

SomeRoutePieces :: Sing (a :: k) -> Sing (Apply g a) -> IRec (PiecesNestedTuple (Apply g a)) -> SomeRoutePieces g

Instances

(Show (DemoteRep k (KProxy k)), SingKind k (KProxy k)) => Show (SomeRoutePieces k f)

renderCaptures :: forall a. SList a -> IRec (PiecesNestedTuple a) -> Text

parseAllRoutes :: forall kp f. (SEnum kp, SBounded kp) => Proxy f -> (forall rt. Sing rt -> Sing (Apply f rt)) -> [Text] -> Maybe (SomeRoutePieces f)

parseManyRoutes :: forall routes f. Proxy f -> (forall rt. Sing rt -> Sing (Apply f rt)) -> SList routes -> [Text] -> Maybe (SomeRoutePieces f)

parseOneRoute :: forall r f. Proxy f -> (forall rt. Sing rt -> Sing (Apply f rt)) -> Sing r -> [Text] -> Maybe (IRec (PiecesNestedTuple (Apply f r)))

parseOne :: forall pieces. SList pieces -> [Text] -> Maybe (IRec (PiecesNestedTuple pieces))

render :: forall f route. Proxy f -> (forall r. Sing r -> Sing (Apply f r)) -> Sing route -> IRec (PiecesNestedTuple (Apply f route)) -> [Text]

renderExample :: forall f route. Proxy f -> (forall r. Sing r -> Sing (Apply f r)) -> Sing route -> [Text]

renderExamplePieces :: forall pieces. SList pieces -> [Text]

renderPieces :: forall pieces. SList pieces -> IRec (PiecesNestedTuple pieces) -> [Text]

parseCapturePiece :: (PathPiece a, piece ~ Capture a) => SPiece piece -> Text -> Maybe a

renderStaticPiece :: forall static s. (static ~ Static s) => SPiece static -> Text

renderCapturePieceValue :: (piece ~ Capture a) => SPiece piece -> a -> Text

renderCapturePieceType :: forall a piece. (piece ~ Capture a) => SPiece piece -> Text