:: [t] -> a package:numeric-prelude

lengthLeft :: C n => [a] -> n

numeric-prelude NumericPrelude.List.Generic

Left associative length computation that is appropriate for types like Integer.

lengthRight :: C n => [a] -> n

numeric-prelude NumericPrelude.List.Generic

Right associative length computation that is appropriate for types like Peano number.

normFoldable :: (C a v, Foldable f) => f v -> a

numeric-prelude Algebra.NormedSpace.Maximum Algebra.NormedSpace.Sum

Default definition for norm that is based on Foldable class.

normFoldable1 :: (C a v, Foldable f, Functor f) => f v -> a

numeric-prelude Algebra.NormedSpace.Maximum Algebra.NormedSpace.Sum

Default definition for norm that is based on Foldable class and the argument vector has at least one component.