Trait enso_prelude::KnownTypeValue

pub trait KnownTypeValue {
    type Value;
    fn value() -> Self::Value;
}

Defines relation between types and values, like between True and true.

Associated Types

type Value

The value-level counterpart of this type-value.

Required methods

fn value() -> Self::Value

The value of this type-value.

Implementors

impl KnownTypeValue for False

type Value = bool

fn value() -> Self::Value

impl KnownTypeValue for True

type Value = bool

fn value() -> Self::Value