Refl | Data.Singletons.Decide, Data.Singletons.TH |
Refuted | Data.Singletons.Decide, Data.Singletons.TH |
Replicate | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
ReplicateSym0 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
ReplicateSym1 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
ReplicateSym2 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
Reverse | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
ReverseSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
ReverseSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
Rights | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
RightsSym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
RightsSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
RightSym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude |
RightSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude |