Zemyla
Zemyla
I think the `Pixel` class should have a pair of functions to convert to and from a `DynamicImage`: ```haskell class (Storable (PixelBaseComponent a), Num (PixelBaseComponent a), Eq a) => Pixel...
Can the various decoding functions be augmented to support incremental input, such as is supported in the Data.Binary library used under the hood? This would allow decoding images from non-file...
There should be a function called something like `indexM` in the Representable typeclass, with the type ``` haskell indexM :: (Representable f, Monad m) => f a -> Rep f...
There is an explicit isomorphism for this: ``` haskell fromAdj :: Adjunction f u => f a -> (a, Rep u) fromAdj = rightAdjunct (tabulate . (,)) toAdj :: Adjunction...
I've been trying to write various combinators using just the functions in the `Control.Category.*` and `Control.Categorical.*` packages, and I've wound up repeatedly getting stuck trying to produce a witness for...
I'm trying to figure out if there are any possible instances for `CoCCC`, besides `Dual k` where `k` is an instance of `CCC`. (This requires instances for `Dual` for the...
On days 6 and 7, you write ```haskell λ> Just not Just False True λ> Nothing Just False False ``` and ```haskell > Just 'a' *> Just 'b' Just 'b'...
We seemingly can't have a CoArbitrary1 and CoArbitrary2 typeclass in Haskell98 compatible libraries because of the lack of RankNTypes. However, this isn't necessarily an insurmountable problem. I figured out a...
`Data.Functor.Contravariant` is now in `base`, and it includes the types ```haskell newtype Equivalence a = Equivalence { getEquivalence :: a -> a -> Bool } newtype Comparison a = Comparison...
It seems to be. There is an exponential, which is `(:=>)`, and `apply` and `uncurry` combinators: ```haskell apply :: forall a b. (a :=> b, a) :- b apply =...