katydid-0.1.1.0: A haskell implementation of Katydid
Zip
Description
This is an internal relapse module.
It zips patterns to reduce the state space.
data Zipper #
Instances
Methods
(==) :: Zipper -> Zipper -> Bool #
(/=) :: Zipper -> Zipper -> Bool #
compare :: Zipper -> Zipper -> Ordering #
(<) :: Zipper -> Zipper -> Bool #
(<=) :: Zipper -> Zipper -> Bool #
(>) :: Zipper -> Zipper -> Bool #
(>=) :: Zipper -> Zipper -> Bool #
max :: Zipper -> Zipper -> Zipper #
min :: Zipper -> Zipper -> Zipper #
zippy :: [Pattern] -> ([Pattern], Zipper) #
unzipby :: Zipper -> [Bool] -> [Bool] #