The latest version of singletons-base is 3.4-0.
lib:singletons-base
Modules
- Control.Applicative.Singletons
- Control.Monad.Fail.Singletons
- Control.Monad.Singletons
- Control.Monad.Zip.Singletons
- Data.Bool.Singletons
- Data.Either.Singletons
- Data.Eq.Singletons
- Data.Foldable.Singletons
- Data.Function.Singletons
- Data.Functor.Const.Singletons
- Data.Functor.Identity.Singletons
- Data.Functor.Singletons
- Data.List.NonEmpty.Singletons
- Data.List.Singletons
- Data.Maybe.Singletons
- Data.Monoid.Singletons
- Data.Ord.Singletons
- Data.Proxy.Singletons
- Data.Semigroup.Singletons
- Data.Singletons.Base.CustomStar
- Data.Singletons.Base.Enum
- Data.Singletons.Base.SomeSing
- Data.Singletons.Base.TH
- Data.Singletons.Base.TypeError
- Data.Singletons.Base.TypeRepTYPE
- Data.String.Singletons
- Data.Traversable.Singletons
- Data.Tuple.Singletons
- Data.Void.Singletons
- GHC.TypeLits.Singletons
- Prelude.Singletons
- Text.Show.Singletons
Dependencies
- base lib:base >=4.15 && <4.16
- pretty lib:pretty >=0
- singletons lib:singletons >=3.0 && <3.1
- singletons-th lib:singletons-th >=3.0 && <3.1
- template-haskell lib:template-haskell >=2.17 && <2.18
- text lib:text >=1.2
- th-desugar lib:th-desugar >=1.12 && <1.13
Reverse dependencies
Direct only. Not exhaustive.
- cleveland lib:cleveland
- crem lib:crem
- crem lib:crem-examples
- crem test:crem-spec
- eliminators lib:eliminators
- eliminators test:spec
- exinst-base lib:exinst-base
- fortran-src exe:fortran-src
- fortran-src lib:fortran-src
- fortran-src test:spec
- lorentz lib:lorentz
- melf lib:melf
- morley lib:morley
- singleton-nats lib:singleton-nats
- singletons-base test:singletons-base-test-suite
- singletons-presburger exe:simple-arith
- singletons-presburger lib:singletons-presburger
- units lib:units