Safe Haskell	None

Constraints.Set.Internal

Description

This module exposes some internals useful for testing purposes. The interface exported by this module is not stable and should not be relied on for anything substantial. It is subject to change without notice.

Documentation

data ConstraintEdge

Constructors

Succ
Pred

Instances

Eq ConstraintEdge
Ord ConstraintEdge
Show ConstraintEdge

solvedSystemGraphElems :: (Eq v, Eq c) => SolvedSystem v c -> ([(Int, SetExpression v c)], [(Int, Int, ConstraintEdge)])