ideas-1.8: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellSafe
LanguageHaskell98

Ideas.Common.Traversal.Iterator

Contents

Description

 
Synopsis

Iterator type class

class Iterator a where Source #

Minimal complete definition

next, previous

Methods

next :: a -> Maybe a Source #

previous :: a -> Maybe a Source #

first :: a -> a Source #

final :: a -> a Source #

position :: a -> Int Source #

Instances
Iterator a => Iterator (Mirror a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Iterator

Iterator (ListIterator a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Iterator

Navigator a => Iterator (Leafs a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Navigator

Navigator a => Iterator (Horizontal a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Navigator

Navigator a => Iterator (LevelOrder a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Navigator

Navigator a => Iterator (PostOrder a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Navigator

Navigator a => Iterator (PreOrder a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Navigator

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 #

Instances
Update ListIterator Source # 
Instance details

Defined in Ideas.Common.Traversal.Iterator

Methods

update :: ListIterator a -> (a, a -> ListIterator a) Source #

Eq a => Eq (ListIterator a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Iterator

Show a => Show (ListIterator a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Iterator

Focus (ListIterator a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Iterator

Associated Types

type Unfocus (ListIterator a) :: * Source #

Arbitrary a => Arbitrary (ListIterator a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Iterator

Iterator (ListIterator a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Iterator

type Unfocus (ListIterator a) Source # 
Instance details

Defined in Ideas.Common.Traversal.Iterator

type Unfocus (ListIterator a) = [a]