@hackage / universe-dependent-sum

Universe instances for types from dependent-sum

Version Deprecated package1.3.1

Changelog

1.3.1

  • Depend on universe-some >=1.2.2 && <1.3
  • Support GHC-9.6.5..9.10.1

1.3

  • DEPRECATED, use universe-some
  • Data.Universe.DependentSum re-exports Data.Universe.Some
  • Don't depend on dependent-sum, you should use dependent-sum >=0.7, which uses some package