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.