You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(Haven't seen such function and i came up with this name, so it could be changed)
This will allow to change something like this:
digit∷∀m. Monadm⇒P.ParserTStringmInt
digit = do
char ← PS.oneOf ['0','1','2','3','4','5','6','7','8','9']
case char of'0' → pure 0'1' → pure 1'2' → pure 2'3' → pure 3'4' → pure 4'5' → pure 5'6' → pure 6'7' → pure 7'8' → pure 8'9' → pure 9
_ → P.fail "Incorrect digit, impossible situation"
(Haven't seen such function and i came up with this name, so it could be changed)
This will allow to change something like this:
to
The text was updated successfully, but these errors were encountered: