fastsum

fastsum copied to clipboard

russellmcc

Is :> too rigid?

7

I'm trying to figure out how to get the following to work: ```haskell stronger :: f :< r => Sum r v -> a stronger = undefined weaker :: f...

jwiegley

Problem with Apply instance

2

The following code demonstrates the problem: ``` works :: (Apply Eq1 r, Eq v) => Sum r v -> Sum r v -> Bool works x y = x ==...

jwiegley

Some lensy bits for your review

3

I've found these useful as a UI for `fastsum` in my lens-oriented code: ```haskell {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleContexts #-}...

jwiegley

Requiring Show1 for Show, Eq1 for Eq, etc., is inconvenient

5

Once upon a time, `fastsum` had separate `Apply` and `Apply1` typeclasses s.t. we could use `Apply` for `Show` and `Apply1` for `Functor`. We eventually got rid of the former because...

robrix