Enum Type 

pub enum Type<'a> {
    Bool,
    Integer,
    String,
    ByteString,
    Unit,
    List(&'a Type<'a>),
    Array(&'a Type<'a>),
    Pair(&'a Type<'a>, &'a Type<'a>),
    Data,
    Bls12_381G1Element,
    Bls12_381G2Element,
    Bls12_381MlResult,
}

Variants

Bool

Integer

String

ByteString

Unit

List(&'a Type<'a>)

Array(&'a Type<'a>)

Pair(&'a Type<'a>, &'a Type<'a>)

Data

Bls12_381G1Element

Bls12_381G2Element

Bls12_381MlResult

Implementations

impl<'a> Type<'a>

pub fn integer(arena: &'a Arena) -> &'a Type<'a>

pub fn bool(arena: &'a Arena) -> &'a Type<'a>

pub fn string(arena: &'a Arena) -> &'a Type<'a>

pub fn byte_string(arena: &'a Arena) -> &'a Type<'a>

pub fn unit(arena: &'a Arena) -> &'a Type<'a>

pub fn data(arena: &'a Arena) -> &'a Type<'a>

pub fn list(arena: &'a Arena, inner: &'a Type<'a>) -> &'a Type<'a>

pub fn array(arena: &'a Arena, inner: &'a Type<'a>) -> &'a Type<'a>

pub fn pair( arena: &'a Arena, fst: &'a Type<'a>, snd: &'a Type<'a>, ) -> &'a Type<'a>

pub fn g1(arena: &'a Arena) -> &'a Type<'a>

pub fn g2(arena: &'a Arena) -> &'a Type<'a>

pub fn ml_result(arena: &'a Arena) -> &'a Type<'a>

Trait Implementations

impl<'a> Debug for Type<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq for Type<'a>

fn eq(&self, other: &Type<'a>) -> 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<'a> StructuralPartialEq for Type<'a>