gdp_rs 0.0.1

A library for implementing Ghosts-of-departed-proofs pattern in rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

use frunk_core::hlist::{HCons, HList, HNil};

use super::Proposition;

/// A trait for `HList` of [`Proposition`]s..
pub trait PropositionList<S>: HList {}

impl<S, H, T> PropositionList<S> for HCons<H, T>
where
    H: Proposition<S>,
    T: PropositionList<S>,
{
}

impl<S> PropositionList<S> for HNil {}