R | Data.Type.Disjunction |
R' | Data.Type.Disjunction |
Read1 | Type.Class.Higher |
Read2 | Type.Class.Higher |
Read3 | Type.Class.Higher |
readMaybe1 | Type.Class.Higher |
readMaybe2 | Type.Class.Higher |
readMaybe3 | Type.Class.Higher |
reads1 | Type.Class.Higher |
reads2 | Type.Class.Higher |
reads3 | Type.Class.Higher |
readsPrec1 | Type.Class.Higher |
readsPrec2 | Type.Class.Higher |
readsPrec3 | Type.Class.Higher |
Refl | Type.Class.Witness |
Refuted | Type.Class.Witness |
Reverse | Type.Family.List |
reverse' | Data.Type.Product |
reverseCong | Type.Family.List |
reverseF | Data.Type.Product.Lifted |
rightCong | Type.Family.Either |