Struct IdrisImpl 

pub struct IdrisImpl {
    pub impl_name: Option<String>,
    pub constraints: Vec<(String, Vec<IdrisType>)>,
    pub interface: String,
    pub args: Vec<IdrisType>,
    pub methods: Vec<IdrisFunction>,
    pub visibility: Visibility,
}

An implementation (type class instance) block.

Fields

impl_name: Option<String>

Optional implementation name (e.g. [NatEq]).

constraints: Vec<(String, Vec<IdrisType>)>

Constraints: Eq a =>.

interface: String

Interface being implemented.

args: Vec<IdrisType>

Type arguments.

methods: Vec<IdrisFunction>

Method implementations.

visibility: Visibility

Visibility.

Implementations

impl IdrisImpl

pub fn emit(&self, indent: usize) -> String

Emit this implementation block.

Trait Implementations

impl Clone for IdrisImpl

fn clone(&self) -> IdrisImpl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdrisImpl

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

Formats the value using the given formatter.

impl PartialEq for IdrisImpl

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