CurryInfo: time-3.0.0 / Data.Time.ctMonth

definition:
ctMonth :: CalendarTime -> Int
ctMonth (CalendarTime _ m _ _ _ _ _) = m
demand:
argument 1
deterministic:
deterministic operation
documentation:
--- The month of a calendar time.
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{({CalendarTime}) |-> _}
name:
ctMonth
precedence:
no precedence defined
result-values:
_
signature:
CalendarTime -> Prelude.Int
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms