Module
Payload.Server.Internal.GuardParsing
- Package
- purescript-payload
- Repository
- hoodunit/purescript-payload
#GuardParseFail Source
data GuardParseFail :: GuardListInstances
(ParseError u xs (Text "Missing [ - guard list must start with [") doc) => Match u x xs acc "start" GuardParseFail(ParseError u "" (Text "Guard list must end with ]") doc) => Match u x "" acc "guard" GuardParseFail(ParseError u xs (Text "Guard list ended at ] but there was more text after") doc) => Match u "]" xs acc "guard" GuardParseFail(ParseError u xs (Text "Guards must be separated by a comma and space (missing space after comma)") doc) => Match u x xs acc "space" GuardParseFail(ParseError u xs (Text "Guards must be separated by a comma and space (saw space without comma)") doc) => Match u " " xs acc "guard" GuardParseFail(ParseError u xs (Text "Guard names cannot contain [") doc) => Match u "[" xs acc "guard" GuardParseFail(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 GuardParseFail
#ParseGuardList Source
class ParseGuardList (string :: Symbol) (parts :: GuardList) | string -> partsInstances
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 -> outInstances
(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" GuardParseFailMatch u "]" "" "" "guard" GNilMatch u "]" "" acc "guard" (GCons acc GNil)(ParseError u "" (Text "Guard list must end with ]") doc) => Match u x "" acc "guard" GuardParseFail(ParseError u xs (Text "Guard list ended at ] but there was more text after") doc) => Match u "]" xs acc "guard" GuardParseFail(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" GuardParseFail(ParseError u xs (Text "Guards must be separated by a comma and space (saw space without comma)") doc) => Match u " " xs acc "guard" GuardParseFail(ParseError u xs (Text "Guard names cannot contain [") doc) => Match u "[" xs acc "guard" GuardParseFail(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 GuardParseFail
#ParseError Source
class ParseError (path :: Symbol) (remaining :: Symbol) (msg :: Doc) (doc :: Doc) | path remaining msg -> docInstances
#toList Source
toList :: forall guards guardsStr. ParseGuardList guardsStr guards => ToGuardList guards => SProxy guardsStr -> List String#ToGuardList Source
class ToGuardList (guardList :: GuardList) whereMembers
Instances
ToGuardList GNil(IsSymbol name, ToGuardList rest) => ToGuardList (GCons name rest)
- Modules
- Payload.
Client - Payload.
Client. ClientApi - Payload.
Client. DecodeResponse - Payload.
Client. EncodeBody - Payload.
Client. EncodeParam - Payload.
Client. Internal. EncodeUri - Payload.
Client. Internal. Query - Payload.
Client. Internal. Url - Payload.
Client. Options - Payload.
Client. QueryParams - Payload.
Client. Queryable - Payload.
Client. Response - Payload.
ContentType - Payload.
Debug - Payload.
Headers - Payload.
Internal. QueryParsing - Payload.
Internal. Route - Payload.
Internal. UrlParsing - Payload.
Internal. Utils - Payload.
ResponseTypes - Payload.
Server - Payload.
Server. Cookies - Payload.
Server. DecodeBody - Payload.
Server. Guards - Payload.
Server. Handleable - Payload.
Server. Handlers - Payload.
Server. Internal. GuardParsing - Payload.
Server. Internal. MimeTypes - Payload.
Server. Internal. OmitEmpty - Payload.
Server. Internal. Query - Payload.
Server. Internal. Querystring - Payload.
Server. Internal. Request - Payload.
Server. Internal. ServerResponse - Payload.
Server. Internal. Trie - Payload.
Server. Internal. Url - Payload.
Server. Internal. UrlString - Payload.
Server. Params - Payload.
Server. Path - Payload.
Server. QueryParams - Payload.
Server. Response - Payload.
Server. Routable - Payload.
Server. Status - Payload.
Spec - Payload.
TypeErrors