Module

Payload.Internal.GuardParsing

data GuardTypes types

class Append (left :: GuardList) (right :: GuardList) (both :: GuardList) | left right -> both

class ParseGuardList (string :: Symbol) (parts :: GuardList) | string -> parts

class Match (guards :: Symbol) (head :: Symbol) (tail :: Symbol) (acc :: Symbol) (mode :: Symbol) (out :: GuardList) | head tail acc mode -> out

(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

class ParseError (path :: Symbol) (remaining :: Symbol) (msg :: Doc) (doc :: Doc) | path remaining msg -> doc

(Fail (Above (Beside (Text "Invalid guard list: ") msg) (Above (Text "") (Above (Beside (Text "Guards: \'") (Beside (Text path) (Text "\'"))) (Beside (Text "--------") (Beside (Text arrow) (Text "^")))))), Append start rem path, PrintArrow path start "" arrow) => ParseError path rem msg doc

toList :: forall guards guardsStr. ParseGuardList guardsStr guards => ToGuardList guards => SProxy guardsStr -> List String

class ToGuardList (guardList :: GuardList)  where