Ideas.Common.Strategy.Path

A path encodes a location (sub-part) of a strategy by: * maintaining a list of directions (go left/go right) for each choice; * the depth (number of steps) Use ShowRead type classes for serializationdeserialization

datatype and constructor

data Path

Instances

Eq Path

Read Path

Show Path

emptyPath :: Path

extending a path

toLeft :: Path -> Path

toRight :: Path -> Path

tick :: Path -> Path

following a path

leftOrRight :: Monad m => Path -> m (Either Path Path)

untick :: Monad m => Path -> m Path

Following a path without going left or right (counterpart of tick)