src/containers/types/bitset.bend checks
raw source on the hub · import 0xd9a2fae439ac7ff9e21e0853948f94fe/src/containers/types/bitset.bend as Bitset
1 import
import Base
Types
type Error source · line 5 · raw
Data
IndexOutOfRangeError
LengthMismatchError
type Op source · line 11 · raw
Data
Binary operations carry the operand as its logical bit sequence (bit 0 first); the runner builds the operand bitset with the public from_bools.
LengthOp
Get@index:Nat -> Op
Set@index:Nat -> Op
Clear@index:Nat -> Op
CountOp
Union@other:List<&2, Bool> -> Op
Intersection@other:List<&2, Bool> -> Op
Difference@other:List<&2, Bool> -> Op
Xor@other:List<&2, Bool> -> Op
ToListOp
type Obs source · line 23 · raw
Data
ONat@value:Nat -> Obs
OBit@result:Result<&2, &2, Error, Bool> -> Obs
OUnit@result:Result<&2, &2, Error, Unit> -> Obs
OList@members:List<&2, Nat> -> Obs