Safe Haskell | Safe-Inferred |
---|
Data.Linear
Documentation
constToLinear :: (Num v, Ord t) => v -> Linear t vSource
termToLinear :: (Num v, Ord t) => t -> Linear t vSource
linearToListEx :: (Ord t, Num v) => Linear t v -> (v, [(t, v)])Source
monadiccp-0.7.6: Constraint Programming
Safe Haskell | Safe-Inferred |
---|
Data.Linear
constToLinear :: (Num v, Ord t) => v -> Linear t vSource
termToLinear :: (Num v, Ord t) => t -> Linear t vSource
linearToListEx :: (Ord t, Num v) => Linear t v -> (v, [(t, v)])Source