monadiccp-0.7.6: Constraint Programming

Safe HaskellSafe-Inferred

Data.Linear

Documentation

data (Ord t, Num v) => Linear t v Source

Instances

(Num v, Eq v, Ord t, Eq t) => Eq (Linear t v) 
(Num v, Eq v, Ord t, Eq t, Show t) => Num (Linear t v) 
(Num v, Ord v, Ord t, Eq t) => Ord (Linear t v) 
(Num v, Show v, Ord t, Show t) => Show (Linear t v) 

integerToLinear :: (Num v, Ord t) => Integer -> Linear t vSource

constToLinear :: (Num v, Ord t) => v -> Linear t vSource

termToLinear :: (Num v, Ord t) => t -> Linear t vSource

linearToConst :: (Num v, Ord t) => Linear t v -> Maybe vSource

linearToTerm :: (Num v, Eq v, Ord t) => Linear t v -> Maybe tSource

linearMultiply :: (Num v, Eq v, Ord t) => Linear t v -> Linear t v -> Maybe (Linear t v)Source

linearMult :: (Num v, Eq v, Ord t) => v -> Linear t v -> Linear t vSource

linearToList :: (Ord t, Num v) => Linear t v -> [(Maybe t, v)]Source

linearToListEx :: (Ord t, Num v) => Linear t v -> (v, [(t, v)])Source

getCoef :: (Num v, Ord t) => Maybe t -> Linear t v -> vSource