data-base-1.1: Utilities for accessing and comparing types based on so called bases - representations with limited polymorphism.

Safe HaskellNone
LanguageHaskell2010

Data.Base

Documentation

type family Base a :: * Source

type family Bases a Source

Equations

Bases `[]` = `[]` 
Bases (a : as) = Base a : Bases as