telltale-types 14.0.0

Core session types for Telltale - matching Lean definitions
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Value Types for Session Type Payloads
//!
//! Shared `ValType` definition matching Lean's `SessionTypes.ValType`.
//! Represents the types of values carried in messages.

use serde::{Deserialize, Serialize};

/// Value types for message payloads in session types.
///
/// Corresponds to Lean's `SessionTypes.ValType`.
#[derive(Debug, Clone, PartialEq, Eq, Hash, Serialize, Deserialize)]
pub enum ValType {
    Unit,
    Bool,
    Nat,
    String,
    Prod(Box<ValType>, Box<ValType>),
    /// Channel endpoint type (session id, role)
    Chan {
        sid: usize,
        role: std::string::String,
    },
}