Bosatsu/Num/Binary

source code: - test_workspace/BinInt.bosatsu

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

references: BinInt, Bosatsu/Num/BinNat::BinNat

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

add

references: BinInt

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

binInt_to_Int

references: BinInt, Int

def binInt_to_Int(bi: BinInt) -> Int

binNat_to_BinInt

references: BinInt, Bosatsu/Num/BinNat::BinNat

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

cmp

references: BinInt, Comparison

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

eq

references: BinInt, Bool

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

int_to_BinInt

references: BinInt, Int

def int_to_BinInt(i: Int) -> BinInt

negate

references: BinInt

def negate(bi: BinInt) -> BinInt

not

references: BinInt

def not(bi: BinInt) -> BinInt

sub

references: BinInt

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