Trait CanElaborate

pub trait CanElaborate<T, S> {
    // Required method
    fn elab(&self, x: &T) -> Result<S, String>;
}

Required Methods

fn elab(&self, x: &T) -> Result<S, String>

Implementors

impl CanElaborate<Mor, TabEdge<Uuid, Uuid>> for Elaborator

impl CanElaborate<Mor, Path<TabOb<Uuid, Uuid>, TabEdge<Uuid, Uuid>>> for Elaborator

impl CanElaborate<Mor, Path<Uuid, Uuid>> for Elaborator

impl CanElaborate<Ob, TabOb<Uuid, Uuid>> for Elaborator

impl CanElaborate<Ob, Uuid> for Elaborator

impl CanElaborate<MorType, TabMorType<Ustr, Ustr>> for Elaborator

impl CanElaborate<MorType, Path<Ustr, Ustr>> for Elaborator

impl CanElaborate<ObType, TabObType<Ustr, Ustr>> for Elaborator

impl CanElaborate<ObType, Ustr> for Elaborator