Enum StdCategory 

pub enum StdCategory {
    Arithmetic,
    Logic,
    Data,
    TypeClass,
    IO,
    String,
    Tactic,
    Universe,
}

A category tag for standard library modules.

Variants

Arithmetic

Core arithmetic (Nat, Int).

Logic

Logic (Prop, And, Or, Not, Iff).

Data

Data structures (List, Array, Option, etc.).

TypeClass

Type classes (Eq, Ord, Functor, etc.).

IO

IO and system operations.

String

String operations.

Tactic

Tactics and proof automation.

Universe

Universe polymorphism.

Implementations

impl StdCategory

pub fn label(self) -> &'static str

Human-readable label.

Trait Implementations

impl Clone for StdCategory

fn clone(&self) -> StdCategory

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StdCategory

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

Formats the value using the given formatter.

impl Hash for StdCategory

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for StdCategory

fn eq(&self, other: &StdCategory) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for StdCategory

impl Eq for StdCategory

impl StructuralPartialEq for StdCategory