Asad Saeeduddin
Asad Saeeduddin
Hi there. I was wondering if it would be considered part of the scope of this project to deal with syntax highlighting in a language agnostic way. For example, would...
Hello there. I was doing some stuff with decidable equality and ended up needed the following operations: ```agda imap : ∀ {ℓ} {a b : Set ℓ} → (a →...
For a schema that looks like the following: ```xsd ... ``` The generated code contains a class corresponding to our `` element with the name: `public partial class MachineListMachine`. Is...
`spanAntitone :: (k -> Bool) -> Map k a -> (Map k a, Map k a)` is a handy way to "bisect" arbitrary data in the `git bisect` sense. Just...
The editorconfig specification states: > When opening a file, EditorConfig plugins look for a file named .editorconfig in the directory of the opened file and in every parent directory. This...
It'd be nice to have some utilities to compose functions of 2, 3, etc. arguments with another that transforms the final argument. In Haskell, for example, you can have: ```haskell...
It'd be handy to have something like `foldMapWithKey` so you can do: ```js const replaceAll = foldMapWithKey(Endo)(k => v => s => s.replace(k, v)) const f = replaceAll({ "Earth": "Jupiter",...
```js // :: (Foldable f, Plus g) => TypeRep g -> f (g a) -> g a const asum = A => S.reduce(S.alt)(S.zero(A)) ```
Sometimes it's useful to be able to define logical instances of various typeclasses for *any* datatype that is of the correct shape, without tying yourself to a particular underlying representation...
Conal Elliott has a pretty cool article on how [just fmap and (generalized) flip](http://conal.net/blog/posts/semantic-editor-combinators) are sufficient for doing complex transformations of functions of values of functions of ..., etc, simply...