singletons-2.5.1: A framework for generating singleton types

Index - |

||Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
||@#@$Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
||@#@$$Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
||@#@$$$Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar