noether-0.0.1: Math in Haskell.

Safe HaskellSafe
LanguageHaskell2010

Lemmata.List

Documentation

head :: Foldable f => f a -> Maybe a Source #

ordNub :: Ord a => [a] -> [a] Source #

sortOn :: Ord o => (a -> o) -> [a] -> [a] Source #

list :: [b] -> (a -> b) -> [a] -> [b] Source #

product :: (Foldable f, Num a) => f a -> a Source #

sum :: (Foldable f, Num a) => f a -> a Source #