purescript_waterslide

Trait AsPursType

Source 
pub trait AsPursType: AsPursConstructor {
    // Required method
    fn as_purs_type() -> PursType;
}
Expand description

Struct and enums that implement that trait can be part of generated modules. AsPursType is required to produce a data type definition, whereas AsPursConstructor and its corresponding struct PursConstructor are necessary to use a type in definitions.

Required Methods§

Source

fn as_purs_type() -> PursType

Statically procudes a PursType instance

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§