🥮 mooncakes.io
    Sign in

    nat

    Type-level natural number literals

    Download zip
    Version
    0.1.0
    License
    Apache-2.0
    Repository
    Last updated
    10 months ago
    Downloads
    4K

    No dependencies

    #tonyfettes/nat

    A MoonBit library for type-level natural number literals.

    #Overview

    This library provides a way to represent natural numbers at the type level in MoonBit. While the numeric values are computed at runtime, the type-level encoding allows the type system to track and verify numeric constraints at compile time. It supports both decimal and hexadecimal number systems.

    #Features

    • Type-level natural numbers: Encode natural numbers directly in the type system
    • Decimal literals: Use types like Od1, Od2, etc. to represent decimal digits (0-9)
    • Hexadecimal literals: Use types like Ox1, OxA, etc. to represent hexadecimal digits (0-F)
    • Runtime conversion: Convert type-level numbers to runtime Int or UInt64 values
    • Static type checking: Ensure numeric constraints are verified at compile time

    #Use Cases

    Type-level natural numbers are particularly useful for:

    • Multi-dimensional arrays with statically known sizes: Encode array dimensions in the type system to prevent dimension mismatches at compile time
    • C FFI (Foreign Function Interface): Represent fixed-size buffers, array dimensions, or other numeric constants required by C APIs in a type-safe manner
    • Compile-time constraints: Any scenario where you need to enforce numeric constraints through the type system

    #Usage

    #Basic Usage

    // Convert a type-level number to UInt64
    let value = to_uint64((_ : Od42[Z]) => ())  // Returns 42 as UInt64

    // Convert to Int
    let int_value = to_int((_ : Od42[Z]) => ())  // Returns 42 as Int

    #Decimal Numbers

    Decimal digits are represented using types Od0 through Od9:

    to_uint64((_ : Od5[Z]) => ())           // 5
    to_uint64((_ : Od3[Od21[Z]]) => ())     // 321
    to_uint64((_ : Od12[Od34[Od56[Z]]]) => ())  // 123456

    The digits are composed right-to-left, with Z representing zero at the base.

    #Hexadecimal Numbers

    Hexadecimal digits are represented using types Ox0 through OxF:

    to_uint64((_ : OxA[Z]) => ())           // 10
    to_uint64((_ : OxF[Z]) => ())           // 15
    to_uint64((_ : Ox12[Ox34[Ox56[Z]]]) => ())  // 0x123456

    #Multi-digit Numbers

    You can compose larger numbers by nesting digit types. Pre-defined convenience types are available for common two-digit combinations:

    // Using convenience types
    to_uint64((_ : Od12[Z]) => ())          // 12
    to_uint64((_ : Od99[Z]) => ())          // 99

    // Using nested types
    to_uint64((_ : Od2[Od10[Z]]) => ())     // 210

    #Installation

    Add this to your moon.mod.json dependencies:

    moon update
