dev-haskell/singletons-th
A framework for generating singleton types
Screenshots
View
Download
BrowseRuntime Dependencies
singletons-th-3.3
>=dev-haskell/singletons-3.0:=[profile?
]
<dev-haskell/singletons-3.1:=[profile?
]
>=dev-haskell/syb-0.4:=[profile?
]
>=dev-haskell/th-desugar-1.16:=[profile?
]
<dev-haskell/th-desugar-1.17:=[profile?
]
>=dev-haskell/th-orphans-0.13.11:=[profile?
]
<dev-haskell/th-orphans-0.14:=[profile?
]
>=dev-lang/ghc-9.8.2:=
dev-lang/ghc:=[profile?
]
singletons-th-3.2
>=dev-haskell/singletons-3.0:=[profile?
]
<dev-haskell/singletons-3.1:=[profile?
]
>=dev-haskell/syb-0.4:=[profile?
]
>=dev-haskell/th-desugar-1.15:=[profile?
]
<dev-haskell/th-desugar-1.16:=[profile?
]
>=dev-haskell/th-orphans-0.13.11:=[profile?
]
<dev-haskell/th-orphans-0.14:=[profile?
]
>=dev-lang/ghc-9.6.2:=
dev-lang/ghc:=[profile?
]
singletons-th-3.1.1
>=dev-haskell/singletons-3.0:=[profile?
]
<dev-haskell/singletons-3.1:=[profile?
]
>=dev-haskell/syb-0.4:=[profile?
]
>=dev-haskell/th-desugar-1.14:=[profile?
]
<dev-haskell/th-desugar-1.15:=[profile?
]
>=dev-haskell/th-orphans-0.13.11:=[profile?
]
<dev-haskell/th-orphans-0.14:=[profile?
]
>=dev-lang/ghc-9.4.5:=
dev-lang/ghc:=[profile?
]
singletons-th-3.1
~dev-haskell/singletons-3.0.1:=[profile?
]
>=dev-haskell/syb-0.4:=[profile?
]
>=dev-haskell/th-desugar-1.13:=[profile?
]
<dev-haskell/th-desugar-1.14:=[profile?
]
>=dev-haskell/th-orphans-0.13.11:=[profile?
]
<dev-haskell/th-orphans-0.14:=[profile?
]
>=dev-lang/ghc-9.2.4:=
dev-lang/ghc:=[profile?
]