metals-poly 0.1.1

Poly library provides the interface and interface type abstractions that form the foundations of the meta programming in Metals
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

/*
 * Copyright 2022 Weavers @ Eternal Loom. All rights reserved.
 * Use of this software is governed by the license that can be
 * found in LICENSE file in the source repository.
 */

//! _Poly_ contains _interfaces and types_ for modeling behaviors and states
//! of systems.
//!
//! An _interface_ specifies the observable behavior of a system. By combining
//! some elegant mathematics and proven program modeling concepts, _poly_ will
//! extend them to include _states_, finally arriving at a unified modeling
//! framework for composing complex systems from simpler ones.
//!
//! [`metals`] turn interfaces into models that can _talk and run_ at the
//! same time, talks as in its ability to communicate clearly about the
//! systems they represent and run as in they are executable.
//!
//! ## Overview
//!
//! ## Metals book
//!
//! The [metals book][`metals-book`] contains introduction to modeling,
//! guides for modeling with [`metals`] and deeper dive into technical and
//! mathematical background.
//!
//! Please note that this is still work in progress.
//!
//! [`metals`]: https://docs.rs/metals/
//! [`metals-book`]: https://metals.compos.dev
//! [`metals-poly`]: https://docs.rs/metals-poly/
//!

#![doc(html_no_source)]
#![warn(
    missing_debug_implementations,
    missing_docs,
    rust_2018_idioms,
    unreachable_pub
)]
#![forbid(unsafe_code)]

pub mod interface;

// Re-exports from [`interface`] module.
#[doc(inline)]
pub use interface::Interface;
#[doc(inline)]
pub use interface::InterfaceType;