Struct kimchi_stubs::arkworks::pasta_fp::CamlFp

pub struct CamlFp(pub Fp);

Tuple Fields

0: Fp

Trait Implementations

impl Clone for CamlFp

fn clone(&self) -> CamlFp

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Custom for CamlFp

const NAME: &'static str = _

Custom type name

const OPS: CustomOps = _

Custom operations

const FIXED_LENGTH: Option<custom_fixed_length> = None

Custom type fixed length

const USED: usize = 0usize

used parameter to alloc_custom. This helps determine the frequency of garbage collection related to this custom type.

const MAX: usize = 1usize

max parameter to alloc_custom. This helps determine the frequency of garbage collection related to this custom type

fn ops() -> &'static CustomOps

Get a static reference the this type’s CustomOps implementation

impl Debug for CamlFp

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Deref for CamlFp

type Target = Fp<MontBackend<FqConfig, 4>, 4>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl From<&CamlFp> for Fp

fn from(camlfp: &CamlFp) -> Fp

Converts to this type from the input type.

impl From<&Fp<MontBackend<FqConfig, 4>, 4>> for CamlFp

fn from(fp: &Fp) -> Self

Converts to this type from the input type.

impl From<CamlFp> for Fp

fn from(camlfp: CamlFp) -> Fp

Converts to this type from the input type.

impl From<Fp<MontBackend<FqConfig, 4>, 4>> for CamlFp

fn from(fp: Fp) -> Self

Converts to this type from the input type.

impl<'a> FromValue<'a> for CamlFp

fn from_value(value: Value) -> Self

Convert from OCaml value

impl OCamlBinding for CamlFp

fn ocaml_binding( env: &mut Env, rename: Option<&'static str>, new_type: bool ) -> String

will generate the OCaml bindings for a type (called root type). It takes the current environment [Env], as well as an optional name (if you wish to rename the type in OCaml).

impl OCamlDesc for CamlFp

fn ocaml_desc(env: &Env, _generics: &[&str]) -> String

describes the type in OCaml, given the current environment [Env] and the list of generic type parameters of the root type (the type that makes use of this type)

fn unique_id() -> u128

Returns a unique ID for the type. This ID will not change if concrete type parameters are used.

impl TryFrom<CamlBigInteger256> for CamlFp

type Error = Error

The type returned in the event of a conversion error.

fn try_from(x: CamlBigInteger256) -> Result<Self, Self::Error>

Performs the conversion.

impl Copy for CamlFp