Skip to main content

FnExt

creusot_std::std::ops

Trait FnExt

pub trait FnExt<Args>: FnMutExt<Args> { }

Expand description

FnExt is an extension trait for the Fn trait, used for adding a specification to closures. It should not be used directly.

Implementors§

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, O, F: Fn(A1, A2, A3, A4, A5, A6, A7, A8, A9) -> O> FnExt<(A1, A2, A3, A4, A5, A6, A7, A8, A9)> for F

impl<A1, A2, A3, A4, A5, A6, A7, A8, O, F: Fn(A1, A2, A3, A4, A5, A6, A7, A8) -> O> FnExt<(A1, A2, A3, A4, A5, A6, A7, A8)> for F

impl<A1, A2, A3, A4, A5, A6, A7, O, F: Fn(A1, A2, A3, A4, A5, A6, A7) -> O> FnExt<(A1, A2, A3, A4, A5, A6, A7)> for F

impl<A1, A2, A3, A4, A5, A6, O, F: Fn(A1, A2, A3, A4, A5, A6) -> O> FnExt<(A1, A2, A3, A4, A5, A6)> for F

impl<A1, A2, A3, A4, A5, O, F: Fn(A1, A2, A3, A4, A5) -> O> FnExt<(A1, A2, A3, A4, A5)> for F

impl<A1, A2, A3, A4, O, F: Fn(A1, A2, A3, A4) -> O> FnExt<(A1, A2, A3, A4)> for F

impl<A1, A2, A3, O, F: Fn(A1, A2, A3) -> O> FnExt<(A1, A2, A3)> for F

impl<A1, A2, O, F: Fn(A1, A2) -> O> FnExt<(A1, A2)> for F

impl<A1, O, F: Fn(A1) -> O> FnExt<(A1,)> for F

impl<O, F: Fn() -> O> FnExt<()> for F