Struct IdrisImplementation 

pub struct IdrisImplementation {
    pub name: Option<String>,
    pub interface: String,
    pub type_args: Vec<IdrisType>,
    pub constraints: Vec<IdrisType>,
    pub clauses: Vec<IdrisFunction>,
    pub visibility: Visibility,
}

An Idris 2 implementation (instance) of an interface.

Fields

name: Option<String>

Optional implementation name.

interface: String

Interface name being implemented.

type_args: Vec<IdrisType>

Type arguments.

constraints: Vec<IdrisType>

Constraints on the implementation.

clauses: Vec<IdrisFunction>

Method clauses: function definitions.

visibility: Visibility

Visibility.

Implementations

impl IdrisImplementation

pub fn new(interface: impl Into<String>, type_args: Vec<IdrisType>) -> Self

Create a new implementation.

pub fn add_method(&mut self, func: IdrisFunction)

Add a method clause.

pub fn emit(&self, backend: &IdrisBackend) -> String

Emit the implementation block.

Trait Implementations

impl Clone for IdrisImplementation

fn clone(&self) -> IdrisImplementation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdrisImplementation

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

Formats the value using the given formatter.