Andrew Martin
Andrew Martin
I noticed that in the benchmarks for `http-req`, the `inClass` function from `attoparsec` is [used](https://github.com/winterland1989/binary-parsers/blob/8f5ecb34d0c7a758e1b9f8da8c6e5943f74c3f3b/bench/HttpReq.hs#L36). However, the equivant `binary-parsers` code [writes the predicate by hand](https://github.com/winterland1989/binary-parsers/blob/8f5ecb34d0c7a758e1b9f8da8c6e5943f74c3f3b/bench/HttpReq.hs#L61-L69). Attoparsec's documentation warns against using...
``` poly> 1 + 5 Cannot unify types: Int with Int -> a ``` I think that the plus operator is not parsed correctly.
Is it possible to add: mapDynamicCheap :: (a -> b) -> Dynamic t a -> Dynamic t b
I think reflex-dom-core builds fine with `contravariant-1.5` and `aeson-1.4`. I haven't confirmed this yet though.
I would like to add the following functions to `Data.Text.Lazy.Builder`: ``` toStrictText :: Builder -> Text unlines :: [Builder] -> Builder unwords :: [Builder] -> Builder ``` Additionally, I think...
In `Data.Text.Lazy.Builder.Int`, the functions `decimal` and `hexadecimal` are available. Sometimes, I need to zero pad my decimal and hexadecimal representations to a certain length. I propose adding the following two...
Is there a way to open a file as a part of a property check? I'm write a parser library, and one behavior I need to test is the a...
Liquid Haskell accepts this program: ``` {-@ data Term = Var ({ i:Int | 0 { i:Int | 0 Int freeVarBound t = case t of Var v -> v...
I read a blog post recently where `max` is used in a reflected function like this: ``` {-@ reflect freeVarBound @-} {-@ freeVarBound :: UExp -> { i:Int | 0...