Serpentine.Playground

Documentation

data Piece x

Constructors

Static Symbol

Capture x

Instances

SuppressUnusedWarnings (TyFun MyRoute [Piece Item] -> *) PlanSym0

SuppressUnusedWarnings (k -> TyFun Crud [Piece k] -> *) (PlanCrudSym1 k)

SuppressUnusedWarnings (TyFun [Piece k] [k] -> *) (CapturesSym0 k)

SuppressUnusedWarnings (TyFun k (TyFun Crud [Piece k] -> *) -> *) (PlanCrudSym0 k)

data Sing (Piece a) where

• SStatic :: (~) (Piece k) x (Static k s) => SSymbol s -> Sing (Piece k) x
• SCapture :: (~) (Piece k) x (Capture k b) => Sing k b -> Sing (Piece k) x

type Apply [Piece Item] MyRoute PlanSym0 l0 = PlanSym1 l0

type Apply (Piece k) k (CaptureSym0 k) s = CaptureSym1 k s

type Apply (Piece k) Symbol (StaticSym0 k) s = StaticSym1 k s

type Apply [Piece k] Crud (PlanCrudSym1 k l1) l0 = PlanCrudSym2 k l1 l0

type Apply [k] [Piece k] (CapturesSym0 k) l0 = CapturesSym1 k l0

type Apply (TyFun Crud [Piece k] -> *) k (PlanCrudSym0 k) l0 = PlanCrudSym1 k l0

type StaticSym1 s = Static s

type CaptureSym1 x = Capture x

data StaticSym0 :: TyFun Symbol (Piece k) -> *

Instances

type Apply (Piece k) Symbol (StaticSym0 k) s = StaticSym1 k s

data CaptureSym0 :: TyFun k (Piece k) -> *

Instances

type Apply (Piece k) k (CaptureSym0 k) s = CaptureSym1 k s

type family Captures a :: [x]

Equations

Captures `[]` = `[]`

Captures ((:) (Static _z_1627425194) xs) = Apply CapturesSym0 xs

Captures ((:) (Capture c) xs) = Apply (Apply (:$) c) (Apply CapturesSym0 xs)

data CapturesSym0 l

Constructors

forall arg . (KindOf (Apply CapturesSym0 arg) ~ KindOf (CapturesSym1 arg)) => CapturesSym0KindInference

Instances

SuppressUnusedWarnings (TyFun [Piece k] [k] -> *) (CapturesSym0 k)

type Apply [k] [Piece k] (CapturesSym0 k) l0 = CapturesSym1 k l0

type CapturesSym1 t = Captures t

sCaptures :: forall t. Sing t -> Sing (Apply CapturesSym0 t :: [x])

captures :: forall x. [Piece x] -> [x]

render :: Proxy f -> (forall route1. Sing route1 -> Sing (Apply f route1)) -> (forall x. Sing x -> Applied1 e x -> Text) -> Sing route -> Rec (Applied1 e) (Captures (Apply f route)) -> [Text]

renderPieces :: forall e pieces. (forall x. Sing x -> Applied1 e x -> Text) -> SList pieces -> Rec (Applied1 e) (Captures pieces) -> [Text]

renderSymbol :: forall s. SSymbol s -> Text

newtype Results e f route

Constructors

Results

Fields

getResults :: Rec (Applied1 e) (Captures (Apply f route))

downgradeSList :: forall kproxy ks. (kproxy ~ KProxy) => SList ks -> [SomeSing kproxy]

parse :: forall kproxy e r. (kproxy ~ KProxy, SEnum kproxy, SBounded kproxy) => (forall x. Sing x -> Text -> Maybe (Applied1 e x)) -> (forall j. Sing j -> Sing (Apply r j)) -> [Text] -> Maybe (SomeSingWith1 kproxy (Results e r))

parsePiecesMulti :: forall kproxy e r. (kproxy ~ KProxy) => [SomeSing kproxy] -> (forall x. Sing x -> Text -> Maybe (Applied1 e x)) -> (forall j. Sing j -> Sing (Apply r j)) -> [Text] -> Maybe (SomeSingWith1 kproxy (Results e r))

parsePieces :: forall e pieces. (forall x. Sing x -> Text -> Maybe (Applied1 e x)) -> SList pieces -> [Text] -> Maybe (Rec (Applied1 e) (Captures pieces))