Struct TypesBuilder

pub struct TypesBuilder {
    pub prelude: String,
    pub start_namespace: Box<dyn Fn(&[String], &str) -> String>,
    pub end_namespace: Box<dyn Fn(&[String], &str) -> String>,
    pub decl: Box<dyn Fn(DynTapi) -> Option<String>>,
}

Fields

prelude: String

start_namespace: Box<dyn Fn(&[String], &str) -> String>

end_namespace: Box<dyn Fn(&[String], &str) -> String>

decl: Box<dyn Fn(DynTapi) -> Option<String>>

Implementations

impl TypesBuilder

pub fn types(&self, tys: impl IntoIterator<Item = DynTapi>) -> String