Safe Haskell | None |
---|
- 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
- data Direction
- data HAlignment
- = AlignLeft
- | AlignCenter
- | AlignRight
- data Cont a
- class Widget a where
- class Widget a => ActiveWidget a where
- activate :: MonadExcIO m => m () -> Pos -> Size -> a -> m (a, String)
- type KeyHandler a = Pos -> Size -> a -> IO (Cont a)
- mkKeyHandler :: (Pos -> Size -> a -> a) -> KeyHandler a
- data DrawingHint
- 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 TextWidgetSize
- 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
- data TableCell
- = forall w . Widget w => TableCell w
- | forall w . ActiveWidget w => ActiveTableCell w
- 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 {
- tbw_rows :: [Row]
- tbw_colOffset :: Int
- tbw_pos :: Maybe Pos
- tbw_options :: TableWidgetOptions
- data FillRow
- data TableWidgetOptions = TBWOptions {}
- defaultTBWOptions :: TableWidgetOptions
- newTableWidget :: TableWidgetOptions -> [Row] -> TableWidget
- data TableWidgetDisplayInfo = 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)
- 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
getYOffset :: Offset -> IntSource
getXOffset :: Offset -> IntSource
class Widget a => ActiveWidget a whereSource
mkKeyHandler :: (Pos -> Size -> a -> a) -> KeyHandler aSource
data DrawingStyle Source
_draw :: DrawingHint -> DrawingStyle -> IO a -> IO aSource
scrollBackward :: t -> Int -> Int -> IntSource
data EditWidget Source
EditWidget | |
|
ew_contentPos :: EditWidget -> IntSource
data EditWidgetOptions Source
editWidgetGoLeft :: Pos -> Size -> EditWidget -> IO (Cont EditWidget)Source
editWidgetGoRight :: Pos -> Size -> EditWidget -> IO (Cont EditWidget)Source
editWidgetDeleteLeft :: Pos -> Size -> EditWidget -> IO (Cont EditWidget)Source
editWidgetDeleteUnderCursor :: Pos -> Size -> EditWidget -> IO (Cont EditWidget)Source
editWidgetDeleteToEnd :: Pos -> Size -> EditWidget -> IO (Cont EditWidget)Source
editWidgetGoHome :: Pos -> Size -> EditWidget -> IO (Cont EditWidget)Source
editWidgetGoEnd :: Pos -> Size -> EditWidget -> IO (Cont EditWidget)Source
editWidgetHistoryUp :: Pos -> Size -> EditWidget -> IO (Cont EditWidget)Source
editWidgetHistoryDown :: Pos -> Size -> EditWidget -> IO (Cont EditWidget)Source
editWidgetKeyHandlers :: [(Key, Pos -> Size -> EditWidget -> IO (Cont EditWidget))]Source
drawEditWidget :: Pos -> Size -> DrawingHint -> EditWidget -> IO ()Source
activateEditWidget :: MonadExcIO m => m () -> Pos -> Size -> EditWidget -> m (EditWidget, String)Source
editWidgetGoLeft' :: t -> t1 -> EditWidget -> EditWidgetSource
editWidgetGoRight' :: t -> (t1, Int) -> EditWidget -> EditWidgetSource
editWidgetDeleteLeft' :: Pos -> Size -> EditWidget -> EditWidgetSource
editWidgetDeleteUnderCursor' :: t -> t1 -> EditWidget -> EditWidgetSource
editWidgetDeleteToEnd' :: t -> t1 -> EditWidget -> EditWidgetSource
editWidgetGoHome' :: t -> t1 -> EditWidget -> EditWidgetSource
editWidgetGoEnd' :: Pos -> Size -> EditWidget -> EditWidgetSource
editWidgetFinish :: Monad m => t -> t1 -> EditWidget -> m (Cont EditWidget)Source
addToHistory :: EditWidget -> [Char] -> EditWidgetSource
editWidgetHistoryUp' :: t -> t1 -> EditWidget -> EditWidgetSource
editWidgetHistoryDown' :: t -> t1 -> EditWidget -> EditWidgetSource
editWidgetHistory :: Num t => (Int -> t -> Int) -> EditWidget -> EditWidgetSource
data TextWidget Source
TextWidget | |
|
data TextWidgetOptions Source
drawTextWidget :: Pos -> Size -> DrawingHint -> TextWidget -> IO ()Source
textWidgetScrollUp :: Size -> TextWidget -> TextWidgetSource
forall w . Widget w => TableCell w | |
forall w . ActiveWidget w => ActiveTableCell w |
_activateTableCell :: MonadExcIO m => m () -> Pos -> Size -> TableCell -> m (TableCell, String)Source
singletonRow :: TableCell -> RowSource
getCellWidget :: TableWidget -> (Int, Int) -> TableCellSource
setCellWidget :: TableWidget -> (Int, Int) -> TableCell -> TableWidgetSource
data TableWidget Source
TableWidget | |
|
data TableWidgetOptions Source
TBWOptions | |
|
newTableWidget :: TableWidgetOptions -> [Row] -> TableWidgetSource
data TableWidgetDisplayInfo Source
TBWDisplayInfo | |
|
getCellInfo :: Pos -> Size -> TableWidget -> (Int, Int) -> (Pos, Size)Source
drawTableWidget :: Pos -> Size -> DrawingHint -> TableWidget -> IO ()Source
tableWidgetActivateCurrent :: MonadExcIO m => m () -> Pos -> Size -> DrawingHint -> TableWidget -> m (TableWidget, Maybe String)Source
tableWidgetGoUp :: Size -> TableWidget -> TableWidgetSource
tableWidgetMove :: Direction -> (Int, Int) -> TableWidget -> TableWidgetSource
tableWidgetMakeVisible :: TableWidget -> (Int, Int) -> Int -> TableWidgetSource
findFirstActiveCell :: [Row] -> TableWidgetOptions -> Maybe PosSource
findNextActiveCell :: TableWidgetOptions -> Int -> Pos -> Direction -> Maybe PosSource
listReplace :: [a] -> a -> Int -> [a]Source
align :: HAlignment -> Int -> a -> [a] -> [a]Source