Distribution.Solver.Types.Variable
data Variable qpn Source #
Variables used by the dependency solver. This type is similar to the internal Var type.
Var
Constructors
Defined in Distribution.Solver.Types.Variable
Methods
showsPrec :: Int -> Variable qpn -> ShowS Source #
show :: Variable qpn -> String Source #
showList :: [Variable qpn] -> ShowS Source #
(==) :: Variable qpn -> Variable qpn -> Bool Source #
(/=) :: Variable qpn -> Variable qpn -> Bool Source #