ekmett/contravariant

Issues

• Add `Contraversable`

  #70 opened 3 years ago by masaeedu
  3

• Documentation for decidable is actually documentation for divisible.

  #26 opened 9 years ago by mpickering
  3

• Decidable should not depend on Divisible

  #64 opened 5 years ago by Zemyla
  3

• Introduce idiomatic operators and revisit fixities for existing ones

  #57 opened 6 years ago by chshersh
  21

• Make Divisible unconquerable

  #49 opened 7 years ago by treeowl
  4

• 1.5.4 build failures

  #68 opened 3 years ago by phadej
  3

• Allow building with `transformers-0.6.*`

  #67 opened 3 years ago by RyanGlScott
  1

• Deriving Contravariant instances with Template Haskell?

  #17 opened 9 years ago by RyanGlScott
  4

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

  #36 opened 7 years ago by jackfirth
  1

• Add Bicontravariant

  #63 opened 5 years ago by treeowl
  0

• Revision update broke our freeze file

  #61 opened 6 years ago by hasufell
  4

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

  #62 opened 5 years ago by chshersh
  0

• contravariant-1.5 doesn't build against transformers-0.5.5.0

  #60 opened 6 years ago by 23Skidoo
  4

• compatibility with base-4.12

  #44 opened 6 years ago by andrewthad
  34

• Day could be a comonad

  #37 opened 6 years ago by safareli
  4

• laws for Decidable

  #53 opened 6 years ago by fommil
  3

• backend for deriving

  #54 opened 6 years ago by fommil
  3

• suggest a name for an invariant parent of Alt and Decidable

  #55 opened 6 years ago by fommil
  2

• Laws are not prominent enough in Haddocks for Divisible and Conquered

  #52 opened 7 years ago by quasicomputational
  0

• Is this law incorrect?

  #47 opened 7 years ago by barrucadu
  2

• Add Free Divisible functor

  #43 opened 7 years ago by paf31
  0

• Add Divide Day instance

  #40 opened 7 years ago by paf31
  0

• No instance for (Semigroup (Predicate a))

  #38 opened 7 years ago by phadej
  0

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

  #34 opened 7 years ago by Icelandjack
  4

• StateVar-1.1.0.4:Data.StateVar can't be safely imported! The module itself isn't safe.

  #32 opened 8 years ago by TheThirdOne
  11

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

  #28 opened 8 years ago by tomjaguarpaw
  10

• Add 'Invariant' functor

  #29 opened 8 years ago by chshersh
  2

• Add ShowsPrec?

  #25 opened 9 years ago by Zemyla
  0

• Broken links in Hackage documentation

  #24 opened 9 years ago by bwignall
  1

• GDeciding1 missing instance for (f :.: g)

  #23 opened 9 years ago by fizruk
  0

• Refine Divisble and Decidable?

  #18 opened 9 years ago by paf31
  3

• Add dual of vacuous

  #20 opened 9 years ago by treeowl
  3

• Add `several`?

  #19 opened 9 years ago by ekmett
  1

• Decidable but not Divisible?

  #16 opened 9 years ago by tomjaguarpaw
  2

• Why not Decidable f

  #15 opened 10 years ago by tomjaguarpaw
  1

• Build with GHC 7.0.x

  #8 opened 10 years ago by mightybyte
  2

• Suggestion for Comparison

  #7 opened 10 years ago by nanonaren
  3

• 0.6.1 doesn't compile for me due to missing lang pragma

  #6 opened 10 years ago by aycanirican
  2

• Package can't be installed with transformers-0.2.2.0 and GHC 7.2.2

  #4 opened 11 years ago by bjpe
  2

• Data.Proxy: Can't be safely imported! The module itself isn't safe.

  #3 opened 11 years ago by basvandijk
  7