R | Generics.MRSOP.Examples.RoseTree |
Record | Generics.MRSOP.Base.Metadata, Generics.MRSOP.Base |
removeCtx | Generics.MRSOP.Zipper.Deep |
removeCtxs | Generics.MRSOP.Zipper.Deep |
removeNPHole | Generics.MRSOP.Zipper.Deep |
Rep | |
1 (Type/Class) | Generics.MRSOP.Base.Universe, Generics.MRSOP.Base |
2 (Data Constructor) | Generics.MRSOP.Base.Universe, Generics.MRSOP.Base |
right | Generics.MRSOP.Zipper |
RightAssociative | Generics.MRSOP.Base.Metadata, Generics.MRSOP.Base |
RTCode | Generics.MRSOP.Examples.RoseTree |