Copyright | (c) Paweł Nowak |
---|---|

License | MIT |

Maintainer | Paweł Nowak <pawel834@gmail.com> |

Stability | experimental |

Safe Haskell | None |

Language | Haskell2010 |

Appending type lists and HLists.

# Documentation

appendAssoc :: Proxy a -> Proxy b -> Proxy c -> ((a ++ b) ++ c) :~: (a ++ (b ++ c)) Source

Proof (by unsafeCoerce) that appending is associative.

appendRightId :: Proxy a -> (a ++ []) :~: a Source

Proof (by unsafeCoerce) that '[] is a right identity of (++).