[−][src]Trait sspds::transforms::Transformation

pub trait Transformation {
    type Err;
    type Aux;
    fn transform(&self) -> Result<(Composition, Self::Aux), Self::Err>;
}

Associated Types

type Err

type Aux

Loading content...

Required methods

fn transform(&self) -> Result<(Composition, Self::Aux), Self::Err>

Loading content...

Implementors

impl Transformation for Transform[src]

type Err = TypeCheckError

type Aux = Scope

impl<'a> Transformation for sspds::transforms::oraclelowlevelify::Transformation<'a>[src]

type Err = ()

type Aux = ()

impl<'a> Transformation for sspds::transforms::returnify::Transformation<'a>[src]

type Err = ()

type Aux = ()

impl<'a> Transformation for sspds::transforms::treeify::Transformation<'a>[src]

type Err = ()

type Aux = ()

impl<'a> Transformation for sspds::transforms::varspecify::Transformation<'a>[src]

type Err = ()

type Aux = ()

Loading content...