Struct Deriver 

pub struct Deriver;

The main derivation engine.

Transforms categorical specifications into type systems using the Curry-Howard-Lambek correspondence.

Implementations

impl Deriver

pub fn derive(spec: &CategorySpec) -> TypeSystem

Derive a type system from a categorical specification.

This is the main entry point for derivation.

Example

use csw_core::CategoryBuilder;
use csw_derive::Deriver;

let ccc = CategoryBuilder::new("STLC")
    .with_terminal()
    .with_products()
    .with_exponentials()
    .cartesian()
    .build()
    .unwrap();

let ts = Deriver::derive(&ccc);
assert_eq!(ts.name, "STLC");