1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13

use super::{LCons, LNil, TList};

// {,non-}empty list trait

/// Marks an empty [TList].
pub trait EmptyTList: TList {}

impl EmptyTList for LNil {}

/// Marks a non-empty [TList].
pub trait NonEmptyTList: TList {}

impl<Head, Tail> NonEmptyTList for LCons<Head, Tail> where Tail: TList {}