Trait purescript_waterslide::AsPursType
[−]
[src]
pub trait AsPursType: AsPursConstructor { fn as_purs_type() -> PursType; }
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
fn as_purs_type() -> PursType
Statically procudes a PursType instance