Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / mniip/finite-typelits issues and pull requests

#23 - Support ghc 9.8

Pull Request - State: closed - Opened by turion 6 months ago - 5 comments

#22 - cabal: bump base upper bound (support GHC 9.6)

Pull Request - State: closed - Opened by raehik about 1 year ago

#20 - Add `difference`

Pull Request - State: open - Opened by jonascarpay about 4 years ago

#19 - Add Ix instance

Pull Request - State: open - Opened by jonascarpay about 4 years ago

#18 - add 'withFinite' to pass a 'Finite' at the type level

Pull Request - State: open - Opened by sheaf over 4 years ago - 1 comment

#17 - Could we have exponentiation of Finites?

Issue - State: open - Opened by kozross almost 5 years ago - 2 comments

#16 - emptyFinite for proving Finite 0 is uninhabited

Pull Request - State: closed - Opened by mstksg about 5 years ago - 3 comments

#15 - Loosen constraint from Integer to Num or Integral

Issue - State: closed - Opened by hololeap over 5 years ago - 1 comment

#14 - Put finite-typelits on stackage

Issue - State: closed - Opened by turion over 5 years ago - 2 comments

#13 - Types of `add` and `multiply` are too loose

Issue - State: open - Opened by lexi-lambda almost 6 years ago - 5 comments

#12 - Build failure on GHC 8.4.3

Issue - State: closed - Opened by jkachmar almost 6 years ago - 1 comment

#11 - finite-typelits doesn't build with ghc 8.6

Issue - State: closed - Opened by expipiplus1 almost 6 years ago - 3 comments

#10 - General cleanup

Pull Request - State: closed - Opened by howtonotwin over 6 years ago - 3 comments

#9 - modClass :: Integer -> Finite n

Pull Request - State: closed - Opened by mstksg over 6 years ago - 1 comment

#8 - `quot` isn't modular multiplicative inverse

Issue - State: closed - Opened by phadej over 6 years ago - 1 comment

#7 - Add instance KnownNat n => Read (Finite n)

Pull Request - State: closed - Opened by howtonotwin over 6 years ago - 4 comments

#6 - Add 1<=n constraint to Bounded instance

Pull Request - State: open - Opened by Shimuuar over 6 years ago

#5 - Generic instance allows to break data abstraction

Issue - State: closed - Opened by Shimuuar over 6 years ago - 12 comments

#4 - added finites, which generates all elements of Finite n

Pull Request - State: closed - Opened by mstksg about 7 years ago - 1 comment

#3 - Inaccurate version bounds / compile error with GHC 7.6

Issue - State: closed - Opened by hvr over 7 years ago - 2 comments

#2 - Perplexing orphan instances

Issue - State: closed - Opened by bgamari over 7 years ago

#1 - Generic instance for Finite

Pull Request - State: closed - Opened by mstksg about 8 years ago - 1 comment