ยค Path, Direction, et al

Types

type Path = [Direction]

data Direction = L | R | Dno Int
instance Eq Direction
instance Ord Direction
instance Read Direction
instance Show Direction

here :: Path
turn :: Direction -> Path -> Path
path :: Path -> (Direction, Path)

See Also

treeF, F.