Top-1.7: Constraint solving framework employed by the Helium Compiler.

Safe Haskell	Safe-Infered

Top.Ordering.TreeWalk

Description

Documentation

newtype TreeWalk Source

Constructors

TreeWalk (forall a. List a -> [(List a, List a)] -> List a)

topDownTreeWalk :: TreeWalk Source

bottomUpTreeWalk :: TreeWalk Source

inorderTopFirstPreTreeWalk :: TreeWalk Source

inorderTopLastPreTreeWalk :: TreeWalk Source

inorderTopFirstPostTreeWalk :: TreeWalk Source

inorderTopLastPostTreeWalk :: TreeWalk Source

reverseTreeWalk :: TreeWalk -> TreeWalk Source

type List a = [a] -> [a]Source

concatList :: [List a] -> List aSource