type-level-tf-0.2.1: Type-level programming library (type families)

Portabilitynon-portable
Stabilityexperimental
Maintaineralfonso.acosta@gmail.com

Data.TypeLevel.Num

Description

This module is a wrapper for all the publicly usable numerical types and functions of the type-level library.

Documentation

module Data.TypeLevel.Num.Reps

module Data.TypeLevel.Num.Aliases

module Data.TypeLevel.Num.Sets

module Data.TypeLevel.Num.Ops