lux/data/bit

Values

(& param subject)

Bitwise and.

(-> lux;Nat lux;Nat lux;Nat)

(<< param subject)

Bitwise shift-left.

(-> lux;Nat lux;Nat lux;Nat)

(>> param subject)

Bitwise shift-right.

(-> lux;Nat lux;Int lux;Int)

(>>> param subject)

Bitwise unsigned-shift-right.

(-> lux;Nat lux;Nat lux;Nat)

(^ param subject)

Bitwise xor.

(-> lux;Nat lux;Nat lux;Nat)

(clear idx input)

Clear bit at given index.

(-> lux;Nat lux;Nat lux;Nat)

(count subject)

Count the number of 1s in a bit-map.

(-> lux;Nat lux;Nat)

(flip idx input)

Flip bit at given index.

(-> lux;Nat lux;Nat lux;Nat)

(rotate-left distance input)

(-> lux;Nat lux;Nat lux;Nat)

(rotate-right distance input)

(-> lux;Nat lux;Nat lux;Nat)

(set idx input)

Set bit at given index.

(-> lux;Nat lux;Nat lux;Nat)

(set? idx input)

(-> lux;Nat lux;Nat lux;Bool)

(| param subject)

Bitwise or.

(-> lux;Nat lux;Nat lux;Nat)

~

Bitwise negation.

(-> lux;Nat lux;Nat)