msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

remove Control.DFA

Browse Source 
no longer used :(
This commit is contained in:
crumbtoo
2023-11-13 17:36:56 -07:00
parent 371aa5343c
commit cfb2569c83
1 changed files with 0 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/Control/DFA.hs
View File

@@ -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)