Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Distribution.Solver.Modular.Var
Documentation
The type of variables that play a role in the solver. Note that the tree currently does not use this type directly, and rather has separate tree nodes for the different types of variables. This fits better with the fact that in most cases, these have to be treated differently.
Instances
Functor Var Source # | |
Show qpn => Show (Var qpn) Source # | |
Eq qpn => Eq (Var qpn) Source # | |
Ord qpn => Ord (Var qpn) Source # | |
Defined in Distribution.Solver.Modular.Var |