aboutsummaryrefslogtreecommitdiff
path: root/src/HSVIS
diff options
context:
space:
mode:
authorTom Smeding <t.j.smeding@uu.nl>2024-04-10 18:26:34 +0200
committerTom Smeding <t.j.smeding@uu.nl>2024-04-10 18:26:34 +0200
commitb601561e38884d6f729c3a86eb0ec4445aea6155 (patch)
tree176ecc9a46ee66233418b81d8c94a24dd4c6a847 /src/HSVIS
parent5014c402e63e882567bb8759cad5cbf61db1e11f (diff)
Improve FAlternative class
Diffstat (limited to 'src/HSVIS')
-rw-r--r--src/HSVIS/Parser.hs6
1 files changed, 0 insertions, 6 deletions
diff --git a/src/HSVIS/Parser.hs b/src/HSVIS/Parser.hs
index bea0524..0d35184 100644
--- a/src/HSVIS/Parser.hs
+++ b/src/HSVIS/Parser.hs
@@ -135,12 +135,6 @@ instance FAlternative Parser where
noFail (Parser f) = Parser $ \ctx ps kok kfat _ -> f ctx ps kok kfat ()
- toFallible :: forall fail a. KnownFallible fail => Parser fail a -> Parser 'Fallible a
- toFallible (Parser f) = Parser $ \ctx ps kok kfat kbt ->
- f ctx ps kok kfat (case knownFallible @fail of
- SFallible -> kbt
- SInfallible -> ())
-
instance MonadState PS (Parser fail) where
state f = Parser $ \_ ps kok _ _ ->
let (x, ps') = f ps