frunk

frunk copied to clipboard

It might be nice with the next minor version to start a "nursery" project to hold "cutting-edge" or trial concepts. We could put things like `Transmogrifier ` and `PathTraverser` in...

lloydmeta

Transmogrification fails if common field implements `LabelledGeneric`

6

A basic (working) example of transmogrification might look like: ``` use frunk_core::labelled::Transmogrifier; #[derive(Debug, frunk_derives::LabelledGeneric)] struct Foo { pub bar: Bar, } #[derive(Debug, frunk_derives::LabelledGeneric)] struct Foo2 { pub bar: Bar2, }...

bossmc

Coproducts and generics + trait bounds?

8

I'm working with some code that filters specific coproducts out of an `mpsc` and running into problems. (Originally this was a huge enum of disjoint structs and I'm trying to...

jeff-hiner

Add `record!` macro for making labelled HLlists

3

https://github.com/lloydmeta/frunk/pull/124/files/7e4bc32eeac38288f9cedf60c5e5ab68c54e3f30#r220041930 Proposal > I wonder if we should add a macro: > ```rust > record! { // bikeshed > name: "joe", > age: 3, > is_admin: true, > } >...

lloydmeta

Getting rid of `CNil`

4

This is a follow up issue to #93. I think we should get rid of special uninhabited types unless we have a particularly good reason to keep them. The standard...

Centril

combine_n should do exponentation by squaring

2

https://github.com/lloydmeta/frunk/blob/bdb8b0fc1cb946a46b7c5817a8d865c75bb020b9/src/semigroup.rs#L90-L101 I'm honestly surprised to see that this doesn't do exponentation by squaring; to me, that has always been *the point* of having a function like `combine_n` N.B. The correctness...

ExpHP

Iterator extension traits for folding monoids/semigroups

1

There should be something to fold an iterator of monoids down to a single value, or to create the Monoids first and then fold them. `fold_map` is one of my...

ExpHP

Improve the documentation of Suffixed/LiftFrom/LiftInto

2

Logging an issue from discussion on #89. The documentation of `Suffix` is entirely inadequate: > An index denoting that `Suffix` is just that. At bare minimum it needs to link...

ExpHP

Documenting rules for when type inference can solve for indices

1

I do a small bit of this in the coproduct `embed` PR, but I think there should be more: There should be one central piece of documentation (which other methods...

ExpHP

Mapping coproducts

1

I discovered there was no `map` for coproducts when writing the docs for `CoprodEmbedder`, where I mention what happens if there are duplicate types in the input (which is something...

ExpHP