Struct IdrisInterfaceExt 

pub struct IdrisInterfaceExt {
    pub name: String,
    pub params: Vec<(String, IdrisType)>,
    pub constraints: Vec<IdrisType>,
    pub methods: Vec<(String, IdrisType, Option<IdrisExpr>)>,
    pub visibility: Visibility,
    pub doc: Option<String>,
}

An Idris 2 interface definition.

Fields

name: String

Interface name.

params: Vec<(String, IdrisType)>

Type parameters.

constraints: Vec<IdrisType>

Superclass constraints.

methods: Vec<(String, IdrisType, Option<IdrisExpr>)>

Method declarations: (name, type, optional default impl).

visibility: Visibility

Visibility.

doc: Option<String>

Optional doc comment.

Implementations

impl IdrisInterfaceExt

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

Create a minimal interface definition.

pub fn add_method(&mut self, name: impl Into<String>, ty: IdrisType)

Add a method signature.

pub fn add_method_with_default( &mut self, name: impl Into<String>, ty: IdrisType, default: IdrisExpr, )

Add a method with a default implementation.

pub fn emit(&self) -> String

Emit the interface definition.

Trait Implementations

impl Clone for IdrisInterfaceExt

fn clone(&self) -> IdrisInterfaceExt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdrisInterfaceExt

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

Formats the value using the given formatter.