#logic #dark #black #magic #horrible

summon

A logic engine designed to magically give you what you ask for

4 releases (2 breaking)

0.3.1 Apr 24, 2020
0.3.0 Apr 24, 2020
0.2.0 Apr 24, 2020
0.1.0 Apr 24, 2020

#11 in #black

MIT license

15KB
179 lines

summon

Crates.io MIT/Apache docs.rs LoC Tests Lints

A logic engine designed to magically give you what you ask for

Nightly is required because the code does some questionable things.

Do you want to study the dark arts? If so, then read the code, but beware!

Example

#![feature(const_type_id)]
use summon::{Tome, circle};

#[derive(Clone)]
struct ConstantAcceleration(f64);
#[derive(Clone)]
struct InitialVelocity(f64);
#[derive(Clone)]
struct InitialPosition(f64);
#[derive(Clone)]
struct Time(f64);

#[derive(Debug)]
struct Distance(f64);

// The tome is where all the logic and conversions are written in your code.
let mut tome = Tome::new();

// You can use ether() to give types as givens.
tome.ether(ConstantAcceleration(3.0));
tome.ether(InitialVelocity(5.0));
tome.ether(InitialPosition(6.0));
tome.ether(Time(4.0));

// Inscribe is used to describe a conversion between types.
// Several macros are provided for convenience.
// This one lets you destructure and type construct freely.
tome.inscribe(
    circle!(ConstantAcceleration(a), InitialVelocity(v), InitialPosition(p), Time(t) => Distance(0.5 * a * t.powi(2) + v * t + p))
);

// So long as it is possible to produce the result with the given inscriptions, it will be produced.
let summoned = tome.summon::<Distance>().unwrap().0;
assert_eq!(
    0.5 * 3.0 * 4.0f64.powi(2) + 5.0 * 4.0 + 6.0,
    summoned,
);

Code Disclaimer

Rust was not meant to do this. Turn back now! The code is known to induce illness to the reader if they are a software engineer. Please proceed with caution. I am not responsible if reading of the code causes chronic facial convulsions and/or death. The reader must proceed at their own risk. You have been warned!

Dependencies

~11KB