Bosatsu/Num/Binary

public dependencies: Bosatsu/Num/BinNat

Index

• Types: BinInt
• Values: abs, add, binInt_to_Int, binNat_to_BinInt, cmp, eq, int_to_BinInt, negate, not, sub

Types

BinInt

BWNot(x) == -x - 1

type BinInt

Constructors

• BWNot(arg: Bosatsu/Num/BinNat::BinNat)
• FromBinNat(bn: Bosatsu/Num/BinNat::BinNat)

Values

abs

def abs(bi: BinInt) -> Bosatsu/Num/BinNat::BinNat

add

def add(x: BinInt, y: BinInt) -> BinInt

binInt_to_Int

def binInt_to_Int(bi: BinInt) -> Int

binNat_to_BinInt

def binNat_to_BinInt(bn: Bosatsu/Num/BinNat::BinNat) -> BinInt

cmp

def cmp(a: BinInt, b: BinInt) -> Comparison

eq

def eq(a: BinInt, b: BinInt) -> Bool

int_to_BinInt

def int_to_BinInt(i: Int) -> BinInt

negate

def negate(bi: BinInt) -> BinInt

not

def not(bi: BinInt) -> BinInt

sub

def sub(a: BinInt, b: BinInt) -> BinInt