|
|
|
|
Synopsis |
|
type Pos = (Int, Int) | | type Offset = (Int, Int) | | type Size = (Int, Int) | | getHeight :: Size -> Int | | getWidth :: Size -> Int | | getYOffset :: Offset -> Int | | getXOffset :: Offset -> Int | | getYPos :: Pos -> Int | | getXPos :: Pos -> Int | | | | | | | | class Widget a where | | | class Widget a => ActiveWidget a where | | | type KeyHandler a = Pos -> Size -> a -> IO (Cont a) | | mkKeyHandler :: (Pos -> Size -> a -> a) -> KeyHandler a | | | | data DrawingStyle = DStyle {} | | mkDrawingStyle :: CursesStyle -> DrawingStyle | | defaultDrawingStyle :: DrawingStyle | | _draw :: DrawingHint -> DrawingStyle -> IO a -> IO a | | scrollFactor :: Double | | scrollBy :: Int -> Int | | scrollForward :: Int -> Int -> Int -> Int | | scrollBackward :: t -> Int -> Int -> Int | | data EmptyWidget = EmptyWidget Size | | data OpaqueWidget = OpaqueWidget Size | | data EditWidget = EditWidget {} | | ew_contentPos :: EditWidget -> Int | | data EditWidgetOptions = EWOptions {} | | defaultEWOptions :: EditWidgetOptions | | newEditWidget :: EditWidgetOptions -> String -> EditWidget | | editWidgetGoLeft :: Pos -> Size -> EditWidget -> IO (Cont EditWidget) | | editWidgetGoRight :: Pos -> Size -> EditWidget -> IO (Cont EditWidget) | | editWidgetDeleteLeft :: Pos -> Size -> EditWidget -> IO (Cont EditWidget) | | editWidgetDeleteUnderCursor :: Pos -> Size -> EditWidget -> IO (Cont EditWidget) | | editWidgetDeleteToEnd :: Pos -> Size -> EditWidget -> IO (Cont EditWidget) | | editWidgetGoHome :: Pos -> Size -> EditWidget -> IO (Cont EditWidget) | | editWidgetGoEnd :: Pos -> Size -> EditWidget -> IO (Cont EditWidget) | | editWidgetHistoryUp :: Pos -> Size -> EditWidget -> IO (Cont EditWidget) | | editWidgetHistoryDown :: Pos -> Size -> EditWidget -> IO (Cont EditWidget) | | editWidgetKeyHandlers :: [(Key, Pos -> Size -> EditWidget -> IO (Cont EditWidget))] | | editWidgetGetContent :: EditWidget -> String | | editWidgetSetContent :: EditWidget -> String -> EditWidget | | editWidgetGetOptions :: EditWidget -> EditWidgetOptions | | editWidgetSetOptions :: EditWidget -> EditWidgetOptions -> EditWidget | | drawEditWidget :: Pos -> Size -> DrawingHint -> EditWidget -> IO () | | activateEditWidget :: MonadExcIO m => m () -> Pos -> Size -> EditWidget -> m (EditWidget, String) | | editWidgetGoLeft' :: t -> t1 -> EditWidget -> EditWidget | | editWidgetGoRight' :: t -> (t1, Int) -> EditWidget -> EditWidget | | editWidgetDeleteLeft' :: Pos -> Size -> EditWidget -> EditWidget | | editWidgetDeleteUnderCursor' :: t -> t1 -> EditWidget -> EditWidget | | editWidgetDeleteToEnd' :: t -> t1 -> EditWidget -> EditWidget | | editWidgetGoHome' :: t -> t1 -> EditWidget -> EditWidget | | editWidgetGoEnd' :: Pos -> Size -> EditWidget -> EditWidget | | editWidgetFinish :: Monad m => t -> t1 -> EditWidget -> m (Cont EditWidget) | | maxHistoryLength :: Int | | addToHistory :: EditWidget -> [Char] -> EditWidget | | editWidgetHistoryUp' :: t -> t1 -> EditWidget -> EditWidget | | editWidgetHistoryDown' :: t -> t1 -> EditWidget -> EditWidget | | editWidgetHistory :: Num t => (Int -> t -> Int) -> EditWidget -> EditWidget | | data TextWidget = TextWidget {} | | | | data TextWidgetOptions = TWOptions {} | | defaultTWOptions :: TextWidgetOptions | | newTextWidget :: TextWidgetOptions -> String -> TextWidget | | drawTextWidget :: Pos -> Size -> DrawingHint -> TextWidget -> IO () | | textWidgetGetText :: TextWidget -> String | | textWidgetSetText :: TextWidget -> String -> TextWidget | | textWidgetScrollDown :: Size -> TextWidget -> TextWidget | | textWidgetScrollUp :: Size -> TextWidget -> TextWidget | | textWidgetScrollLeft :: Size -> TextWidget -> TextWidget | | textWidgetScrollRight :: Size -> TextWidget -> TextWidget | | | | isActive :: TableCell -> Bool | | _activateTableCell :: MonadExcIO m => m () -> Pos -> Size -> TableCell -> m (TableCell, String) | | type Row = [TableCell] | | singletonRow :: TableCell -> Row | | getCellWidget :: TableWidget -> (Int, Int) -> TableCell | | setCellWidget :: TableWidget -> (Int, Int) -> TableCell -> TableWidget | | data TableWidget = TableWidget {} | | | | data TableWidgetOptions = TBWOptions {} | | defaultTBWOptions :: TableWidgetOptions | | newTableWidget :: TableWidgetOptions -> [Row] -> TableWidget | | data TableWidgetDisplayInfo = TBWDisplayInfo {} | | tableWidgetDisplayInfo :: Size -> TableWidget -> TableWidgetDisplayInfo | | getCellInfo :: Pos -> Size -> TableWidget -> (Int, Int) -> (Pos, Size) | | drawTableWidget :: Pos -> Size -> DrawingHint -> TableWidget -> IO () | | tableWidgetScrollDown :: Size -> TableWidget -> TableWidget | | tableWidgetScrollUp :: Size -> TableWidget -> TableWidget | | tableWidgetActivateCurrent :: MonadExcIO m => m () -> Pos -> Size -> DrawingHint -> TableWidget -> m (TableWidget, Maybe String) | | tableWidgetGoLeft :: Size -> TableWidget -> TableWidget | | tableWidgetGoRight :: Size -> TableWidget -> TableWidget | | tableWidgetGoUp :: Size -> TableWidget -> TableWidget | | tableWidgetGoDown :: Size -> TableWidget -> TableWidget | | tableWidgetMove :: Direction -> (Int, Int) -> TableWidget -> TableWidget | | tableWidgetMakeVisible :: TableWidget -> (Int, Int) -> Int -> TableWidget | | findFirstActiveCell :: [Row] -> TableWidgetOptions -> Maybe Pos | | findNextActiveCell :: TableWidgetOptions -> Int -> Pos -> Direction -> Maybe Pos | | tableWidgetDeleteRow :: Int -> TableWidget -> TableWidget | | joinLists :: [[a]] -> [a] -> [a] | | splitList :: Eq a => [a] -> [a] -> [[a]] | | listReplace :: [a] -> a -> Int -> [a] | | alignRows :: [[[a]]] -> a -> [a] -> [[a]] | | align :: HAlignment -> Int -> a -> [a] -> [a] | | deleteAt :: Int -> [a] -> [a] |
|
|
Documentation |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Constructors | DirLeft | | DirRight | | DirUp | | DirDown | |
|
|
|
|
Constructors | AlignLeft | | AlignCenter | | AlignRight | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Constructors | TWSizeDefault | | TWSizeFixed Size | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
data TableWidgetOptions | Source |
|
|
|
|
|
|
|
data TableWidgetDisplayInfo | Source |
|
Constructors | TBWDisplayInfo | | tbwdisp_height :: Int | | tbwdisp_width :: Int | | tbwdisp_firstVis :: Int | | tbwdisp_lastVis :: Int | | tbwdisp_rows :: [Row] | | tbwdisp_nrows :: Int | | tbwdisp_heights :: [Int] | | tbwdisp_widths :: [Int] | | tbwdisp_rightMargin :: Maybe (Int, Size) | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
joinLists :: [[a]] -> [a] -> [a] | Source |
|
Join a list by some delimiter
|
|
splitList :: Eq a => [a] -> [a] -> [[a]] | Source |
|
Split a list by some delimiter
|
|
|
|
alignRows :: [[[a]]] -> a -> [a] -> [[a]] | Source |
|
|
|
|
|
|
Produced by Haddock version 2.6.1 |