CurryInfo: boxes-3.0.0 / Boxes.wordFits

definition:
 
wordFits :: Int -> Word -> Line -> Bool
wordFits pw w l = lLen l == 0 || lLen l + wLen w + 1 <= pw
demand:
 no demanded arguments
deterministic:
 deterministic operation
documentation:
 
Checks whether a word fits into a line.
failfree:
 (_, _, _)
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {(_,_,_) |-> _}
name:
 wordFits
precedence:
 no precedence defined
result-values:
 _
signature:
 Prelude.Int -> Word -> Line -> Prelude.Bool
solution-complete:
 operation might suspend on free variables
terminating:
 yes
totally-defined:
 reducible on all ground data terms