Module
Payload.Internal.GuardParsing
- Package
- purescript-payload
- Repository
- hoodunit/purescript-payload
#ParseGuardList Source
class ParseGuardList (string :: Symbol) (parts :: GuardList) | string -> parts
Instances
ParseGuardList "" GNil
(Cons h t string, Match string h t "" "start" fl) => ParseGuardList string fl
#Match Source
class Match (guards :: Symbol) (head :: Symbol) (tail :: Symbol) (acc :: Symbol) (mode :: Symbol) (out :: GuardList) | head tail acc mode -> out
Instances
(Cons y ys xs, Match u y ys "" "guard" rest) => Match u "[" xs "" "start" rest
(ParseError u xs (Text "Missing [ - guard list must start with [") doc) => Match u x xs acc "start" rest
Match u "]" "" "" "guard" GNil
Match u "]" "" acc "guard" (GCons acc GNil)
(ParseError u "" (Text "Guard list must end with ]") doc) => Match u x "" acc "guard" rest
(ParseError u xs (Text "Guard list ended at ] but there was more text after") doc) => Match u "]" xs acc "guard" rest
(ParseError u xs (Text "Guard names cannot be empty") doc) => Match u "," xs "" "guard" (GCons acc rest)
(Cons y ys xs, Match u y ys "" "space" rest) => Match u "," xs acc "guard" (GCons acc rest)
(Cons y ys xs, Match u y ys "" "guard" rest) => Match u " " xs acc "space" rest
(ParseError u xs (Text "Guards must be separated by a comma and space (missing space after comma)") doc) => Match u x xs acc "space" rest
(ParseError u xs (Text "Guards must be separated by a comma and space (saw space without comma)") doc) => Match u " " xs acc "guard" rest
(ParseError u xs (Text "Guard names cannot contain [") doc) => Match u "[" xs acc "guard" rest
(Cons y ys xs, Append acc x newAcc, Match u y ys newAcc "guard" rest) => Match u x xs acc "guard" rest
(ParseError u xs (Beside (Text "Failed parsing guards ") (Beside (Text "(acc: \'") (Beside (Text acc) (Beside (Text "\', mode: ") (Beside (Text mode) (Text ")")))))) doc) => Match u x xs acc mode rest
#ParseError Source
class ParseError (path :: Symbol) (remaining :: Symbol) (msg :: Doc) (doc :: Doc) | path remaining msg -> doc
Instances
#toList Source
toList :: forall guards guardsStr. ParseGuardList guardsStr guards => ToGuardList guards => SProxy guardsStr -> List String
#ToGuardList Source
class ToGuardList (guardList :: GuardList) where
Members
Instances
ToGuardList GNil
(IsSymbol name, ToGuardList rest) => ToGuardList (GCons name rest)
- Modules
- Payload.
Client. Client - Payload.
Client. FromResponse - Payload.
ContentType - Payload.
Cookies - Payload.
FromData - Payload.
Guards - Payload.
Handleable - Payload.
Handlers - Payload.
Headers - Payload.
Internal. GuardParsing - Payload.
Internal. MimeTypes - Payload.
Internal. Query - Payload.
Internal. QueryParsing - Payload.
Internal. Querystring. Qs - Payload.
Internal. Request - Payload.
Internal. ServerResponse - Payload.
Internal. Trie - Payload.
Internal. TypeErrors - Payload.
Internal. Url - Payload.
Internal. UrlParsing - Payload.
Internal. UrlString - Payload.
Internal. Utils - Payload.
Params - Payload.
Path - Payload.
QueryParams - Payload.
Response - Payload.
Routable - Payload.
Route - Payload.
Server - Payload.
Spec - Payload.
Status