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.Compose.Singletons
• Data.Functor.Const.Singletons
• Data.Functor.Identity.Singletons
• Data.Functor.Product.Singletons
• Data.Functor.Singletons
• Data.Functor.Sum.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.PolyError
• 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.20 && <4.21
• pretty lib:pretty >=0
• singletons lib:singletons >=3.0 && <3.1
• singletons-th lib:singletons-th >=3.4 && <3.5
• template-haskell lib:template-haskell >=2.22 && <2.23
• text lib:text >=1.2
• th-desugar lib:th-desugar >=1.17 && <1.18

Reverse dependencies

Direct only. Not exhaustive.

• cleveland lib:cleveland
• crem lib:crem-examples
• crem test:crem-spec
• exinst-base lib:exinst-base
• lorentz lib:lorentz
• morley lib:morley
• singletons-base test:singletons-base-test-suite
• singletons-presburger exe:simple-arith
• singletons-presburger lib:singletons-presburger
• units lib:units