Safe Haskell	Safe
Language	Haskell2010

Data.Katydid.Relapse.Zip

Description

This is an internal relapse module.

It zips patterns to reduce the state space.

Synopsis

data Zipper
zippy :: [Pattern] -> ([Pattern], Zipper)
unzipby :: Zipper -> [Bool] -> [Bool]

Documentation

data Zipper Source #

Zipper represents compressed indexes that resulted from compressing a list of patterns. This can be used to uncompress a list of bools (nullability of patterns).

Instances

Eq Zipper Source #
Instance details Defined in Data.Katydid.Relapse.Zip Methods (==) :: Zipper -> Zipper -> Bool # (/=) :: Zipper -> Zipper -> Bool #
Ord Zipper Source #
Instance details Defined in Data.Katydid.Relapse.Zip 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 #

zippy compresses a list of patterns.

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

unzipby uncompresses a list of bools (nullability of patterns).