Distribution.Solver.Modular.Var

Documentation

data Var qpn

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.

Constructors

P qpn

F (FN qpn)

S (SN qpn)

Instances

Functor Var

Defined in Distribution.Solver.Modular.Var

Methods

fmap :: (a -> b) -> Var a -> Var b

(<$) :: a -> Var b -> Var a

Show qpn => Show (Var qpn)

Defined in Distribution.Solver.Modular.Var

Methods

showsPrec :: Int -> Var qpn -> ShowS

show :: Var qpn -> String

showList :: [Var qpn] -> ShowS

Eq qpn => Eq (Var qpn)

Defined in Distribution.Solver.Modular.Var

Methods

(==) :: Var qpn -> Var qpn -> Bool

(/=) :: Var qpn -> Var qpn -> Bool

Ord qpn => Ord (Var qpn)

Defined in Distribution.Solver.Modular.Var

Methods

compare :: Var qpn -> Var qpn -> Ordering

(<) :: Var qpn -> Var qpn -> Bool

(<=) :: Var qpn -> Var qpn -> Bool

(>) :: Var qpn -> Var qpn -> Bool

(>=) :: Var qpn -> Var qpn -> Bool

max :: Var qpn -> Var qpn -> Var qpn

min :: Var qpn -> Var qpn -> Var qpn

showVar :: Var QPN -> String

varPN :: Var qpn -> qpn

Extract the package name from a Var