Enum Ty 

pub enum Ty {
    Var(TyVarId),
    Con(Arc<str>, Vec<Ty>),
    Fun(Vec<Ty>, Box<Ty>, Row),
}

Variants

Var(TyVarId)

Con(Arc<str>, Vec<Ty>)

A named type constructor applied to arguments: Int, list[T], Map[K,V], Signal[T], secret[T], and every user model/union/newtype.

Fun(Vec<Ty>, Box<Ty>, Row)

A function, with the effect row it performs when applied. §3.2’s (A) -> B ! e.

Implementations

impl Ty

pub const INT: &'static str = "Int"

pub const STR: &'static str = "Str"

pub const BOOL: &'static str = "Bool"

pub const FLOAT: &'static str = "Float"

pub const UNIT: &'static str = "Unit"

pub const HTML: &'static str = "Html"

pub const ATTR: &'static str = "Attr"

pub const LIST: &'static str = "list"

pub const MAP: &'static str = "Map"

pub const OPTION: &'static str = "Option"

pub const RESULT: &'static str = "Result"

pub const STREAM: &'static str = "Stream"

pub const SIGNAL: &'static str = "Signal"

pub const ENVELOPE: &'static str = "Envelope"

pub const SECRET: &'static str = "secret"

§3.5: “secret[T] is not Sendable”. The one type constructor whose whole purpose is to fail a boundary check.

pub const INTERNAL: &'static str = "internal"

The other half of that story, and the quadrant secret[T] alone leaves empty: may be written to the log, may never cross a boundary.

An event-sourced system has to record what happened, including facts a client must never see — why an account was suspended, which rule fired, what an upstream vendor called the customer. secret[T] cannot express that, because a secret is also not storable (§3.7’s F5: tokens must never be persisted into an immutable log). Without internal[T] the choice is between dropping the fact from the audit trail and trusting that no view ever renders it, and “trusting” is the word this language exists to delete.

pub fn con(name: &str) -> Ty

pub fn app(name: &str, args: Vec<Ty>) -> Ty

pub fn fun(params: Vec<Ty>, ret: Ty) -> Ty

A pure function — the common case, and the one worth being short.

pub fn fun_eff(params: Vec<Ty>, ret: Ty, row: Row) -> Ty

A function with an effect row.

pub fn int() -> Ty

pub fn str_() -> Ty

pub fn bool_() -> Ty

pub fn unit() -> Ty

pub fn html() -> Ty

pub fn list(t: Ty) -> Ty

pub fn map(k: Ty, v: Ty) -> Ty

pub fn option(t: Ty) -> Ty

pub fn signal(t: Ty) -> Ty

pub fn stream(t: Ty) -> Ty

pub fn secret(t: Ty) -> Ty

pub fn internal(t: Ty) -> Ty

pub fn con_name(&self) -> Option<&str>

Trait Implementations

impl Clone for Ty

fn clone(&self) -> Ty

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Ty

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Ty

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Ty

fn eq(&self, other: &Ty) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Ty

impl StructuralPartialEq for Ty