:: [t] -> Int package:numeric-prelude
Returns the size/length of a finite structure as an
Int. The
default implementation is optimized for structures that are similar to
cons-lists, because there is no general way to do better.
Left associative length computation that is appropriate for types like
Integer.
Right associative length computation that is appropriate for types
like Peano number.
Default definition for
norm that is based on
Foldable
class.
Default definition for
norm that is based on
Foldable
class and the argument vector has at least one component.