src/base.rs

//! Basic definitions for measures

use alg_tools::norms::{Norm, NormExponent};
use alg_tools::types::Num;
use serde::Serialize;

/// This is used with [`Norm::norm`] to indicate that a Radon norm is to be computed.
#[derive(Copy, Clone, Serialize, Debug)]
pub struct Radon;
impl NormExponent for Radon {}

/// A trait for (Radon) measures.
///
/// Currently has no methods, just the requirement that the Radon norm be implemented.
pub trait Measure<F: Num>: Norm<Radon, F> {
    type Domain;
}

/// Decomposition of measures
pub struct MeasureDecomp;