type-level-0.2.4: Type-level programming library
Source code
Contents
Index
Data.TypeLevel
Portability
non-portable
Stability
experimental
Maintainer
alfonso.acosta@gmail.com
Description
This module is a wrapper for all the publicly usable types and functions of the type-level library.
Documentation
module
Data.TypeLevel.Num
module
Data.TypeLevel.Bool
Produced by
Haddock
version 2.6.0