Refl | Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar |
Refuted | Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar |
Rem | GHC.TypeLits.Singletons |
RemSym0 | GHC.TypeLits.Singletons |
RemSym1 | GHC.TypeLits.Singletons |
RemSym2 | GHC.TypeLits.Singletons |
Replicate | Data.List.Singletons, Prelude.Singletons |
ReplicateM | Control.Monad.Singletons |
ReplicateMSym0 | Control.Monad.Singletons |
ReplicateMSym1 | Control.Monad.Singletons |
ReplicateMSym2 | Control.Monad.Singletons |
ReplicateM_ | Control.Monad.Singletons |
ReplicateM_Sym0 | Control.Monad.Singletons |
ReplicateM_Sym1 | Control.Monad.Singletons |
ReplicateM_Sym2 | Control.Monad.Singletons |
ReplicateSym0 | Data.List.Singletons, Prelude.Singletons |
ReplicateSym1 | Data.List.Singletons, Prelude.Singletons |
ReplicateSym2 | Data.List.Singletons, Prelude.Singletons |
Return | Control.Monad.Singletons, Prelude.Singletons |
ReturnSym0 | Control.Monad.Singletons, Prelude.Singletons |
ReturnSym1 | Control.Monad.Singletons, Prelude.Singletons |
Reverse | |
1 (Type/Class) | Data.List.Singletons, Prelude.Singletons |
2 (Type/Class) | Data.List.NonEmpty.Singletons |
ReverseSym0 | |
1 (Type/Class) | Data.List.Singletons, Prelude.Singletons |
2 (Type/Class) | Data.List.NonEmpty.Singletons |
ReverseSym1 | |
1 (Type/Class) | Data.List.Singletons, Prelude.Singletons |
2 (Type/Class) | Data.List.NonEmpty.Singletons |
Rights | Data.Either.Singletons |
RightsSym0 | Data.Either.Singletons |
RightsSym1 | Data.Either.Singletons |
RightSym0 | Data.Either.Singletons, Prelude.Singletons |
RightSym1 | Data.Either.Singletons, Prelude.Singletons |
RunIdentity | Data.Functor.Identity.Singletons |
RunIdentitySym0 | Data.Functor.Identity.Singletons |
RunIdentitySym1 | Data.Functor.Identity.Singletons |