Andrew Martin

Benchmarks don't use attoparsec best practices

1

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.

Cheap mapping over a Dynamic

3

Is it possible to add: mapDynamicCheap :: (a -> b) -> Dynamic t a -> Dynamic t b

Upper bounds on contravariant and aeson

1

I think reflex-dom-core builds fine with `contravariant-1.5` and `aeson-1.4`. I haven't confirmed this yet though.

Convenience functions for Builder

3

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...

Padded decimal and hexadecimal text builders

3

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...

Open a file in a Property

1

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...

drop autosize (was: autosize causes LH to forget field refinements)

4

Liquid Haskell accepts this program: ``` {-@ data Term = Var ({ i:Int | 0 { i:Int | 0 Int freeVarBound t = case t of Var v -> v...

Min and Max cannot be reflected and cannot be used in measures

6

I read a blog post recently where `max` is used in a reflected function like this: ``` {-@ reflect freeVarBound @-} {-@ freeVarBound :: UExp -> { i:Int | 0...