moon add tonyfettes/nat

    #API

    #Types

    • Z: Represents zero at the base of a number
    • Od0[T] through Od9[T]: Decimal digit types
    • Ox0[T] through OxF[T]: Hexadecimal digit types
    • Pre-defined convenience types for two-digit combinations (e.g., Od10, Od42, Ox1A)

    #Functions

    pub fn[T : ToUInt64] to_uint64(_ : (T) -> Unit) -> UInt64
    pub fn[T : ToInt] to_int(_ : (T) -> Unit) -> Int

    Convert a type-level number to a runtime value.

    #How It Works

    The library uses MoonBit's trait system to encode numbers at the type level. Each digit type implements the ToUInt64 and ToInt traits, which recursively compute the numeric value at runtime by multiplying the accumulated value by the base (10 for decimal, 16 for hexadecimal) and adding the digit. While the computation happens at runtime, the type-level encoding allows the compiler to verify numeric constraints and dimensions at compile time.

    #License

    Apache-2.0

    #Contributing

    Contributions are welcome! Please feel free to submit issues or pull requests.

    Od00

    source
    type Od00[T] = Od0[Od0[T]]

    Od01

    source
    type Od01[T] = Od0[Od1[T]]

    Od02

    source
    type Od02[T] = Od0[Od2[T]]

    Od03

    source
    type Od03[T] = Od0[Od3[T]]

    Od04

    source
    type Od04[T] = Od0[Od4[T]]

    Od05

    source
    type Od05[T] = Od0[Od5[T]]

    Od06

    source
    type Od06[T] = Od0[Od6[T]]

    Od07

    source
    type Od07[T] = Od0[Od7[T]]

    Od08

    source
    type Od08[T] = Od0[Od8[T]]

    Od09

    source
    type Od09[T] = Od0[Od9[T]]

    Od10

    source
    type Od10[T] = Od1[Od0[T]]

    Od11

    source
    type Od11[T] = Od1[Od1[T]]

    Od12

    source
    type Od12[T] = Od1[Od2[T]]

    Od13

    source
    type Od13[T] = Od1[Od3[T]]

    Od14

    source
    type Od14[T] = Od1[Od4[T]]

    Od15

    source
    type Od15[T] = Od1[Od5[T]]

    Od16

    source
    type Od16[T] = Od1[Od6[T]]

    Od17

    source
    type Od17[T] = Od1[Od7[T]]

    Od18

    source
    type Od18[T] = Od1[Od8[T]]

    Od19

    source
    type Od19[T] = Od1[Od9[T]]

    Od20

    source
    type Od20[T] = Od2[Od0[T]]

    Od21

    source
    type Od21[T] = Od2[Od1[T]]

    Od22

    source
    type Od22[T] = Od2[Od2[T]]

    Od23

    source
    type Od23[T] = Od2[Od3[T]]

    Od24

    source
    type Od24[T] = Od2[Od4[T]]

    Od25

    source
    type Od25[T] = Od2[Od5[T]]

    Od26

    source
    type Od26[T] = Od2[Od6[T]]

    Od27

    source
    type Od27[T] = Od2[Od7[T]]

    Od28

    source
    type Od28[T] = Od2[Od8[T]]

    Od29

    source
    type Od29[T] = Od2[Od9[T]]

    Od30

    source
    type Od30[T] = Od3[Od0[T]]

    Od31

    source
    type Od31[T] = Od3[Od1[T]]

    Od32

    source
    type Od32[T] = Od3[Od2[T]]

    Od33

    source
    type Od33[T] = Od3[Od3[T]]

    Od34

    source
    type Od34[T] = Od3[Od4[T]]

    Od35

    source
    type Od35[T] = Od3[Od5[T]]

    Od36

    source
    type Od36[T] = Od3[Od6[T]]

    Od37

    source
    type Od37[T] = Od3[Od7[T]]

    Od38

    source
    type Od38[T] = Od3[Od8[T]]

    Od39

    source
    type Od39[T] = Od3[Od9[T]]

    Od40

    source
    type Od40[T] = Od4[Od0[T]]

    Od41

    source
    type Od41[T] = Od4[Od1[T]]

    Od42

    source
    type Od42[T] = Od4[Od2[T]]

    Od43

    source
    type Od43[T] = Od4[Od3[T]]

    Od44

    source
    type Od44[T] = Od4[Od4[T]]

    Od45

    source
    type Od45[T] = Od4[Od5[T]]

    Od46

    source
    type Od46[T] = Od4[Od6[T]]

    Od47

    source
    type Od47[T] = Od4[Od7[T]]

    Od48

    source
    type Od48[T] = Od4[Od8[T]]

    Od49

    source
    type Od49[T] = Od4[Od9[T]]

    Od50

    source
    type Od50[T] = Od5[Od0[T]]

    Od51

    source
    type Od51[T] = Od5[Od1[T]]

    Od52

    source
    type Od52[T] = Od5[Od2[T]]

    Od53

    source
    type Od53[T] = Od5[Od3[T]]

    Od54

    source
    type Od54[T] = Od5[Od4[T]]

    Od55

    source
    type Od55[T] = Od5[Od5[T]]

    Od56

    source
    type Od56[T] = Od5[Od6[T]]

    Od57

    source
    type Od57[T] = Od5[Od7[T]]

    Od58

    source
    type Od58[T] = Od5[Od8[T]]

    Od59

    source
    type Od59[T] = Od5[Od9[T]]

    Od60

    source
    type Od60[T] = Od6[Od0[T]]

    Od61

    source
    type Od61[T] = Od6[Od1[T]]

    Od62

    source
    type Od62[T] = Od6[Od2[T]]

    Od63

    source
    type Od63[T] = Od6[Od3[T]]

    Od64

    source
    type Od64[T] = Od6[Od4[T]]

    Od65

    source
    type Od65[T] = Od6[Od5[T]]

    Od66

    source
    type Od66[T] = Od6[Od6[T]]

    Od67

    source
    type Od67[T] = Od6[Od7[T]]

    Od68

    source
    type Od68[T] = Od6[Od8[T]]

    Od69

    source
    type Od69[T] = Od6[Od9[T]]

    Od70

    source
    type Od70[T] = Od7[Od0[T]]

    Od71

    source
    type Od71[T] = Od7[Od1[T]]

    Od72

    source
    type Od72[T] = Od7[Od2[T]]

    Od73

    source
    type Od73[T] = Od7[Od3[T]]

    Od74

    source
    type Od74[T] = Od7[Od4[T]]

    Od75

    source
    type Od75[T] = Od7[Od5[T]]

    Od76

    source
    type Od76[T] = Od7[Od6[T]]

    Od77

    source
    type Od77[T] = Od7[Od7[T]]

    Od78

    source
    type Od78[T] = Od7[Od8[T]]

    Od79

    source
    type Od79[T] = Od7[Od9[T]]

    Od80

    source
    type Od80[T] = Od8[Od0[T]]

    Od81

    source
    type Od81[T] = Od8[Od1[T]]

    Od82

    source
    type Od82[T] = Od8[Od2[T]]

    Od83

    source
    type Od83[T] = Od8[Od3[T]]

    Od84

    source
    type Od84[T] = Od8[Od4[T]]

    Od85

    source
    type Od85[T] = Od8[Od5[T]]

    Od86

    source
    type Od86[T] = Od8[Od6[T]]

    Od87

    source
    type Od87[T] = Od8[Od7[T]]

    Od88

    source
    type Od88[T] = Od8[Od8[T]]

    Od89

    source
    type Od89[T] = Od8[Od9[T]]

    Od90

    source
    type Od90[T] = Od9[Od0[T]]

    Od91

    source
    type Od91[T] = Od9[Od1[T]]

    Od92

    source
    type Od92[T] = Od9[Od2[T]]

    Od93

    source
    type Od93[T] = Od9[Od3[T]]

    Od94

    source
    type Od94[T] = Od9[Od4[T]]

    Od95

    source
    type Od95[T] = Od9[Od5[T]]

    Od96

    source
    type Od96[T] = Od9[Od6[T]]

    Od97

    source
    type Od97[T] = Od9[Od7[T]]

    Od98

    source
    type Od98[T] = Od9[Od8[T]]

    Od99

    source
    type Od99[T] = Od9[Od9[T]]

    Ox00

    source
    type Ox00[T] = Ox0[Ox0[T]]

    Ox01

    source
    type Ox01[T] = Ox0[Ox1[T]]

    Ox02

    source
    type Ox02[T] = Ox0[Ox2[T]]

    Ox03

    source
    type Ox03[T] = Ox0[Ox3[T]]

    Ox04

    source
    type Ox04[T] = Ox0[Ox4[T]]

    Ox05

    source
    type Ox05[T] = Ox0[Ox5[T]]

    Ox06

    source
    type Ox06[T] = Ox0[Ox6[T]]

    Ox07

    source
    type Ox07[T] = Ox0[Ox7[T]]

    Ox08

    source
    type Ox08[T] = Ox0[Ox8[T]]

    Ox09

    source
    type Ox09[T] = Ox0[Ox9[T]]

    Ox0A

    source
    type Ox0A[T] = Ox0[OxA[T]]

    Ox0B

    source
    type Ox0B[T] = Ox0[OxB[T]]

    Ox0C

    source
    type Ox0C[T] = Ox0[OxC[T]]

    Ox0D

    source
    type Ox0D[T] = Ox0[OxD[T]]

    Ox0E

    source
    type Ox0E[T] = Ox0[OxE[T]]

    Ox0F

    source
    type Ox0F[T] = Ox0[OxF[T]]

    Ox10

    source
    type Ox10[T] = Ox1[Ox0[T]]

    Ox11

    source
    type Ox11[T] = Ox1[Ox1[T]]

    Ox12

    source
    type Ox12[T] = Ox1[Ox2[T]]

    Ox13

    source
    type Ox13[T] = Ox1[Ox3[T]]

    Ox14

    source
    type Ox14[T] = Ox1[Ox4[T]]

    Ox15

    source
    type Ox15[T] = Ox1[Ox5[T]]

    Ox16

    source
    type Ox16[T] = Ox1[Ox6[T]]

    Ox17

    source
    type Ox17[T] = Ox1[Ox7[T]]

    Ox18

    source
    type Ox18[T] = Ox1[Ox8[T]]

    Ox19

    source
    type Ox19[T] = Ox1[Ox9[T]]

    Ox1A

    source
    type Ox1A[T] = Ox1[OxA[T]]

    Ox1B

    source
    type Ox1B[T] = Ox1[OxB[T]]

    Ox1C

    source
    type Ox1C[T] = Ox1[OxC[T]]

    Ox1D

    source
    type Ox1D[T] = Ox1[OxD[T]]

    Ox1E

    source
    type Ox1E[T] = Ox1[OxE[T]]

    Ox1F

    source
    type Ox1F[T] = Ox1[OxF[T]]

    Ox20

    source
    type Ox20[T] = Ox2[Ox0[T]]

    Ox21

    source
    type Ox21[T] = Ox2[Ox1[T]]

    Ox22

    source
    type Ox22[T] = Ox2[Ox2[T]]

    Ox23

    source
    type Ox23[T] = Ox2[Ox3[T]]

    Ox24

    source
    type Ox24[T] = Ox2[Ox4[T]]

    Ox25

    source
    type Ox25[T] = Ox2[Ox5[T]]

    Ox26

    source
    type Ox26[T] = Ox2[Ox6[T]]

    Ox27

    source
    type Ox27[T] = Ox2[Ox7[T]]

    Ox28

    source
    type Ox28[T] = Ox2[Ox8[T]]

    Ox29

    source
    type Ox29[T] = Ox2[Ox9[T]]

    Ox2A

    source
    type Ox2A[T] = Ox2[OxA[T]]

    Ox2B

    source
    type Ox2B[T] = Ox2[OxB[T]]

    Ox2C

    source
    type Ox2C[T] = Ox2[OxC[T]]

    Ox2D

    source
    type Ox2D[T] = Ox2[OxD[T]]

    Ox2E

    source
    type Ox2E[T] = Ox2[OxE[T]]

    Ox2F

    source
    type Ox2F[T] = Ox2[OxF[T]]

    Ox30

    source
    type Ox30[T] = Ox3[Ox0[T]]

    Ox31

    source
    type Ox31[T] = Ox3[Ox1[T]]

    Ox32

    source
    type Ox32[T] = Ox3[Ox2[T]]

    Ox33

    source
    type Ox33[T] = Ox3[Ox3[T]]

    Ox34

    source
    type Ox34[T] = Ox3[Ox4[T]]

    Ox35

    source
    type Ox35[T] = Ox3[Ox5[T]]

    Ox36

    source
    type Ox36[T] = Ox3[Ox6[T]]

    Ox37

    source
    type Ox37[T] = Ox3[Ox7[T]]

    Ox38

    source
    type Ox38[T] = Ox3[Ox8[T]]

    Ox39

    source
    type Ox39[T] = Ox3[Ox9[T]]

    Ox3A

    source
    type Ox3A[T] = Ox3[OxA[T]]

    Ox3B

    source
    type Ox3B[T] = Ox3[OxB[T]]

    Ox3C

    source
    type Ox3C[T] = Ox3[OxC[T]]

    Ox3D

    source
    type Ox3D[T] = Ox3[OxD[T]]

    Ox3E

    source
    type Ox3E[T] = Ox3[OxE[T]]

    Ox3F

    source
    type Ox3F[T] = Ox3[OxF[T]]

    Ox40

    source
    type Ox40[T] = Ox4[Ox0[T]]

    Ox41

    source
    type Ox41[T] = Ox4[Ox1[T]]

    Ox42

    source
    type Ox42[T] = Ox4[Ox2[T]]

    Ox43

    source
    type Ox43[T] = Ox4[Ox3[T]]

    Ox44

    source
    type Ox44[T] = Ox4[Ox4[T]]

    Ox45

    source
    type Ox45[T] = Ox4[Ox5[T]]

    Ox46

    source
    type Ox46[T] = Ox4[Ox6[T]]

    Ox47

    source
    type Ox47[T] = Ox4[Ox7[T]]

    Ox48

    source
    type Ox48[T] = Ox4[Ox8[T]]

    Ox49

    source
    type Ox49[T] = Ox4[Ox9[T]]

    Ox4A

    source
    type Ox4A[T] = Ox4[OxA[T]]

    Ox4B

    source
    type Ox4B[T] = Ox4[OxB[T]]

    Ox4C

    source
    type Ox4C[T] = Ox4[OxC[T]]

    Ox4D

    source
    type Ox4D[T] = Ox4[OxD[T]]

    Ox4E

    source
    type Ox4E[T] = Ox4[OxE[T]]

    Ox4F

    source
    type Ox4F[T] = Ox4[OxF[T]]

    Ox50

    source
    type Ox50[T] = Ox5[Ox0[T]]

    Ox51

    source
    type Ox51[T] = Ox5[Ox1[T]]

    Ox52

    source
    type Ox52[T] = Ox5[Ox2[T]]

    Ox53

    source
    type Ox53[T] = Ox5[Ox3[T]]

    Ox54

    source
    type Ox54[T] = Ox5[Ox4[T]]

    Ox55

    source
    type Ox55[T] = Ox5[Ox5[T]]

    Ox56

    source
    type Ox56[T] = Ox5[Ox6[T]]

    Ox57

    source
    type Ox57[T] = Ox5[Ox7[T]]

    Ox58

    source
    type Ox58[T] = Ox5[Ox8[T]]

    Ox59

    source
    type Ox59[T] = Ox5[Ox9[T]]

    Ox5A

    source
    type Ox5A[T] = Ox5[OxA[T]]

    Ox5B

    source
    type Ox5B[T] = Ox5[OxB[T]]

    Ox5C

    source
    type Ox5C[T] = Ox5[OxC[T]]

    Ox5D

    source
    type Ox5D[T] = Ox5[OxD[T]]

    Ox5E

    source
    type Ox5E[T] = Ox5[OxE[T]]

    Ox5F

    source
    type Ox5F[T] = Ox5[OxF[T]]

    Ox60

    source
    type Ox60[T] = Ox6[Ox0[T]]

    Ox61

    source
    type Ox61[T] = Ox6[Ox1[T]]

    Ox62

    source
    type Ox62[T] = Ox6[Ox2[T]]

    Ox63

    source
    type Ox63[T] = Ox6[Ox3[T]]

    Ox64

    source
    type Ox64[T] = Ox6[Ox4[T]]

    Ox65

    source
    type Ox65[T] = Ox6[Ox5[T]]

    Ox66

    source
    type Ox66[T] = Ox6[Ox6[T]]

    Ox67

    source
    type Ox67[T] = Ox6[Ox7[T]]

    Ox68

    source
    type Ox68[T] = Ox6[Ox8[T]]

    Ox69

    source
    type Ox69[T] = Ox6[Ox9[T]]

    Ox6A

    source
    type Ox6A[T] = Ox6[OxA[T]]

    Ox6B

    source
    type Ox6B[T] = Ox6[OxB[T]]

    Ox6C

    source
    type Ox6C[T] = Ox6[OxC[T]]

    Ox6D

    source
    type Ox6D[T] = Ox6[OxD[T]]

    Ox6E

    source
    type Ox6E[T] = Ox6[OxE[T]]

    Ox6F

    source
    type Ox6F[T] = Ox6[OxF[T]]

    Ox70

    source
    type Ox70[T] = Ox7[Ox0[T]]

    Ox71

    source
    type Ox71[T] = Ox7[Ox1[T]]

    Ox72

    source
    type Ox72[T] = Ox7[Ox2[T]]

    Ox73

    source
    type Ox73[T] = Ox7[Ox3[T]]

    Ox74

    source
    type Ox74[T] = Ox7[Ox4[T]]

    Ox75

    source
    type Ox75[T] = Ox7[Ox5[T]]

    Ox76

    source
    type Ox76[T] = Ox7[Ox6[T]]

    Ox77

    source
    type Ox77[T] = Ox7[Ox7[T]]

    Ox78

    source
    type Ox78[T] = Ox7[Ox8[T]]

    Ox79

    source
    type Ox79[T] = Ox7[Ox9[T]]

    Ox7A

    source
    type Ox7A[T] = Ox7[OxA[T]]

    Ox7B

    source
    type Ox7B[T] = Ox7[OxB[T]]

    Ox7C

    source
    type Ox7C[T] = Ox7[OxC[T]]

    Ox7D

    source
    type Ox7D[T] = Ox7[OxD[T]]

    Ox7E

    source
    type Ox7E[T] = Ox7[OxE[T]]

    Ox7F

    source
    type Ox7F[T] = Ox7[OxF[T]]

    Ox80

    source
    type Ox80[T] = Ox8[Ox0[T]]

    Ox81

    source
    type Ox81[T] = Ox8[Ox1[T]]

    Ox82

    source
    type Ox82[T] = Ox8[Ox2[T]]

    Ox83

    source
    type Ox83[T] = Ox8[Ox3[T]]

    Ox84

    source
    type Ox84[T] = Ox8[Ox4[T]]

    Ox85

    source
    type Ox85[T] = Ox8[Ox5[T]]

    Ox86

    source
    type Ox86[T] = Ox8[Ox6[T]]

    Ox87

    source
    type Ox87[T] = Ox8[Ox7[T]]

    Ox88

    source
    type Ox88[T] = Ox8[Ox8[T]]

    Ox89

    source
    type Ox89[T] = Ox8[Ox9[T]]

    Ox8A

    source
    type Ox8A[T] = Ox8[OxA[T]]

    Ox8B

    source
    type Ox8B[T] = Ox8[OxB[T]]

    Ox8C

    source
    type Ox8C[T] = Ox8[OxC[T]]

    Ox8D

    source
    type Ox8D[T] = Ox8[OxD[T]]

    Ox8E

    source
    type Ox8E[T] = Ox8[OxE[T]]

    Ox8F

    source
    type Ox8F[T] = Ox8[OxF[T]]

    Ox90

    source
    type Ox90[T] = Ox9[Ox0[T]]

    Ox91

    source
    type Ox91[T] = Ox9[Ox1[T]]

    Ox92

    source
    type Ox92[T] = Ox9[Ox2[T]]

    Ox93

    source
    type Ox93[T] = Ox9[Ox3[T]]

    Ox94

    source
    type Ox94[T] = Ox9[Ox4[T]]

    Ox95

    source
    type Ox95[T] = Ox9[Ox5[T]]

    Ox96

    source
    type Ox96[T] = Ox9[Ox6[T]]

    Ox97

    source
    type Ox97[T] = Ox9[Ox7[T]]

    Ox98

    source
    type Ox98[T] = Ox9[Ox8[T]]

    Ox99

    source
    type Ox99[T] = Ox9[Ox9[T]]

    Ox9A

    source
    type Ox9A[T] = Ox9[OxA[T]]

    Ox9B

    source
    type Ox9B[T] = Ox9[OxB[T]]

    Ox9C

    source
    type Ox9C[T] = Ox9[OxC[T]]

    Ox9D

    source
    type Ox9D[T] = Ox9[OxD[T]]

    Ox9E

    source
    type Ox9E[T] = Ox9[OxE[T]]

    Ox9F

    source
    type Ox9F[T] = Ox9[OxF[T]]

    OxA0

    source
    type OxA0[T] = OxA[Ox0[T]]

    OxA1

    source
    type OxA1[T] = OxA[Ox1[T]]

    OxA2

    source
    type OxA2[T] = OxA[Ox2[T]]

    OxA3

    source
    type OxA3[T] = OxA[Ox3[T]]

    OxA4

    source
    type OxA4[T] = OxA[Ox4[T]]

    OxA5

    source
    type OxA5[T] = OxA[Ox5[T]]

    OxA6

    source
    type OxA6[T] = OxA[Ox6[T]]

    OxA7

    source
    type OxA7[T] = OxA[Ox7[T]]

    OxA8

    source
    type OxA8[T] = OxA[Ox8[T]]

    OxA9

    source
    type OxA9[T] = OxA[Ox9[T]]

    OxAA

    source
    type OxAA[T] = OxA[OxA[T]]

    OxAB

    source
    type OxAB[T] = OxA[OxB[T]]

    OxAC

    source
    type OxAC[T] = OxA[OxC[T]]

    OxAD

    source
    type OxAD[T] = OxA[OxD[T]]

    OxAE

    source
    type OxAE[T] = OxA[OxE[T]]

    OxAF

    source
    type OxAF[T] = OxA[OxF[T]]

    OxB0

    source
    type OxB0[T] = OxB[Ox0[T]]

    OxB1

    source
    type OxB1[T] = OxB[Ox1[T]]

    OxB2

    source
    type OxB2[T] = OxB[Ox2[T]]

    OxB3

    source
    type OxB3[T] = OxB[Ox3[T]]

    OxB4

    source
    type OxB4[T] = OxB[Ox4[T]]

    OxB5

    source
    type OxB5[T] = OxB[Ox5[T]]

    OxB6

    source
    type OxB6[T] = OxB[Ox6[T]]

    OxB7

    source
    type OxB7[T] = OxB[Ox7[T]]

    OxB8

    source
    type OxB8[T] = OxB[Ox8[T]]

    OxB9

    source
    type OxB9[T] = OxB[Ox9[T]]

    OxBA

    source
    type OxBA[T] = OxB[OxA[T]]

    OxBB

    source
    type OxBB[T] = OxB[OxB[T]]

    OxBC

    source
    type OxBC[T] = OxB[OxC[T]]

    OxBD

    source
    type OxBD[T] = OxB[OxD[T]]

    OxBE

    source
    type OxBE[T] = OxB[OxE[T]]

    OxBF

    source
    type OxBF[T] = OxB[OxF[T]]

    OxC0

    source
    type OxC0[T] = OxC[Ox0[T]]

    OxC1

    source
    type OxC1[T] = OxC[Ox1[T]]

    OxC2

    source
    type OxC2[T] = OxC[Ox2[T]]

    OxC3

    source
    type OxC3[T] = OxC[Ox3[T]]

    OxC4

    source
    type OxC4[T] = OxC[Ox4[T]]

    OxC5

    source
    type OxC5[T] = OxC[Ox5[T]]

    OxC6

    source
    type OxC6[T] = OxC[Ox6[T]]

    OxC7

    source
    type OxC7[T] = OxC[Ox7[T]]

    OxC8

    source
    type OxC8[T] = OxC[Ox8[T]]

    OxC9

    source
    type OxC9[T] = OxC[Ox9[T]]

    OxCA

    source
    type OxCA[T] = OxC[OxA[T]]

    OxCB

    source
    type OxCB[T] = OxC[OxB[T]]

    OxCC

    source
    type OxCC[T] = OxC[OxC[T]]

    OxCD

    source
    type OxCD[T] = OxC[OxD[T]]

    OxCE

    source
    type OxCE[T] = OxC[OxE[T]]

    OxCF

    source
    type OxCF[T] = OxC[OxF[T]]

    OxD0

    source
    type OxD0[T] = OxD[Ox0[T]]

    OxD1

    source
    type OxD1[T] = OxD[Ox1[T]]

    OxD2

    source
    type OxD2[T] = OxD[Ox2[T]]

    OxD3

    source
    type OxD3[T] = OxD[Ox3[T]]

    OxD4

    source
    type OxD4[T] = OxD[Ox4[T]]

    OxD5

    source
    type OxD5[T] = OxD[Ox5[T]]

    OxD6

    source
    type OxD6[T] = OxD[Ox6[T]]

    OxD7

    source
    type OxD7[T] = OxD[Ox7[T]]

    OxD8

    source
    type OxD8[T] = OxD[Ox8[T]]

    OxD9

    source
    type OxD9[T] = OxD[Ox9[T]]

    OxDA

    source
    type OxDA[T] = OxD[OxA[T]]

    OxDB

    source
    type OxDB[T] = OxD[OxB[T]]

    OxDC

    source
    type OxDC[T] = OxD[OxC[T]]

    OxDD

    source
    type OxDD[T] = OxD[OxD[T]]

    OxDE

    source
    type OxDE[T] = OxD[OxE[T]]

    OxDF

    source
    type OxDF[T] = OxD[OxF[T]]

    OxE0

    source
    type OxE0[T] = OxE[Ox0[T]]

    OxE1

    source
    type OxE1[T] = OxE[Ox1[T]]

    OxE2

    source
    type OxE2[T] = OxE[Ox2[T]]

    OxE3

    source
    type OxE3[T] = OxE[Ox3[T]]

    OxE4

    source
    type OxE4[T] = OxE[Ox4[T]]

    OxE5

    source
    type OxE5[T] = OxE[Ox5[T]]

    OxE6

    source
    type OxE6[T] = OxE[Ox6[T]]

    OxE7

    source
    type OxE7[T] = OxE[Ox7[T]]

    OxE8

    source
    type OxE8[T] = OxE[Ox8[T]]

    OxE9

    source
    type OxE9[T] = OxE[Ox9[T]]

    OxEA

    source
    type OxEA[T] = OxE[OxA[T]]

    OxEB

    source
    type OxEB[T] = OxE[OxB[T]]

    OxEC

    source
    type OxEC[T] = OxE[OxC[T]]

    OxED

    source
    type OxED[T] = OxE[OxD[T]]

    OxEE

    source
    type OxEE[T] = OxE[OxE[T]]

    OxEF

    source
    type OxEF[T] = OxE[OxF[T]]

    OxF0

    source
    type OxF0[T] = OxF[Ox0[T]]

    OxF1

    source
    type OxF1[T] = OxF[Ox1[T]]

    OxF2

    source
    type OxF2[T] = OxF[Ox2[T]]

    OxF3

    source
    type OxF3[T] = OxF[Ox3[T]]

    OxF4

    source
    type OxF4[T] = OxF[Ox4[T]]

    OxF5

    source
    type OxF5[T] = OxF[Ox5[T]]

    OxF6

    source
    type OxF6[T] = OxF[Ox6[T]]

    OxF7

    source
    type OxF7[T] = OxF[Ox7[T]]

    OxF8

    source
    type OxF8[T] = OxF[Ox8[T]]

    OxF9

    source
    type OxF9[T] = OxF[Ox9[T]]

    OxFA

    source
    type OxFA[T] = OxF[OxA[T]]

    OxFB

    source
    type OxFB[T] = OxF[OxB[T]]

    OxFC

    source
    type OxFC[T] = OxF[OxC[T]]

    OxFD

    source
    type OxFD[T] = OxF[OxD[T]]

    OxFE

    source
    type OxFE[T] = OxF[OxE[T]]

    OxFF

    source
    type OxFF[T] = OxF[OxF[T]]

    ToInt

    source
    trait ToInt

    ToUInt64

    source
    trait ToUInt64

    Od0

    source
    type Od0[_]

    impl ToInt for Od0[T]
    impl ToUInt64 for Od0[T]

    Od1

    source
    type Od1[_]

    impl ToInt for Od1[T]
    impl ToUInt64 for Od1[T]

    Od2

    source
    type Od2[_]

    impl ToInt for Od2[T]
    impl ToUInt64 for Od2[T]

    Od3

    source
    type Od3[_]

    impl ToInt for Od3[T]
    impl ToUInt64 for Od3[T]

    Od4

    source
    type Od4[_]

    impl ToInt for Od4[T]
    impl ToUInt64 for Od4[T]

    Od5

    source
    type Od5[_]

    impl ToInt for Od5[T]
    impl ToUInt64 for Od5[T]

    Od6

    source
    type Od6[_]

    impl ToInt for Od6[T]
    impl ToUInt64 for Od6[T]

    Od7

    source
    type Od7[_]

    impl ToInt for Od7[T]
    impl ToUInt64 for Od7[T]

    Od8

    source
    type Od8[_]

    impl ToInt for Od8[T]
    impl ToUInt64 for Od8[T]

    Od9

    source
    type Od9[_]

    impl ToInt for Od9[T]
    impl ToUInt64 for Od9[T]

    Ox0

    source
    type Ox0[_]

    impl ToInt for Ox0[T]
    impl ToUInt64 for Ox0[T]

    Ox1

    source
    type Ox1[_]

    impl ToInt for Ox1[T]
    impl ToUInt64 for Ox1[T]

    Ox2

    source
    type Ox2[_]

    impl ToInt for Ox2[T]
    impl ToUInt64 for Ox2[T]

    Ox3

    source
    type Ox3[_]

    impl ToInt for Ox3[T]
    impl ToUInt64 for Ox3[T]

    Ox4

    source
    type Ox4[_]

    impl ToInt for Ox4[T]
    impl ToUInt64 for Ox4[T]

    Ox5

    source
    type Ox5[_]

    impl ToInt for Ox5[T]
    impl ToUInt64 for Ox5[T]

    Ox6

    source
    type Ox6[_]

    impl ToInt for Ox6[T]
    impl ToUInt64 for Ox6[T]

    Ox7

    source
    type Ox7[_]

    impl ToInt for Ox7[T]
    impl ToUInt64 for Ox7[T]

    Ox8

    source
    type Ox8[_]

    impl ToInt for Ox8[T]
    impl ToUInt64 for Ox8[T]

    Ox9

    source
    type Ox9[_]

    impl ToInt for Ox9[T]
    impl ToUInt64 for Ox9[T]

    OxA

    source
    type OxA[_]

    impl ToInt for OxA[T]
    impl ToUInt64 for OxA[T]

    OxB

    source
    type OxB[_]

    impl ToInt for OxB[T]
    impl ToUInt64 for OxB[T]

    OxC

    source
    type OxC[_]

    impl ToInt for OxC[T]
    impl ToUInt64 for OxC[T]

    OxD

    source
    type OxD[_]

    impl ToInt for OxD[T]
    impl ToUInt64 for OxD[T]

    OxE

    source
    type OxE[_]

    impl ToInt for OxE[T]
    impl ToUInt64 for OxE[T]

    OxF

    source
    type OxF[_]

    impl ToInt for OxF[T]
    impl ToUInt64 for OxF[T]
    type Z

    impl ToInt for Z
    impl ToUInt64 for Z

    to_int

    source
    fn[T : ToInt] to_int(_ : (T) -> Unit) -> Int

    to_uint64

    source
    fn[T : ToUInt64] to_uint64(_ : (T) -> Unit) -> UInt64

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io