type-level-0.2: Type-level programming librarySource codeContentsIndex
Data.TypeLevel.Num.Aliases
Portabilitynon-portable (Template Haskell)
Stabilityexperimental
Maintaineralfonso.acosta@gmail.com
Description

Type synonym aliases of type-level numerals and their value-level reflecting functions. Generated for user convenience.

Aliases are generated using binary, octal, decimal and hexadecimal bases. Available aliases cover binaries up to b10000000000, octals up to o10000, decimals up to d5000 and hexadecimals up to h1000

Documentation
type B0 = D0Source
type O0 = D0Source
type H0 = D0Source
type B1 = D1Source
type O1 = D1Source
type H1 = D1Source
type B10 = D2Source
type O2 = D2Source
type H2 = D2Source
type B11 = D3Source
type O3 = D3Source
type H3 = D3Source
type B100 = D4Source
type O4 = D4Source
type H4 = D4Source
type B101 = D5Source
type O5 = D5Source
type H5 = D5Source
type B110 = D6Source
type O6 = D6Source
type H6 = D6Source
type B111 = D7Source
type O7 = D7Source
type H7 = D7Source
type B1000 = D8Source
type O10 = D8Source
type H8 = D8Source
type B1001 = D9Source
type O11 = D9Source
type H9 = D9Source
type B1010 = :* D1 D0Source
type O12 = :* D1 D0Source
type D10 = :* D1 D0Source
type HA = :* D1 D0Source
type B1011 = :* D1 D1Source
type O13 = :* D1 D1Source
type D11 = :* D1 D1Source
type HB = :* D1 D1Source
type B1100 = :* D1 D2Source
type O14 = :* D1 D2Source
type D12 = :* D1 D2Source
type HC = :* D1 D2Source
type B1101 = :* D1 D3Source
type O15 = :* D1 D3Source
type D13 = :* D1 D3Source
type HD = :* D1 D3Source
type B1110 = :* D1 D4Source
type O16 = :* D1 D4Source
type D14 = :* D1 D4Source
type HE = :* D1 D4Source
type B1111 = :* D1 D5Source
type O17 = :* D1 D5Source
type D15 = :* D1 D5Source
type HF = :* D1 D5Source
type B10000 = :* D1 D6Source
type O20 = :* D1 D6Source
type D16 = :* D1 D6Source
type H10 = :* D1 D6Source
type B10001 = :* D1 D7Source
type O21 = :* D1 D7Source
type D17 = :* D1 D7Source
type H11 = :* D1 D7Source
type B10010 = :* D1 D8Source
type O22 = :* D1 D8Source
type D18 = :* D1 D8Source
type H12 = :* D1 D8Source
type B10011 = :* D1 D9Source
type O23 = :* D1 D9Source
type D19 = :* D1 D9Source
type H13 = :* D1 D9Source
type B10100 = :* D2 D0Source
type O24 = :* D2 D0Source
type D20 = :* D2 D0Source
type H14 = :* D2 D0Source
type B10101 = :* D2 D1Source
type O25 = :* D2 D1Source
type D21 = :* D2 D1Source
type H15 = :* D2 D1Source
type B10110 = :* D2 D2Source
type O26 = :* D2 D2Source
type D22 = :* D2 D2Source
type H16 = :* D2 D2Source
type B10111 = :* D2 D3Source
type O27 = :* D2 D3Source
type D23 = :* D2 D3Source
type H17 = :* D2 D3Source
type B11000 = :* D2 D4Source
type O30 = :* D2 D4Source
type D24 = :* D2 D4Source
type H18 = :* D2 D4Source
type B11001 = :* D2 D5Source
type O31 = :* D2 D5Source
type D25 = :* D2 D5Source
type H19 = :* D2 D5Source
type B11010 = :* D2 D6Source
type O32 = :* D2 D6Source
type D26 = :* D2 D6Source
type H1A = :* D2 D6Source
type B11011 = :* D2 D7Source
type O33 = :* D2 D7Source
type D27 = :* D2 D7Source
type H1B = :* D2 D7Source
type B11100 = :* D2 D8Source
type O34 = :* D2 D8Source
type D28 = :* D2 D8Source
type H1C = :* D2 D8Source
type B11101 = :* D2 D9Source
type O35 = :* D2 D9Source
type D29 = :* D2 D9Source
type H1D = :* D2 D9Source
type B11110 = :* D3 D0Source
type O36 = :* D3 D0Source
type D30 = :* D3 D0Source
type H1E = :* D3 D0Source
type B11111 = :* D3 D1Source
type O37 = :* D3 D1Source
type D31 = :* D3 D1Source
type H1F = :* D3 D1Source
type B100000 = :* D3 D2Source
type O40 = :* D3 D2Source
type D32 = :* D3 D2Source
type H20 = :* D3 D2Source
type B100001 = :* D3 D3Source
type O41 = :* D3 D3Source
type D33 = :* D3 D3Source
type H21 = :* D3 D3Source
type B100010 = :* D3 D4Source
type O42 = :* D3 D4Source
type D34 = :* D3 D4Source
type H22 = :* D3 D4Source
type B100011 = :* D3 D5Source
type O43 = :* D3 D5Source
type D35 = :* D3 D5Source
type H23 = :* D3 D5Source
type B100100 = :* D3 D6Source
type O44 = :* D3 D6Source
type D36 = :* D3 D6Source
type H24 = :* D3 D6Source
type B100101 = :* D3 D7Source
type O45 = :* D3 D7Source
type D37 = :* D3 D7Source
type H25 = :* D3 D7Source
type B100110 = :* D3 D8Source
type O46 = :* D3 D8Source
type D38 = :* D3 D8Source
type H26 = :* D3 D8Source
type B100111 = :* D3 D9Source
type O47 = :* D3 D9Source
type D39 = :* D3 D9Source
type H27 = :* D3 D9Source
type B101000 = :* D4 D0Source
type O50 = :* D4 D0Source
type D40 = :* D4 D0Source
type H28 = :* D4 D0Source
type B101001 = :* D4 D1Source
type O51 = :* D4 D1Source
type D41 = :* D4 D1Source
type H29 = :* D4 D1Source
type B101010 = :* D4 D2Source
type O52 = :* D4 D2Source
type D42 = :* D4 D2Source
type H2A = :* D4 D2Source
type B101011 = :* D4 D3Source
type O53 = :* D4 D3Source
type D43 = :* D4 D3Source
type H2B = :* D4 D3Source
type B101100 = :* D4 D4Source
type O54 = :* D4 D4Source
type D44 = :* D4 D4Source
type H2C = :* D4 D4Source
type B101101 = :* D4 D5Source
type O55 = :* D4 D5Source
type D45 = :* D4 D5Source
type H2D = :* D4 D5Source
type B101110 = :* D4 D6Source
type O56 = :* D4 D6Source
type D46 = :* D4 D6Source
type H2E = :* D4 D6Source
type B101111 = :* D4 D7Source
type O57 = :* D4 D7Source
type D47 = :* D4 D7Source
type H2F = :* D4 D7Source
type B110000 = :* D4 D8Source
type O60 = :* D4 D8Source
type D48 = :* D4 D8Source
type H30 = :* D4 D8Source
type B110001 = :* D4 D9Source
type O61 = :* D4 D9Source
type D49 = :* D4 D9Source
type H31 = :* D4 D9Source
type B110010 = :* D5 D0Source
type O62 = :* D5 D0Source
type D50 = :* D5 D0Source
type H32 = :* D5 D0Source
type B110011 = :* D5 D1Source
type O63 = :* D5 D1Source
type D51 = :* D5 D1Source
type H33 = :* D5 D1Source
type B110100 = :* D5 D2Source
type O64 = :* D5 D2Source
type D52 = :* D5 D2Source
type H34 = :* D5 D2Source
type B110101 = :* D5 D3Source
type O65 = :* D5 D3Source
type D53 = :* D5 D3Source
type H35 = :* D5 D3Source
type B110110 = :* D5 D4Source
type O66 = :* D5 D4Source
type D54 = :* D5 D4Source
type H36 = :* D5 D4Source
type B110111 = :* D5 D5Source
type O67 = :* D5 D5Source
type D55 = :* D5 D5Source
type H37 = :* D5 D5Source
type B111000 = :* D5 D6Source
type O70 = :* D5 D6Source
type D56 = :* D5 D6Source
type H38 = :* D5 D6Source
type B111001 = :* D5 D7Source
type O71 = :* D5 D7Source
type D57 = :* D5 D7Source
type H39 = :* D5 D7Source
type B111010 = :* D5 D8Source
type O72 = :* D5 D8Source
type D58 = :* D5 D8Source
type H3A = :* D5 D8Source
type B111011 = :* D5 D9Source
type O73 = :* D5 D9Source
type D59 = :* D5 D9Source
type H3B = :* D5 D9Source
type B111100 = :* D6 D0Source
type O74 = :* D6 D0Source
type D60 = :* D6 D0Source
type H3C = :* D6 D0Source
type B111101 = :* D6 D1Source
type O75 = :* D6 D1Source
type D61 = :* D6 D1Source
type H3D = :* D6 D1Source
type B111110 = :* D6 D2Source
type O76 = :* D6 D2Source
type D62 = :* D6 D2Source
type H3E = :* D6 D2Source
type B111111 = :* D6 D3Source
type O77 = :* D6 D3Source
type D63 = :* D6 D3Source
type H3F = :* D6 D3Source
type B1000000 = :* D6 D4Source
type O100 = :* D6 D4Source
type D64 = :* D6 D4Source
type H40 = :* D6 D4Source
type B1000001 = :* D6 D5Source
type O101 = :* D6 D5Source
type D65 = :* D6 D5Source
type H41 = :* D6 D5Source
type B1000010 = :* D6 D6Source
type O102 = :* D6 D6Source
type D66 = :* D6 D6Source
type H42 = :* D6 D6Source
type B1000011 = :* D6 D7Source
type O103 = :* D6 D7Source
type D67 = :* D6 D7Source
type H43 = :* D6 D7Source
type B1000100 = :* D6 D8Source
type O104 = :* D6 D8Source
type D68 = :* D6 D8Source
type H44 = :* D6 D8Source
type B1000101 = :* D6 D9Source
type O105 = :* D6 D9Source
type D69 = :* D6 D9Source
type H45 = :* D6 D9Source
type B1000110 = :* D7 D0Source
type O106 = :* D7 D0Source
type D70 = :* D7 D0Source
type H46 = :* D7 D0Source
type B1000111 = :* D7 D1Source
type O107 = :* D7 D1Source