M Farkas-Dyck

Allow other semantics of `PartialOrd`

1

Now bitflags merely derives `PartialOrd` with the mechanism built into rustc, which compares the values numerically. But a flags type is also a Boolean lattice, so it has another natural...

Non-termination while emitting Verilog

3

Source file: module Test where import CLaSH.Prelude f :: BitVector 5 -> Maybe (Bit -> Bit -> Bit) f i = case slice d1 d0 i of 2 -> op...

Generalize XLEN.

2

It's not RV64I yet, for it has no `*w` instructions (`addw` and such). I'm not sure how complete you want it to be to consider it worth merging. I am...

Simplify much of the mapping code, completely delete now-unneeded `RowMapC` class, introduce mapping natural transformations

Many functions would be more convenient with `TypeApplication` sans label arguments

1

`focus` and `extend` for examples could take no label argument and the user could write `focus @"name"` and `extend @"name"`. A difficulty is what to do about operators: `(.!)` and...

Semigroup ⇒ Monoid

2

[View](https://github.com/strake/rfcs/blob/semigroup/texts/0000-semigroup-monoid.rst)

Using mutable and immutable vectors together is painful

6

This is actually 2 closely-related issues: * Importing both `Data.Vector.Generic` and `Data.Vector.Generic.Mutable` in the same module means one must qualify all the slice and length ops, for example `take` and...