chrispenner / chrispenner.github.io Goto Github PK

Hi, I was reading the post on Traversal Systems and found that some code examples were cropped and not scrollable.

This seems to only happen to samples without syntax highlighting. All Haskell code samples fit correctly in the screen and scrolled horizontally as expected.

The screenshot was taken on a Chrome Browser in a 5.5 inch phone running stock Android 11.

"ALSO ON CHRIS PENNER FP" links (bottom of each post page) go to:

chrispenner.com/post/xxxxxx (missing an s in posts)

instead of:
chrispenner.com/posts/xxxxxx

Hi @ChrisPenner !
I just read your blogpost about hkd-options with great interest. Very inspiring!

One thing that came to my mind is: Inside each config source function you're re-using the keys of the product type as strings.
Would you know of a way to obtain them generically? Probably one would use some string conversion functions on them, like converting them to snake case for the env vars for instance.

I would know how to do this by manually writing a type class operating on the generic representation of the data type. But I could not find a way to do it with the barbies library. I was looking for some withIndex implementations, bu no luck.

This exists:

bTraverse :: (forall a. f a -> e (g a)) -> b f -> e (b g)

But something like this I could not find:

bTraverseWithIndex :: (forall a. sym -> f a -> e (g a)) -> b f -> e (b g)

The latter has an additional sym argument, which could be reflected to String.

Is something like this just not implemented or do you know of another way to archive this?