Trait serde_dhall::StaticType

pub trait StaticType {
    fn static_type() -> Value;
}

A Rust type that can be represented as a Dhall type.

A typical example is Option<bool>, represented by the dhall expression Optional Bool.

This trait can and should be automatically derived.

The representation needs to be independent of the value. For this reason, something like HashMap<String, bool> cannot implement StaticType because each different value would have a different Dhall record type.

Required methods

fn static_type() -> Value

Loading content...

Implementations on Foreign Types

impl StaticType for bool

fn static_type() -> Value

impl StaticType for Natural

fn static_type() -> Value

impl StaticType for u64

fn static_type() -> Value

impl StaticType for Integer

fn static_type() -> Value

impl StaticType for String

fn static_type() -> Value

impl<A, B> StaticType for (A, B) where
    A: StaticType,
    B: StaticType, 

fn static_type() -> Value

impl<T, E> StaticType for Result<T, E> where
    T: StaticType,
    E: StaticType, 

fn static_type() -> Value

impl<T> StaticType for Option<T> where
    T: StaticType, 

fn static_type() -> Value

impl<T> StaticType for Vec<T> where
    T: StaticType, 

fn static_type() -> Value

impl<'a, T> StaticType for &'a T where
    T: StaticType, 

fn static_type() -> Value

Loading content...

Implementors

Loading content...