All issues

Search results

Add Contraversable

Status: Open.

#70 In ekmett/contravariant;

· masaeedu opened on Oct 20, 2021

Decidable should not depend on Divisible

Status: Open.

#64 In ekmett/contravariant;

· Zemyla opened on Dec 7, 2019

Add Bicontravariant

Status: Open.

#63 In ekmett/contravariant;

· treeowl opened on Sep 5, 2019

[RFC] Add monadic versions of data types and abstractions?

Status: Open.

#62 In ekmett/contravariant;

· chshersh opened on Jul 28, 2019

Introduce idiomatic operators and revisit fixities for existing ones

Status: Open.

#57 In ekmett/contravariant;

· chshersh opened on Aug 23, 2018

Laws are not prominent enough in Haddocks for Divisible and Conquered

Status: Open.

#52 In ekmett/contravariant;

· quasicomputational opened on Jun 3, 2018

Make Divisible unconquerable

Status: Open.

#49 In ekmett/contravariant;

· treeowl opened on May 2, 2018

Add Free Divisible functor

Status: Open.

#43 In ekmett/contravariant;

· paf31 opened on Jan 24, 2018

Add Divide Day instance

Status: Open.

#40 In ekmett/contravariant;

· paf31 opened on Jan 11, 2018

What does (a -> f a) -> f a mean for contravariant applicatives?

Status: Open.

#36 In ekmett/contravariant;

· jackfirth opened on Nov 20, 2017

newtype F m f a = F (f a -> m)

Status: Open.

#34 In ekmett/contravariant;

· Icelandjack opened on Sep 28, 2017

Please add 'f a -> f a -> f a' to signature for Divisible

Status: Open.

#28 In ekmett/contravariant;

· tomjaguarpaw opened on Aug 1, 2016