daylily
daylily
The current definitions of `listen` and `pass` are: ```haskell instance (Monoid w, HasState tag w m) => HasWriter tag w (WriterLog m) where writer_ tag (a, w) = yield_ tag...
`stylish-haskell-0.14.0.0` supports GHC 9.0 & 9.2 now, but it's difficult to integrate it into HLS for GHC 9.0 because it uses `ghc-lib-parser-9.2.*` and `ghc-lib-parser-ex-9.2.*`, while other formatters still use `ghc-lib-parser-9.0.*`....
This means allowing fields/ctors defined later refer to those defined earlier in their types, as what we did to Stmts, as long as the dependency graph forms a DAG. For...
Coercion
As title
Say in type class resolution, we meet the following instance ``` instance FTrans {A B C} {{ab: F A B}} {{bc: F B C}} : F A C ``` and...
Basically, - Use the same underlying structure as record inheritance - Auto search for the inherited typeclass's instance, hint user to give manually when >1 instances exist - Also introducing...
How to do this? In Lean, if `structure a extends b`, then we can build `a` by either `{ to_b := some_b_instance, }` or `{ , }`. When accessing some...
I've been thinking about the details of this. Firstly, if we don't have `let`-expressions, we only have to detect all definitions at the top-level and submodules and form a dependency...
Since we have the blue Aya (i.e. [Iizunamaru Megumu](https://thwiki.cc/%E9%A5%AD%E7%BA%B2%E4%B8%B8%E9%BE%99)) now, who is the leader of Tengu's (incl. Aya), we can consider naming one of our tools Megumu too (such as...
As title, it is good if we can format the `Expectation`s into `String`s. Ideally, Trifecta's output style (with line numbers and offending lines) will be very nice. 