red | Graphics.Vty.Attributes, Graphics.Vty.Image, Graphics.Vty.Picture, Graphics.Vty |
refresh | Graphics.Vty |
region_height | Graphics.Vty.DisplayRegion, Graphics.Vty |
region_width | Graphics.Vty.DisplayRegion, Graphics.Vty |
release_display | Graphics.Vty.Terminal, Graphics.Vty |
release_terminal | Graphics.Vty.Terminal, Graphics.Vty |
remove_style | Graphics.Vty.Inline |
reserve_display | Graphics.Vty.Terminal, Graphics.Vty |
reverse_video | Graphics.Vty.Attributes, Graphics.Vty.Image, Graphics.Vty.Picture, Graphics.Vty |
rgb_color | Graphics.Vty.Attributes, Graphics.Vty.Image, Graphics.Vty.Picture, Graphics.Vty |