polyhorn-core 0.4.0

Core types used in Polyhorn.
Documentation
1
2
3
4
5
6
7
8
use super::{Element, Manager, Platform};

pub trait Component<P>: Clone
where
    P: Platform + ?Sized,
{
    fn render(&self, manager: &mut Manager<P>) -> Element<P>;
}