CurryInfo: base-3.4.0 / Data.List.find

definition: Info
 
find                    :: (a -> Bool) -> [a] -> Maybe a
find p                   = listToMaybe . filter p
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Returns the first element `e` of a list satisfying a predicate
as `(Just e)`,
otherwise `Nothing` is returned.
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_) |-> {.._#lambda508}}
name: Info
 find
precedence: Info
 no precedence defined
result-values: Info
 {.._#lambda508}
signature: Info
 (a -> Prelude.Bool) -> [a] -> Prelude.Maybe a
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms