katydid-0.1.0.0: A haskell implementation of Katydid

Safe Haskell	None
Language	Haskell2010

Zip

Description

This is an internal relapse module.

It zips patterns to reduce the state space.

Documentation

data Zipper Source #

Instances

Eq Zipper Source #
Methods (==) :: Zipper -> Zipper -> Bool # (/=) :: Zipper -> Zipper -> Bool #
Ord Zipper Source #
Methods 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) Source #

unzipby :: Zipper -> [Bool] -> [Bool] Source #