CurryInfo: base-3.3.0 / Data.List.minimum

definition:
minimum :: Ord a => [a] -> a
minimum xs@(_:_) =  foldl1 min xs
demand:
argument 2
deterministic:
deterministic operation
documentation:
--- Returns the minimum of a non-empty list.
failfree:
(_, {:})
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_,{:}) |-> _}
name:
minimum
precedence:
no precedence defined
result-values:
_
signature:
Prelude.Ord a => [a] -> a
solution-complete:
operation might suspend on free variables
terminating:
yes
totally-defined:
possibly non-reducible on same data term