Matt Parker
Matt Parker
Well, Posh's `pull` and `q` functions return reactions, so you can use them anywhere in re-frame where you would use a reaction, including in your subscription handlers. If you wanted...
@aft-luke, another person, @handojin, mentioned they were using posh with re-frame and re-com successfully
he mentions it at the bottom of this thread: https://github.com/mpdairy/posh/issues/5
I'm actually redoing posh right now so that it's functional, reagent-agnostic, and works with either datomic or datascript (the reagent support will just be a separate plugin repo). It will...
Well, I don't have any particular file yet, but I want to specify a low level language, close to a lifted assembly language, and be able to type check for...
Ok, I'll make a little concrete example. If I used something like this (http://hackage.haskell.org/package/bv-sized-0.7.0/docs/Data-BitVector-Sized.html) for my bitvectors in Haskell, would the `Nat` size parameter allow you to create BVs in...
Sorry I took so long! I was on vacation. Here's a demo module that uses the `bv-sized` library: ``` {-# LANGUAGE DataKinds #-} {-@ LIQUID "--no-termination" @-} module Demo where...
Let me know if you want me to make a little repo with my demo file and a working stack.yaml.
If somebody could give me a brief overview of what needs to be done to get this added, I'll take a stab at it.
@Gabriel439 Thanks for your reply. The stream is taken from a postgres database of about 800,000 JSON messages, which are decoded into a Stream of a custom `MessageEvent` type. To...