Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | Safe |
Language | Haskell98 |
- class Iterator a where
- isFirst :: Iterator a => a -> Bool
- isFinal :: Iterator a => a -> Bool
- hasNext :: Iterator a => a -> Bool
- hasPrevious :: Iterator a => a -> Bool
- searchForward :: Iterator a => (a -> Bool) -> a -> Maybe a
- searchBackward :: Iterator a => (a -> Bool) -> a -> Maybe a
- searchNext :: Iterator a => (a -> Bool) -> a -> Maybe a
- searchPrevious :: Iterator a => (a -> Bool) -> a -> Maybe a
- searchWith :: (a -> Maybe a) -> (a -> Bool) -> a -> Maybe a
- data ListIterator a
Iterator type class
hasPrevious :: Iterator a => a -> Bool Source
searchForward :: Iterator a => (a -> Bool) -> a -> Maybe a Source
searchBackward :: Iterator a => (a -> Bool) -> a -> Maybe a Source
searchNext :: Iterator a => (a -> Bool) -> a -> Maybe a Source
searchPrevious :: Iterator a => (a -> Bool) -> a -> Maybe a Source
searchWith :: (a -> Maybe a) -> (a -> Bool) -> a -> Maybe a Source
List iterator
data ListIterator a Source
Update ListIterator Source | |
Eq a => Eq (ListIterator a) Source | |
Show a => Show (ListIterator a) Source | |
Arbitrary a => Arbitrary (ListIterator a) Source | |
Focus (ListIterator a) Source | |
Iterator (ListIterator a) Source | |
type Unfocus (ListIterator a) = [a] Source |