Struct Nil 

pub struct Nil;

The concrete type for our empty HList representant

Trait Implementations

impl Debug for Nil

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl List for Nil

fn unit() -> Self

This is an inhabitant of the List type corresponding to the Self type

fn is_empty() -> bool

THis returns whether the list is empty

impl Normalize for Nil

type Output = Nil

The output of the normalization

impl ToIOPattern for Nil

fn to_iopattern() -> IOPattern

Converts the type-level pattern to its term-level representation