barbies
barbies copied to clipboard
jcpetruzza
I've found that a module using barbies takes exponentially longer to compile under GHC 9.8 as I add fields to a data type. The repo at https://github.com/m4dc4p/ghc98-bug demonstrates the problem....
Hi there. Not sure if I was looking carefully enough, but I wasn't able to find an equivalent for this type constructor that is sometimes useful: ```haskell newtype Flip t...
Hello again 😅 Long time no see! A slightly weird use case: this fails to derive `ConstraintsB` (but notably is fine with just `FunctorB`) because of a failure to deduce...
Hello there. I was wondering if you'd be amenable to adding the following classes (and ways of deriving them): ```haskell type Lens' s a = Lens' { project :: forall...
Higher-order functors are defined in barbies, parameterized-utils, rank2classes, category-extras...
It looks like this library has some typeclasses that are also defined in [`parameterized-utils`](https://hackage.haskell.org/package/parameterized-utils-2.0). I wonder if we could reduce the duplication of effort. In particular: * `FunctorB Data.Parameterized.TraversableF.FunctorF` *...
I have a simple case that I can't seem to define (or derive) a `ConstraintsT` instance for: ```haskell data Foo f a = Foo (f a) deriving (Generic) instance FunctorT...
Greetings! ## question Is there any chance to expand the type family like this: ~~~~.hs type family Wear t f a where Wear Bare f (First a) = a Wear...
Being able to obtain field names of a record is pretty useful. The following code works but unfortunately GHC can't derive Generic1 instances of higher-kinded types... Do you think barbies'...
I really don't know if this is possible, but I'm referring to capability records like: ```haskell data LogCap (m :: Type -> Type) = LogCap { logInfo :: String ->...
This library looks super interesting. The README states that barbies are a common Haskell idiom. What is the usual name for this and where can I find out more? Also,...
