generic-std 0.1.0

Experimental HKT framework and generic traits for the standard library
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

//! HKT forms for references.

use crate::plug::{PlugLifetime, PlugType};
use std::marker::PhantomData;

/// HKT `&'a T` with a lifetime and a type slot.
pub struct H2Reference;

impl<'a> PlugLifetime<'a> for H2Reference {
    type T = H1Reference<'a>;
}

/// HKT `&'a T` with a type slot.
pub struct H1Reference<'a>(PhantomData<&'a ()>);

impl<'a, T> PlugType<T> for H1Reference<'a>
where
    T: 'a + ?Sized,
{
    type T = &'a T;
}

/// HKT `&'a T` with a lifetime slot.
pub struct TypedH1Reference<T>(PhantomData<T>)
where
    T: ?Sized;

impl<'a, T> PlugLifetime<'a> for TypedH1Reference<T>
where
    T: 'a + ?Sized,
{
    type T = &'a T;
}