tinytools-vty-0.1.0.1: a terminal based unicode diagram editing tool

Safe Haskell	Safe-Inferred
Language	Haskell2010

Potato.Reflex.Vty.Widget.TextInputHelpers

Synopsis

infiniteWidthDyn :: Reflex t => Dynamic t Int
type UpdateTextZipperMethod = Event -> Maybe (TextZipper -> TextZipper)
makeCaptureFromUpdateTextZipperMethod :: (Reflex t, MonadFix m, MonadNodeId m, HasInput t m) => UpdateTextZipperMethod -> m (Event t ())
makeModifyEventFromUpdateTextZipperMethod :: UpdateTextZipperMethod -> Event -> TextZipper -> TextZipper
updateTextZipperForSingleCharacter :: UpdateTextZipperMethod
updateTextZipperForNumberInput :: UpdateTextZipperMethod
singleCellTextInput :: (MonadWidget t m, HasPotato t m) => Event t (TextZipper -> TextZipper) -> TextZipper -> m (Dynamic t Text)
dimensionInput :: (MonadWidget t m, HasPotato t m) => Dynamic t Int -> m (Dynamic t Int)
updateTextZipperForFilenameCharacters :: UpdateTextZipperMethod
filenameInputFireEventOnLoseFocus :: (MonadWidget t m, HasPotato t m, HasFocus t m) => Text -> Event t Text -> m (Event t Text)
filenameInput :: (MonadWidget t m, HasPotato t m) => Text -> Event t Text -> m (Dynamic t Text)
dropSpan :: Int -> [Span Attr] -> [Span Attr]
renderTextZipper :: (MonadWidget t m, HasPotato t m) => Dynamic t Int -> Dynamic t Int -> Dynamic t TextZipper -> m (Dynamic t (DisplayLines Attr))
textInputCustom' :: (MonadWidget t m, HasPotato t m) => Dynamic t Int -> Dynamic t Int -> Event t (TextZipper -> TextZipper) -> TextZipper -> m (Dynamic t Text)
textInputCustom :: (MonadWidget t m, HasPotato t m) => Event t (TextZipper -> TextZipper) -> TextZipper -> m (Dynamic t Text)

Documentation

infiniteWidthDyn :: Reflex t => Dynamic t Int Source #

type UpdateTextZipperMethod = Event -> Maybe (TextZipper -> TextZipper) Source #

makeCaptureFromUpdateTextZipperMethod :: (Reflex t, MonadFix m, MonadNodeId m, HasInput t m) => UpdateTextZipperMethod -> m (Event t ()) Source #

makeModifyEventFromUpdateTextZipperMethod Source #

Arguments

:: UpdateTextZipperMethod
-> Event	The vty event to handle
-> TextZipper	The zipper to modify
-> TextZipper

updateTextZipperForSingleCharacter :: UpdateTextZipperMethod Source #

updateTextZipperForNumberInput :: UpdateTextZipperMethod Source #

singleCellTextInput :: (MonadWidget t m, HasPotato t m) => Event t (TextZipper -> TextZipper) -> TextZipper -> m (Dynamic t Text) Source #

dimensionInput :: (MonadWidget t m, HasPotato t m) => Dynamic t Int -> m (Dynamic t Int) Source #

updateTextZipperForFilenameCharacters :: UpdateTextZipperMethod Source #

filenameInputFireEventOnLoseFocus Source #

Arguments

:: (MonadWidget t m, HasPotato t m, HasFocus t m)
=> Text	initial
-> Event t Text	override input event
-> m (Event t Text)	event that fires when text input loses focus

filenameInput Source #

Arguments

:: (MonadWidget t m, HasPotato t m)
=> Text	initial
-> Event t Text	override input event
-> m (Dynamic t Text)

dropSpan :: Int -> [Span Attr] -> [Span Attr] Source #

Turn a Span into an Image

renderTextZipper :: (MonadWidget t m, HasPotato t m) => Dynamic t Int -> Dynamic t Int -> Dynamic t TextZipper -> m (Dynamic t (DisplayLines Attr)) Source #

textInputCustom' :: (MonadWidget t m, HasPotato t m) => Dynamic t Int -> Dynamic t Int -> Event t (TextZipper -> TextZipper) -> TextZipper -> m (Dynamic t Text) Source #

textInputCustom :: (MonadWidget t m, HasPotato t m) => Event t (TextZipper -> TextZipper) -> TextZipper -> m (Dynamic t Text) Source #