From cfb2569c8351bdcf65cce5e78f938d3476998997 Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Mon, 13 Nov 2023 17:36:56 -0700 Subject: [PATCH] remove Control.DFA no longer used :( --- src/Control/DFA.hs | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 src/Control/DFA.hs diff --git a/src/Control/DFA.hs b/src/Control/DFA.hs deleted file mode 100644 index df666da..0000000 --- a/src/Control/DFA.hs +++ /dev/null @@ -1,17 +0,0 @@ -module Control.DFA - ( DFA(..) - , evalDFA - ) - where ----------------------------------------------------------------------------------- -import Data.Maybe (isJust, catMaybes) ----------------------------------------------------------------------------------- - -newtype DFA s = DFA { stepDFA :: s -> Maybe s } - -evalDFA :: DFA s -> s -> [s] -evalDFA dfa s = catMaybes $ iterateM (stepDFA dfa) s - where - iterateM :: (Monad m) => (a -> m a) -> a -> [m a] - iterateM k z = iterate (>>=k) (pure z) -