TiConstraints

Plain source file: base/TI/TiConstraints.hs (2003-03-19)

TiConstraints is imported by: OrigTiMonad, TiKinds, TiSolve.

-- Collecting constraints efficiently...

module TiConstraints(Constraints,empty,single,Tree.merge,Tree.toList) where
import qualified Tree

type Constraints c = Tree.Tree c

empty = Tree.Empty
single = Tree.Single

Index

(HTML for this module was generated on 2006-08-12. About the conversion tool.)