GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-21 09:02:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

tail call recursive implementation of BacktrackM

Browse Source
This commit is contained in:
kr.angelov
2006-06-21 19:17:25 +00:00
parent eed8c6f813
commit 4813788a9b
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/GF/Data/BacktrackM.hs
View File

@@ -29,6 +29,7 @@ module GF.Data.BacktrackM ( -- * the backtracking state monad
foldFinalStates, finalStates foldFinalStates, finalStates
) where ) where
import Data.List
import Control.Monad import Control.Monad
---------------------------------------------------------------------- ----------------------------------------------------------------------
@@ -80,7 +81,7 @@ failure :: BacktrackM s a
failure = BM (\c s b -> b) failure = BM (\c s b -> b)
(|||) :: BacktrackM s a -> BacktrackM s a -> BacktrackM s a (|||) :: BacktrackM s a -> BacktrackM s a -> BacktrackM s a
(BM f) ||| (BM g) = BM (\c s b -> f c s (g c s b)) (BM f) ||| (BM g) = BM (\c s b -> g c s $! f c s b)
instance MonadPlus (BacktrackM s) where instance MonadPlus (BacktrackM s) where
mzero = failure mzero = failure
@@ -89,4 +90,4 @@ instance MonadPlus (BacktrackM s) where
-- * specific functions on the backtracking monad -- * specific functions on the backtracking monad
member :: [a] -> BacktrackM s a member :: [a] -> BacktrackM s a
member = msum . map return member xs = BM (\c s b -> foldl' (\b x -> c x s b) b xs)