1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88
// This file is part of Gear.
// Copyright (C) 2022-2024 Gear Technologies Inc.
// SPDX-License-Identifier: GPL-3.0-or-later WITH Classpath-exception-2.0
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with this program. If not, see <https://www.gnu.org/licenses/>.
//! Module for callback primitives.
//!
//! Callbacks represent some additional logic which
//! should be done over the argument on some conditions.
/// Represents callback action for cases `(&T) -> R`,
/// where `R` is `()` by default.
pub trait Callback<T, R = ()> {
/// Triggers the callback's logic.
fn call(arg: &T) -> R;
}
// Blank `Callback<T, ()>` implementation
// for skipping callback type in parent traits.
impl<T> Callback<T> for () {
fn call(_: &T) {}
}
/// Represents callback action for cases
/// without input and output.
pub trait EmptyCallback {
/// Triggers the callback's logic.
fn call();
}
// Blank `EmptyCallback` implementation
// for skipping callback type in parent traits.
impl EmptyCallback for () {
fn call() {}
}
/// Represents callback action for cases `(&T) -> Result<R, E>`,
/// where `R` is `()` by default and `E` is associated type `Error`.
pub trait FallibleCallback<T, R = ()> {
/// Returning error in callback's `Err` case.
type Error;
/// Triggers the callback's logic.
fn call(arg: &T) -> Result<R, Self::Error>;
}
/// Represents callback action for cases
/// without input for getting some data.
pub trait GetCallback<T> {
/// Returns value by callback's logic.
fn call() -> T;
}
// Blank `GetCallback` implementation
// for returning default values.
impl<T: Default> GetCallback<T> for () {
fn call() -> T {
Default::default()
}
}
/// Represents transposing callback
/// for mutating values.
pub trait TransposeCallback<T, R> {
/// Returns value by callback's logic.
fn call(arg: T) -> R;
}
// Blank `TransposeCallback` implementation
// for returning value itself.
impl<T> TransposeCallback<T, T> for () {
fn call(arg: T) -> T {
arg
}
}