/// True if the given predicate returns an `Ok` response. The main value being
/// that a textual rendering of the `Err` value is passed into to `Bottom`
/// value that might be generated.
True if the given predicate returns an `Ok` response. The main value being
that a textual rendering of the `Err` value is passed into to `Bottom`
value that might be generated.
True if the given predicate returns an ` Ok ` response . The main value being that a textual rendering of the ` Err ` value is passed into to ` Bottom ` value that might be generated .
pub fn returns_ok<'fml, A, B, E: std::fmt::Debug>(
    mut f: impl FnMut(&A) -> Result<B, E> + Send + Sync + 'fml,
) -> Formula<'fml, A> {
    examine(move |x: &A| match f(x) {
        Ok(_) => top(),
        Err(e) => bottom(&format!("{:?}", e)),
    })
}
pub fn returns_ok < ' fml , A , B , E : std :: fmt :: Debug > ( mut f : impl FnMut ( & A ) -> Result < B , E > + Send + Sync + ' fml , ) -> Formula < ' fml , A > { examine ( move | x : & A | match f ( x ) { Ok ( _ ) => top ( ) , Err ( e ) => bottom ( & format ! ( " " e ) ) , } ) }
True if the given predicate returns an `Ok` response.
True if the given predicate returns an ` Ok ` response .
f
impl FnMut(&A) -> Result<B, E> + Send + Sync + 'fml