:: [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.