~/bend-docscommunity

src/math/instances.bend checks

raw source on the hub · import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/instances.bend as Instances

6 imports
import Base
import ./num.bend as N
import ./u64.bend as W
import ./w64.bend as X
import ./generic.bend as G
import ./natural.bend as M

Definitions

def u32_mul_over source · line 22 · raw

@+a:U32 -> @+b:U32 -> Bool

a * b >= 2^32: the full product has a nonzero high word

def u32_mulmod source · line 25 · raw

@+a:U32 -> @+b:U32 -> @+m:U32 -> U32

def u32_op source · line 28 · raw

@o:0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/num.Op<U32> -> U32

def u32_add_over source · line 61 · raw

@+a:U32 -> @+b:U32 -> Bool

def u32_odd source · line 64 · raw

@+a:U32 -> Bool

def u32_is source · line 67 · raw

@t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/num.Test<U32> -> Bool

def u64_pow2 source · line 89 · raw

@+k:Nat -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/u64.U64

2^k for k < 64

def u64_op source · line 92 · raw

@o:0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/num.Op<0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/u64.U64> -> 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/u64.U64

def u64_is source · line 125 · raw

@t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/num.Test<0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/u64.U64> -> Bool

def f32_op source · line 146 · raw

@o:0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/num.Op<F32> -> F32

def f32_is source · line 179 · raw

@t:0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/num.Test<F32> -> Bool