Bit

A primitive: the single bit

type Bit

= I

| O

One of 2 states:

This right here is really the core of this library. Representing bits safely is now quite readable!

ArraySized.l8 O I I I O O I O
--: ArraySized (In (Up8 minX_) (Up8 maxX_)) Bit

for an example of using this to represent an Id, visit the readme

create

random : Generator Bit

Uniform Random.Generator for either I or O

just like random, its pretty easy to implement all sorts of generators etc. for a Bit

bitFuzz : Fuzzer Bit
bitFuzz =
    Fuzz.oneOf (List.map Fuzz.constant [ O, I ])

fromN : N (In min_ (Up maxTo1_ To N1)) -> Bit

n0 → O, n1 → I

toN : Bit -> N (In (Up0 minX_) (Up1 maxX_))

Convert O to n0, I to 1. N (In (Up0 minX_) (Up1 maxX_)) means that the result will be between 0 & 1

toInt =
    Bit.toN >> N.toInt

Switch O ↔ I. Often called the NOT operator

I'll be happy to add or merge more stuff! Just open an issue or a PR