Skip to content

Commit

Permalink
chore(hl): remove unused traits
Browse files Browse the repository at this point in the history
  • Loading branch information
nsarlin-zama committed Dec 20, 2024
1 parent 6e1193e commit a0df610
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 26 deletions.
8 changes: 4 additions & 4 deletions tfhe/src/high_level_api/prelude.rs
Original file line number Diff line number Diff line change
Expand Up @@ -7,10 +7,10 @@
//! use tfhe::prelude::*;
//! ```
pub use crate::high_level_api::traits::{
BitSlice, CiphertextList, DivRem, FheBootstrap, FheDecrypt, FheEncrypt, FheEq, FheKeyswitch,
FheMax, FheMin, FheNumberConstant, FheOrd, FheTrivialEncrypt, FheTryEncrypt,
FheTryTrivialEncrypt, IfThenElse, OverflowingAdd, OverflowingMul, OverflowingSub, RotateLeft,
RotateLeftAssign, RotateRight, RotateRightAssign, Tagged,
BitSlice, CiphertextList, DivRem, FheDecrypt, FheEncrypt, FheEq, FheKeyswitch, FheMax, FheMin,
FheOrd, FheTrivialEncrypt, FheTryEncrypt, FheTryTrivialEncrypt, IfThenElse, OverflowingAdd,
OverflowingMul, OverflowingSub, RotateLeft, RotateLeftAssign, RotateRight, RotateRightAssign,
Tagged,
};

pub use crate::conformance::ParameterSetConformant;
Expand Down
22 changes: 0 additions & 22 deletions tfhe/src/high_level_api/traits.rs
Original file line number Diff line number Diff line change
Expand Up @@ -112,28 +112,6 @@ pub trait FheMax<Rhs = Self> {
fn max(&self, other: Rhs) -> Self::Output;
}

/// Trait required to apply univariate function over homomorphic types.
///
/// A `univariate function` is a function with one variable, e.g., of the form f(x).
pub trait FheBootstrap
where
Self: Sized,
{
/// Compute a function over an encrypted message, and returns a new encrypted value containing
/// the result.
fn map<F: Fn(u64) -> u64>(&self, func: F) -> Self;

/// Compute a function over the encrypted message.
fn apply<F: Fn(u64) -> u64>(&mut self, func: F);
}

#[doc(hidden)]
pub trait FheNumberConstant {
const MIN: u64;
const MAX: u64;
const MODULUS: u64;
}

pub trait RotateLeft<Rhs = Self> {
type Output;

Expand Down

0 comments on commit a0df610

Please sign in to comment.