Path, Direction, et al

Types

type Path = [Direction]
data Direction = L | R | Dno Int
  instance Eq Direction
  instance Ord Direction
  instance Show Direction
here :: Path
turn :: Direction -> Path -> Path
path :: Path -> (Direction, Path)

See Also

treeF, F.