| Copyright | (c) 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and KTH's SAM group |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | alfonso.acosta@gmail.com |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell98 |
Data.TypeLevel
Description
This module is a wrapper for all the publicly usable types and functions of the type-level library.