CurryInfo: cpm-3.3.0 / CPM.Package.nextMinor

definition:
nextMinor :: Version -> Version
nextMinor (maj,min,_,_) = (maj, min + 1, 0, Nothing)
demand:
argument 1
deterministic:
deterministic operation
documentation:
--- The next minor version of a given version.
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{({(,,,)}) |-> {(,,,)}}
name:
nextMinor
precedence:
no precedence defined
result-values:
{(,,,)}
signature:
(Prelude.Int, Prelude.Int, Prelude.Int, Prelude.Maybe String)
-> (Prelude.Int, Prelude.Int, Prelude.Int, Prelude.Maybe String)
solution-complete:
operation might suspend on free variables
terminating:
yes
totally-defined:
reducible on all ground data terms