src/math/num.bend checks
raw source on the hub · import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/math/num.bend as Num
1 import
import Base
Types
type NumError source · line 44 · raw
Data
DivByZeroNumError
BadDomainNumError
NoInverseNumError
OverflowNumError
type Op source · line 50 · raw
@-T:Data -> Data
ZeroOp@-T:Data -> Op<T>
One@-T:Data -> Op<T>
Add@-T:Data -> @a:T -> @b:T -> Op<T>
Sub@-T:Data -> @a:T -> @b:T -> Op<T>
Mul@-T:Data -> @a:T -> @b:T -> Op<T>
Neg@-T:Data -> @a:T -> Op<T>
Abs@-T:Data -> @a:T -> Op<T>
Quot@-T:Data -> @a:T -> @b:T -> Op<T>
Rem@-T:Data -> @a:T -> @b:T -> Op<T>
Half@-T:Data -> @a:T -> Op<T>
MulMod@-T:Data -> @a:T -> @b:T -> @m:T -> Op<T>
Pow2@-T:Data -> @k:Nat -> Op<T>
Sqrt@-T:Data -> @a:T -> Op<T>
PowMod@-T:Data -> @a:T -> @e:T -> @m:T -> Op<T>
GcdSmall@-T:Data -> @a:T -> @b:T -> Op<T>
type Test source · line 67 · raw
@-T:Data -> Data
Lt@-T:Data -> @a:T -> @b:T -> Test<T>
AddOver@-T:Data -> @a:T -> @b:T -> Test<T>
MulOver@-T:Data -> @a:T -> @b:T -> Test<T>
Odd@-T:Data -> @a:T -> Test<T>
IsZero@-T:Data -> @a:T -> Test<T>
FastDiv@-T:Data -> Test<T>
Mont@-T:Data -> @m:T -> Test<T>
Small@-T:Data -> @a:T -> @b:T -> Test<T>