CurryInfo: time-3.0.0 / Data.Time.daysOfMonth

definition:
daysOfMonth :: Int -> Int -> Int
daysOfMonth mo yr =
  if mo/=2
  then [31,28,31,30,31,30,31,31,30,31,30,31] !! (mo-1)
  else if yr `mod` 4 == 0 && (yr `mod` 100 /= 0 || yr `mod` 400 == 0)
       then 29
       else 28
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
--- Gets the days of a month in a year.
failfree:
<FAILING>
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_,_) |-> _}
name:
daysOfMonth
precedence:
no precedence defined
result-values:
_
signature:
Prelude.Int -> Prelude.Int -> Prelude.Int
solution-complete:
operation might suspend on free variables
terminating:
possibly non-terminating
totally-defined:
possibly non-reducible on same data term