Enum OcamlType 

pub enum OcamlType {
    Int,
    Float,
    Bool,
    Char,
    String,
    Unit,
    Never,
    List(Box<OcamlType>),
    Array(Box<OcamlType>),
    Tuple(Vec<OcamlType>),
    Option(Box<OcamlType>),
    Result(Box<OcamlType>, Box<OcamlType>),
    Fun(Box<OcamlType>, Box<OcamlType>),
    Custom(String),
    Polymorphic(String),
    Module(String),
}

OCaml type representation.

Variants

Int

int

Float

float

Bool

bool

Char

char

String

string

Unit

unit

Never

Bottom type (represented as 'a with no instances in practice)

List(Box<OcamlType>)

t list

Array(Box<OcamlType>)

t array

Tuple(Vec<OcamlType>)

t1 * t2 * ... (product/tuple type)

Option(Box<OcamlType>)

t option

Result(Box<OcamlType>, Box<OcamlType>)

(t, e) result

Fun(Box<OcamlType>, Box<OcamlType>)

a -> b (function type)

Custom(String)

A named type: my_type, Tree.t

Polymorphic(String)

A type variable: 'a, 'b

Module(String)

A module path type: MyModule.t

Trait Implementations

impl Clone for OcamlType

fn clone(&self) -> OcamlType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OcamlType

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

Formats the value using the given formatter.

impl Display for OcamlType

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

Formats the value using the given formatter.

impl Hash for OcamlType

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 OcamlType

fn eq(&self, other: &OcamlType) -> 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 Eq for OcamlType

impl StructuralPartialEq for OcamlType