fdSize | System.Console.Terminal.Size |
height | System.Console.Terminal.Size |
hSize | System.Console.Terminal.Size |
size | System.Console.Terminal.Size |
width | System.Console.Terminal.Size |
Window | |
1 (Type/Class) | System.Console.Terminal.Size |
2 (Data Constructor) | System.Console.Terminal.Size |