Index - R
Refl | Data.Singletons.Types, Data.Singletons.Decide, Data.Singletons.TH |
Refuted | Data.Singletons.Decide, Data.Singletons.TH |
Reverse | Data.Singletons.List |
Rights | Data.Singletons.Either |
singletons-0.10.0: A framework for generating singleton types