termbox-bindings-hs 0.1.0 → 0.1.1

raw patch · 16 files changed

+1428/−1145 lines, 16 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

Files

• CHANGELOG.md +6/−1
• LICENSE +1/−1
• src/Termbox/Bindings/Hs.hs +197/−1134
• src/Termbox/Bindings/Hs/Internal/Attr.hs +44/−0
• src/Termbox/Bindings/Hs/Internal/Cell.hs +30/−0
• src/Termbox/Bindings/Hs/Internal/Color.hs +78/−0
• src/Termbox/Bindings/Hs/Internal/Event.hs +41/−0
• src/Termbox/Bindings/Hs/Internal/EventMod.hs +28/−0
• src/Termbox/Bindings/Hs/Internal/EventType.hs +43/−0
• src/Termbox/Bindings/Hs/Internal/Functions.hs +162/−0
• src/Termbox/Bindings/Hs/Internal/InitError.hs +43/−0
• src/Termbox/Bindings/Hs/Internal/InputMode.hs +51/−0
• src/Termbox/Bindings/Hs/Internal/Key.hs +591/−0
• src/Termbox/Bindings/Hs/Internal/OutputMode.hs +59/−0
• src/Termbox/Bindings/Hs/Internal/Prelude.hs +31/−0
• termbox-bindings-hs.cabal +23/−9

@@ -1,2 +1,7 @@-## [0.1.0] - Unreleased+## [0.1.1] - November 5, 2023++- Add `Monoid` instance for `Tb_attr`++## [0.1.0] - October 25, 2022+ - Initial release

@@ -1,4 +1,4 @@-Copyright 2018-2022 Mitchell Rosen+Copyright 2018-2023 Mitchell Rosen, Travis Staton  Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 

@@ -1,1134 +1,197 @@-module Termbox.Bindings.Hs-  ( -- * Functions--    -- ** Initialize / shutdown-    tb_init,-    tb_init_fd,-    tb_init_file,-    Termbox.Bindings.C.tb_shutdown,--    -- ** Get\/set input\/output mode-    tb_select_input_mode,-    tb_select_output_mode,--    -- ** Get terminal dimensions-    tb_width,-    tb_height,--    -- ** Poll for events-    tb_peek_event,-    tb_poll_event,--    -- ** Style a color-    tb_attr,--    -- ** Set a cell-    tb_set_cursor,-    tb_put_cell,-    tb_change_cell,--    -- ** Clear and synchronize the back buffer-    Termbox.Bindings.C.tb_clear,-    tb_set_clear_attributes,-    Termbox.Bindings.C.tb_present,--    -- * Types-    Tb_attr-      ( Tb_attr,-        TB_BOLD,-        TB_REVERSE,-        TB_UNDERLINE-      ),-    Tb_cell (..),-    Tb_color-      ( Tb_color,-        TB_DEFAULT,-        TB_BLACK,-        TB_BLUE,-        TB_CYAN,-        TB_GREEN,-        TB_MAGENTA,-        TB_RED,-        TB_WHITE,-        TB_YELLOW-      ),-    Tb_event (..),-    Tb_event_mod-      ( Tb_event_mod,-        TB_MOD_ALT,-        TB_MOD_MOTION-      ),-    Tb_event_type-      ( TB_EVENT_KEY,-        TB_EVENT_MOUSE,-        TB_EVENT_RESIZE-      ),-    Tb_init_error-      ( TB_EFAILED_TO_OPEN_TTY,-        TB_EPIPE_TRAP_ERROR,-        TB_EUNSUPPORTED_TERMINAL-      ),-    Tb_input_mode-      ( TB_INPUT_CURRENT,-        TB_INPUT_ALT,-        TB_INPUT_ESC,-        TB_INPUT_MOUSE-      ),-    Tb_key-      ( TB_KEY_ARROW_DOWN,-        TB_KEY_ARROW_LEFT,-        TB_KEY_ARROW_RIGHT,-        TB_KEY_ARROW_UP,-        TB_KEY_BACKSPACE,-        TB_KEY_BACKSPACE2,-        TB_KEY_CTRL_2,-        TB_KEY_CTRL_3,-        TB_KEY_CTRL_4,-        TB_KEY_CTRL_5,-        TB_KEY_CTRL_6,-        TB_KEY_CTRL_7,-        TB_KEY_CTRL_8,-        TB_KEY_CTRL_A,-        TB_KEY_CTRL_B,-        TB_KEY_CTRL_BACKSLASH,-        TB_KEY_CTRL_C,-        TB_KEY_CTRL_D,-        TB_KEY_CTRL_E,-        TB_KEY_CTRL_F,-        TB_KEY_CTRL_G,-        TB_KEY_CTRL_H,-        TB_KEY_CTRL_I,-        TB_KEY_CTRL_J,-        TB_KEY_CTRL_K,-        TB_KEY_CTRL_L,-        TB_KEY_CTRL_LSQ_BRACKET,-        TB_KEY_CTRL_M,-        TB_KEY_CTRL_N,-        TB_KEY_CTRL_O,-        TB_KEY_CTRL_P,-        TB_KEY_CTRL_Q,-        TB_KEY_CTRL_R,-        TB_KEY_CTRL_RSQ_BRACKET,-        TB_KEY_CTRL_S,-        TB_KEY_CTRL_SLASH,-        TB_KEY_CTRL_T,-        TB_KEY_CTRL_TILDE,-        TB_KEY_CTRL_U,-        TB_KEY_CTRL_UNDERSCORE,-        TB_KEY_CTRL_V,-        TB_KEY_CTRL_W,-        TB_KEY_CTRL_X,-        TB_KEY_CTRL_Y,-        TB_KEY_CTRL_Z,-        TB_KEY_DELETE,-        TB_KEY_END,-        TB_KEY_ENTER,-        TB_KEY_ESC,-        TB_KEY_F1,-        TB_KEY_F10,-        TB_KEY_F11,-        TB_KEY_F12,-        TB_KEY_F2,-        TB_KEY_F3,-        TB_KEY_F4,-        TB_KEY_F5,-        TB_KEY_F6,-        TB_KEY_F7,-        TB_KEY_F8,-        TB_KEY_F9,-        TB_KEY_HOME,-        TB_KEY_INSERT,-        TB_KEY_MOUSE_LEFT,-        TB_KEY_MOUSE_MIDDLE,-        TB_KEY_MOUSE_RELEASE,-        TB_KEY_MOUSE_RIGHT,-        TB_KEY_MOUSE_WHEEL_DOWN,-        TB_KEY_MOUSE_WHEEL_UP,-        TB_KEY_PGDN,-        TB_KEY_PGUP,-        TB_KEY_SPACE,-        TB_KEY_TAB-      ),-    Tb_output_mode-      ( TB_OUTPUT_CURRENT,-        TB_OUTPUT_216,-        TB_OUTPUT_256,-        TB_OUTPUT_GRAYSCALE,-        TB_OUTPUT_NORMAL-      ),-  )-where--import Data.Bits ((.|.))-import qualified Data.Char as Char-import Data.Coerce (coerce)-import Data.Int (Int32)-import Data.Word (Word16, Word32, Word8)-import Foreign.C.String (withCString)-import Foreign.C.Types (CInt)-import Foreign.Marshal.Alloc (alloca)-import qualified Foreign.Storable as Storable-import System.Posix.Types (Fd (Fd))-import GHC.Generics (Generic)-import qualified Termbox.Bindings.C-import Prelude hiding (mod)----------------------------------------------------------------------------------------------------------------------------- Functions---- | Set the attribute of a color.-tb_attr :: Tb_attr -> Tb_color -> Tb_color-tb_attr =-  coerce ((.|.) :: Word16 -> Word16 -> Word16)---- | Set a cell value in the back buffer.-tb_change_cell ::-  -- | x-  Int ->-  -- | y-  Int ->-  -- | ch-  Char ->-  -- | fg-  Tb_color ->-  -- | bg-  Tb_color ->-  IO ()-tb_change_cell cx cy c (Tb_color foreground) (Tb_color background) =-  Termbox.Bindings.C.tb_change_cell (intToCInt cx) (intToCInt cy) (charToWord32 c) foreground background---- | Get the terminal height.-tb_height :: IO Int-tb_height =-  cintToInt <$> Termbox.Bindings.C.tb_height---- | Initialize the @termbox@ library.-tb_init :: IO (Either Tb_init_error ())-tb_init = do-  code <- Termbox.Bindings.C.tb_init-  pure-    if code == 0-      then Right ()-      else Left (Tb_init_error code)---- | Initialize the @termbox@ library.------ > tb_init = tb_init_fd(0)-tb_init_fd :: Fd -> IO (Either Tb_init_error ())-tb_init_fd (Fd fd) = do-  code <- Termbox.Bindings.C.tb_init_fd fd-  pure-    if code == 0-      then Right ()-      else Left (Tb_init_error code)---- | Initialize the @termbox@ library.------ > tb_init = tb_init_file("/dev/tty")-tb_init_file :: FilePath -> IO (Either Tb_init_error ())-tb_init_file file = do-  code <--    withCString file \c_file ->-      Termbox.Bindings.C.tb_init_file c_file-  pure-    if code == 0-      then Right ()-      else Left (Tb_init_error code)---- | Wait up to a number of milliseconds for an event.-tb_peek_event :: Int -> IO (Either () (Maybe Tb_event))-tb_peek_event timeout =-  alloca \c_event -> do-    result <- Termbox.Bindings.C.tb_peek_event c_event (intToCInt timeout)-    if result < 0-      then pure (Left ())-      else-        if result == 0-          then pure (Right Nothing)-          else Right . Just . ceventToEvent <$> Storable.peek c_event---- | Wait for an event.-tb_poll_event :: IO (Either () Tb_event)-tb_poll_event =-  alloca \c_event -> do-    result <- Termbox.Bindings.C.tb_poll_event c_event-    if result < 0-      then pure (Left ())-      else Right . ceventToEvent <$> Storable.peek c_event---- | Set a cell value in the back buffer.-tb_put_cell ::-  -- | x-  Int ->-  -- | y-  Int ->-  -- | cell-  Tb_cell ->-  IO ()-tb_put_cell cx cy cell =-  alloca \c_cell -> do-    Storable.poke c_cell (cellToCCell cell)-    Termbox.Bindings.C.tb_put_cell (intToCInt cx) (intToCInt cy) c_cell---- | Get\/set the input mode.-tb_select_input_mode :: Tb_input_mode -> IO Tb_input_mode-tb_select_input_mode =-  coerce Termbox.Bindings.C.tb_select_input_mode---- | Get\/set the output mode.-tb_select_output_mode :: Tb_output_mode -> IO Tb_output_mode-tb_select_output_mode =-  coerce Termbox.Bindings.C.tb_select_output_mode---- | Set the foreground and background attributes that 'tb_clear' clears the back buffer with.-tb_set_clear_attributes ::-  -- | fg-  Tb_color ->-  -- | bg-  Tb_color ->-  IO ()-tb_set_clear_attributes (Tb_color foreground) (Tb_color background) =-  Termbox.Bindings.C.tb_set_clear_attributes foreground background---- | Set the cursor location, or hide it.-tb_set_cursor ::-  -- | x, y-  Maybe (Int, Int) ->-  IO ()-tb_set_cursor = \case-  Nothing -> Termbox.Bindings.C.tb_set_cursor Termbox.Bindings.C._TB_HIDE_CURSOR Termbox.Bindings.C._TB_HIDE_CURSOR-  Just (cx, cy) -> Termbox.Bindings.C.tb_set_cursor (intToCInt cx) (intToCInt cy)---- | Get the terminal width.-tb_width :: IO Int-tb_width =-  cintToInt <$> Termbox.Bindings.C.tb_width----------------------------------------------------------------------------------------------------------------------------- Types---- | An attribute.-newtype Tb_attr-  = Tb_attr Word16-  deriving stock (Eq, Ord, Show)--instance Semigroup Tb_attr where-  Tb_attr cx <> Tb_attr cy =-    Tb_attr (cx .|. cy)--pattern TB_BOLD :: Tb_attr-pattern TB_BOLD <--  ((== Tb_attr Termbox.Bindings.C._TB_BOLD) -> True)-  where-    TB_BOLD = Tb_attr Termbox.Bindings.C._TB_BOLD--pattern TB_REVERSE :: Tb_attr-pattern TB_REVERSE <--  ((== Tb_attr Termbox.Bindings.C._TB_REVERSE) -> True)-  where-    TB_REVERSE = Tb_attr Termbox.Bindings.C._TB_REVERSE--pattern TB_UNDERLINE :: Tb_attr-pattern TB_UNDERLINE <--  ((== Tb_attr Termbox.Bindings.C._TB_UNDERLINE) -> True)-  where-    TB_UNDERLINE = Tb_attr Termbox.Bindings.C._TB_UNDERLINE---- | A cell.-data Tb_cell = Tb_cell-  { -- | A unicode character.-    ch :: {-# UNPACK #-} !Char,-    -- | Foreground attribute.-    fg :: {-# UNPACK #-} !Tb_attr,-    -- | Background attribute.-    bg :: {-# UNPACK #-} !Tb_attr-  }-  deriving stock (Eq, Generic, Ord, Show)--cellToCCell :: Tb_cell -> Termbox.Bindings.C.Tb_cell-cellToCCell Tb_cell {ch, fg = Tb_attr fg, bg = Tb_attr bg} =-  Termbox.Bindings.C.Tb_cell-    { ch = charToWord32 ch,-      fg,-      bg-    }-{-# INLINE cellToCCell #-}---- | A color.-newtype Tb_color-  = Tb_color Word16-  deriving stock (Eq, Ord)-  deriving newtype (Num, Show)--pattern TB_DEFAULT :: Tb_color-pattern TB_DEFAULT <--  ((== Tb_color Termbox.Bindings.C._TB_DEFAULT) -> True)-  where-    TB_DEFAULT = Tb_color Termbox.Bindings.C._TB_DEFAULT--pattern TB_BLACK :: Tb_color-pattern TB_BLACK <--  ((== Tb_color Termbox.Bindings.C._TB_BLACK) -> True)-  where-    TB_BLACK = Tb_color Termbox.Bindings.C._TB_BLACK--pattern TB_BLUE :: Tb_color-pattern TB_BLUE <--  ((== Tb_color Termbox.Bindings.C._TB_BLUE) -> True)-  where-    TB_BLUE = Tb_color Termbox.Bindings.C._TB_BLUE--pattern TB_CYAN :: Tb_color-pattern TB_CYAN <--  ((== Tb_color Termbox.Bindings.C._TB_CYAN) -> True)-  where-    TB_CYAN = Tb_color Termbox.Bindings.C._TB_CYAN--pattern TB_GREEN :: Tb_color-pattern TB_GREEN <--  ((== Tb_color Termbox.Bindings.C._TB_GREEN) -> True)-  where-    TB_GREEN = Tb_color Termbox.Bindings.C._TB_GREEN--pattern TB_MAGENTA :: Tb_color-pattern TB_MAGENTA <--  ((== Tb_color Termbox.Bindings.C._TB_MAGENTA) -> True)-  where-    TB_MAGENTA = Tb_color Termbox.Bindings.C._TB_MAGENTA--pattern TB_RED :: Tb_color-pattern TB_RED <--  ((== Tb_color Termbox.Bindings.C._TB_RED) -> True)-  where-    TB_RED = Tb_color Termbox.Bindings.C._TB_RED--pattern TB_WHITE :: Tb_color-pattern TB_WHITE <--  ((== Tb_color Termbox.Bindings.C._TB_WHITE) -> True)-  where-    TB_WHITE = Tb_color Termbox.Bindings.C._TB_WHITE--pattern TB_YELLOW :: Tb_color-pattern TB_YELLOW <--  ((== Tb_color Termbox.Bindings.C._TB_YELLOW) -> True)-  where-    TB_YELLOW = Tb_color Termbox.Bindings.C._TB_YELLOW---- | An event.-data Tb_event = Tb_event-  { type_ :: {-# UNPACK #-} !Tb_event_type,-    mod :: {-# UNPACK #-} !Tb_event_mod,-    key :: {-# UNPACK #-} !Tb_key,-    ch :: {-# UNPACK #-} !Char,-    w :: {-# UNPACK #-} !Int32,-    h :: {-# UNPACK #-} !Int32,-    x :: {-# UNPACK #-} !Int32,-    y :: {-# UNPACK #-} !Int32-  }-  deriving stock (Eq, Generic, Ord, Show)--ceventToEvent :: Termbox.Bindings.C.Tb_event -> Tb_event-ceventToEvent Termbox.Bindings.C.Tb_event {type_, mod, key, ch, w, h, x, y} =-  Tb_event-    { type_ = Tb_event_type type_,-      mod = Tb_event_mod mod,-      key = Tb_key key,-      ch = word32ToChar ch,-      w,-      h,-      x,-      y-    }-{-# INLINE ceventToEvent #-}---- | An event modifier.-newtype Tb_event_mod-  = Tb_event_mod Word8-  deriving stock (Eq, Ord, Show)--pattern TB_MOD_ALT :: Tb_event_mod-pattern TB_MOD_ALT <--  ((== Tb_event_mod Termbox.Bindings.C._TB_MOD_ALT) -> True)-  where-    TB_MOD_ALT = Tb_event_mod Termbox.Bindings.C._TB_MOD_ALT--pattern TB_MOD_MOTION :: Tb_event_mod-pattern TB_MOD_MOTION <--  ((== Tb_event_mod Termbox.Bindings.C._TB_MOD_MOTION) -> True)-  where-    TB_MOD_MOTION = Tb_event_mod Termbox.Bindings.C._TB_MOD_MOTION---- | An event type.-newtype Tb_event_type-  = Tb_event_type Word8-  deriving stock (Eq, Ord)--instance Show Tb_event_type where-  show = \case-    TB_EVENT_KEY -> "TB_EVENT_KEY"-    TB_EVENT_MOUSE -> "TB_EVENT_MOUSE"-    TB_EVENT_RESIZE -> "TB_EVENT_RESIZE"--pattern TB_EVENT_KEY :: Tb_event_type-pattern TB_EVENT_KEY <--  ((== Tb_event_type Termbox.Bindings.C._TB_EVENT_KEY) -> True)-  where-    TB_EVENT_KEY = Tb_event_type Termbox.Bindings.C._TB_EVENT_KEY--pattern TB_EVENT_MOUSE :: Tb_event_type-pattern TB_EVENT_MOUSE <--  ((== Tb_event_type Termbox.Bindings.C._TB_EVENT_MOUSE) -> True)-  where-    TB_EVENT_MOUSE = Tb_event_type Termbox.Bindings.C._TB_EVENT_MOUSE--pattern TB_EVENT_RESIZE :: Tb_event_type-pattern TB_EVENT_RESIZE <--  ((== Tb_event_type Termbox.Bindings.C._TB_EVENT_RESIZE) -> True)-  where-    TB_EVENT_RESIZE = Tb_event_type Termbox.Bindings.C._TB_EVENT_RESIZE--{-# COMPLETE TB_EVENT_KEY, TB_EVENT_MOUSE, TB_EVENT_RESIZE #-}---- | A 'tb_init' error.-newtype Tb_init_error-  = Tb_init_error CInt-  deriving stock (Eq, Ord)--instance Show Tb_init_error where-  show = \case-    TB_EFAILED_TO_OPEN_TTY -> "TB_EFAILED_TO_OPEN_TTY"-    TB_EPIPE_TRAP_ERROR -> "TB_EPIPE_TRAP_ERROR"-    TB_EUNSUPPORTED_TERMINAL -> "TB_EUNSUPPORTED_TERMINAL"--pattern TB_EFAILED_TO_OPEN_TTY :: Tb_init_error-pattern TB_EFAILED_TO_OPEN_TTY <--  ((== Tb_init_error Termbox.Bindings.C._TB_EFAILED_TO_OPEN_TTY) -> True)-  where-    TB_EFAILED_TO_OPEN_TTY = Tb_init_error Termbox.Bindings.C._TB_EFAILED_TO_OPEN_TTY--pattern TB_EPIPE_TRAP_ERROR :: Tb_init_error-pattern TB_EPIPE_TRAP_ERROR <--  ((== Tb_init_error Termbox.Bindings.C._TB_EPIPE_TRAP_ERROR) -> True)-  where-    TB_EPIPE_TRAP_ERROR = Tb_init_error Termbox.Bindings.C._TB_EPIPE_TRAP_ERROR--pattern TB_EUNSUPPORTED_TERMINAL :: Tb_init_error-pattern TB_EUNSUPPORTED_TERMINAL <--  ((== Tb_init_error Termbox.Bindings.C._TB_EUNSUPPORTED_TERMINAL) -> True)-  where-    TB_EUNSUPPORTED_TERMINAL = Tb_init_error Termbox.Bindings.C._TB_EUNSUPPORTED_TERMINAL--{-# COMPLETE TB_EFAILED_TO_OPEN_TTY, TB_EPIPE_TRAP_ERROR, TB_EUNSUPPORTED_TERMINAL #-}---- | The input mode.-newtype Tb_input_mode-  = Tb_input_mode CInt-  deriving stock (Eq, Ord)--instance Show Tb_input_mode where-  show = \case-    TB_INPUT_CURRENT -> "TB_INPUT_CURRENT"-    TB_INPUT_ALT -> "TB_INPUT_ALT"-    TB_INPUT_ESC -> "TB_INPUT_ESC"-    TB_INPUT_MOUSE -> "TB_INPUT_MOUSE"--pattern TB_INPUT_CURRENT :: Tb_input_mode-pattern TB_INPUT_CURRENT <--  ((== Tb_input_mode Termbox.Bindings.C._TB_INPUT_CURRENT) -> True)-  where-    TB_INPUT_CURRENT = Tb_input_mode Termbox.Bindings.C._TB_INPUT_CURRENT--pattern TB_INPUT_ALT :: Tb_input_mode-pattern TB_INPUT_ALT <--  ((== Tb_input_mode Termbox.Bindings.C._TB_INPUT_ALT) -> True)-  where-    TB_INPUT_ALT = Tb_input_mode Termbox.Bindings.C._TB_INPUT_ALT--pattern TB_INPUT_ESC :: Tb_input_mode-pattern TB_INPUT_ESC <--  ((== Tb_input_mode Termbox.Bindings.C._TB_INPUT_ESC) -> True)-  where-    TB_INPUT_ESC = Tb_input_mode Termbox.Bindings.C._TB_INPUT_ESC--pattern TB_INPUT_MOUSE :: Tb_input_mode-pattern TB_INPUT_MOUSE <--  ((== Tb_input_mode Termbox.Bindings.C._TB_INPUT_MOUSE) -> True)-  where-    TB_INPUT_MOUSE = Tb_input_mode Termbox.Bindings.C._TB_INPUT_MOUSE--{-# COMPLETE TB_INPUT_CURRENT, TB_INPUT_ALT, TB_INPUT_ESC, TB_INPUT_MOUSE #-}--newtype Tb_key-  = Tb_key Word16-  deriving stock (Eq, Ord)--instance Show Tb_key where-  show = \case-    TB_KEY_F1 -> "TB_KEY_F1"-    TB_KEY_F2 -> "TB_KEY_F2"-    TB_KEY_F3 -> "TB_KEY_F3"-    TB_KEY_F4 -> "TB_KEY_F4"-    TB_KEY_F5 -> "TB_KEY_F5"-    TB_KEY_F6 -> "TB_KEY_F6"-    TB_KEY_F7 -> "TB_KEY_F7"-    TB_KEY_F8 -> "TB_KEY_F8"-    TB_KEY_F9 -> "TB_KEY_F9"-    TB_KEY_F10 -> "TB_KEY_F10"-    TB_KEY_F11 -> "TB_KEY_F11"-    TB_KEY_F12 -> "TB_KEY_F12"-    TB_KEY_INSERT -> "TB_KEY_INSERT"-    TB_KEY_DELETE -> "TB_KEY_DELETE"-    TB_KEY_HOME -> "TB_KEY_HOME"-    TB_KEY_END -> "TB_KEY_END"-    TB_KEY_PGUP -> "TB_KEY_PGUP"-    TB_KEY_PGDN -> "TB_KEY_PGDN"-    TB_KEY_ARROW_UP -> "TB_KEY_ARROW_UP"-    TB_KEY_ARROW_DOWN -> "TB_KEY_ARROW_DOWN"-    TB_KEY_ARROW_LEFT -> "TB_KEY_ARROW_LEFT"-    TB_KEY_ARROW_RIGHT -> "TB_KEY_ARROW_RIGHT"-    TB_KEY_MOUSE_LEFT -> "TB_KEY_MOUSE_LEFT"-    TB_KEY_MOUSE_RIGHT -> "TB_KEY_MOUSE_RIGHT"-    TB_KEY_MOUSE_MIDDLE -> "TB_KEY_MOUSE_MIDDLE"-    TB_KEY_MOUSE_RELEASE -> "TB_KEY_MOUSE_RELEASE"-    TB_KEY_MOUSE_WHEEL_UP -> "TB_KEY_MOUSE_WHEEL_UP"-    TB_KEY_MOUSE_WHEEL_DOWN -> "TB_KEY_MOUSE_WHEEL_DOWN"-    TB_KEY_CTRL_TILDE -> "TB_KEY_CTRL_TILDE"-    TB_KEY_CTRL_A -> "TB_KEY_CTRL_A"-    TB_KEY_CTRL_B -> "TB_KEY_CTRL_B"-    TB_KEY_CTRL_C -> "TB_KEY_CTRL_C"-    TB_KEY_CTRL_D -> "TB_KEY_CTRL_D"-    TB_KEY_CTRL_E -> "TB_KEY_CTRL_E"-    TB_KEY_CTRL_F -> "TB_KEY_CTRL_F"-    TB_KEY_CTRL_G -> "TB_KEY_CTRL_G"-    TB_KEY_BACKSPACE -> "TB_KEY_BACKSPACE"-    TB_KEY_TAB -> "TB_KEY_TAB"-    TB_KEY_CTRL_J -> "TB_KEY_CTRL_J"-    TB_KEY_CTRL_K -> "TB_KEY_CTRL_K"-    TB_KEY_CTRL_L -> "TB_KEY_CTRL_L"-    TB_KEY_ENTER -> "TB_KEY_ENTER"-    TB_KEY_CTRL_N -> "TB_KEY_CTRL_N"-    TB_KEY_CTRL_O -> "TB_KEY_CTRL_O"-    TB_KEY_CTRL_P -> "TB_KEY_CTRL_P"-    TB_KEY_CTRL_Q -> "TB_KEY_CTRL_Q"-    TB_KEY_CTRL_R -> "TB_KEY_CTRL_R"-    TB_KEY_CTRL_S -> "TB_KEY_CTRL_S"-    TB_KEY_CTRL_T -> "TB_KEY_CTRL_T"-    TB_KEY_CTRL_U -> "TB_KEY_CTRL_U"-    TB_KEY_CTRL_V -> "TB_KEY_CTRL_V"-    TB_KEY_CTRL_W -> "TB_KEY_CTRL_W"-    TB_KEY_CTRL_X -> "TB_KEY_CTRL_X"-    TB_KEY_CTRL_Y -> "TB_KEY_CTRL_Y"-    TB_KEY_CTRL_Z -> "TB_KEY_CTRL_Z"-    TB_KEY_ESC -> "TB_KEY_ESC"-    TB_KEY_CTRL_4 -> "TB_KEY_CTRL_4"-    TB_KEY_CTRL_5 -> "TB_KEY_CTRL_5"-    TB_KEY_CTRL_6 -> "TB_KEY_CTRL_6"-    TB_KEY_CTRL_7 -> "TB_KEY_CTRL_7"-    TB_KEY_SPACE -> "TB_KEY_SPACE"-    TB_KEY_BACKSPACE2 -> "TB_KEY_BACKSPACE2"-    k -> error ("Unknown key: " ++ show k)--pattern TB_KEY_ARROW_DOWN :: Tb_key-pattern TB_KEY_ARROW_DOWN <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_ARROW_DOWN) -> True)-  where-    TB_KEY_ARROW_DOWN = Tb_key Termbox.Bindings.C._TB_KEY_ARROW_DOWN--pattern TB_KEY_ARROW_LEFT :: Tb_key-pattern TB_KEY_ARROW_LEFT <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_ARROW_LEFT) -> True)-  where-    TB_KEY_ARROW_LEFT = Tb_key Termbox.Bindings.C._TB_KEY_ARROW_LEFT--pattern TB_KEY_ARROW_RIGHT :: Tb_key-pattern TB_KEY_ARROW_RIGHT <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_ARROW_RIGHT) -> True)-  where-    TB_KEY_ARROW_RIGHT = Tb_key Termbox.Bindings.C._TB_KEY_ARROW_RIGHT--pattern TB_KEY_ARROW_UP :: Tb_key-pattern TB_KEY_ARROW_UP <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_ARROW_UP) -> True)-  where-    TB_KEY_ARROW_UP = Tb_key Termbox.Bindings.C._TB_KEY_ARROW_UP--pattern TB_KEY_BACKSPACE :: Tb_key-pattern TB_KEY_BACKSPACE <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_BACKSPACE) -> True)-  where-    TB_KEY_BACKSPACE = Tb_key Termbox.Bindings.C._TB_KEY_BACKSPACE--pattern TB_KEY_BACKSPACE2 :: Tb_key-pattern TB_KEY_BACKSPACE2 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_BACKSPACE2) -> True)-  where-    TB_KEY_BACKSPACE2 = Tb_key Termbox.Bindings.C._TB_KEY_BACKSPACE2--pattern TB_KEY_CTRL_2 :: Tb_key-pattern TB_KEY_CTRL_2 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_2) -> True)-  where-    TB_KEY_CTRL_2 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_2--pattern TB_KEY_CTRL_3 :: Tb_key-pattern TB_KEY_CTRL_3 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_3) -> True)-  where-    TB_KEY_CTRL_3 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_3--pattern TB_KEY_CTRL_4 :: Tb_key-pattern TB_KEY_CTRL_4 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_4) -> True)-  where-    TB_KEY_CTRL_4 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_4--pattern TB_KEY_CTRL_5 :: Tb_key-pattern TB_KEY_CTRL_5 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_5) -> True)-  where-    TB_KEY_CTRL_5 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_5--pattern TB_KEY_CTRL_6 :: Tb_key-pattern TB_KEY_CTRL_6 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_6) -> True)-  where-    TB_KEY_CTRL_6 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_6--pattern TB_KEY_CTRL_7 :: Tb_key-pattern TB_KEY_CTRL_7 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_7) -> True)-  where-    TB_KEY_CTRL_7 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_7--pattern TB_KEY_CTRL_8 :: Tb_key-pattern TB_KEY_CTRL_8 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_8) -> True)-  where-    TB_KEY_CTRL_8 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_8--pattern TB_KEY_CTRL_A :: Tb_key-pattern TB_KEY_CTRL_A <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_A) -> True)-  where-    TB_KEY_CTRL_A = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_A--pattern TB_KEY_CTRL_B :: Tb_key-pattern TB_KEY_CTRL_B <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_B) -> True)-  where-    TB_KEY_CTRL_B = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_B--pattern TB_KEY_CTRL_BACKSLASH :: Tb_key-pattern TB_KEY_CTRL_BACKSLASH <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_BACKSLASH) -> True)-  where-    TB_KEY_CTRL_BACKSLASH = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_BACKSLASH--pattern TB_KEY_CTRL_C :: Tb_key-pattern TB_KEY_CTRL_C <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_C) -> True)-  where-    TB_KEY_CTRL_C = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_C--pattern TB_KEY_CTRL_D :: Tb_key-pattern TB_KEY_CTRL_D <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_D) -> True)-  where-    TB_KEY_CTRL_D = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_D--pattern TB_KEY_CTRL_E :: Tb_key-pattern TB_KEY_CTRL_E <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_E) -> True)-  where-    TB_KEY_CTRL_E = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_E--pattern TB_KEY_CTRL_F :: Tb_key-pattern TB_KEY_CTRL_F <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_F) -> True)-  where-    TB_KEY_CTRL_F = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_F--pattern TB_KEY_CTRL_G :: Tb_key-pattern TB_KEY_CTRL_G <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_G) -> True)-  where-    TB_KEY_CTRL_G = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_G--pattern TB_KEY_CTRL_H :: Tb_key-pattern TB_KEY_CTRL_H <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_H) -> True)-  where-    TB_KEY_CTRL_H = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_H--pattern TB_KEY_CTRL_I :: Tb_key-pattern TB_KEY_CTRL_I <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_I) -> True)-  where-    TB_KEY_CTRL_I = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_I--pattern TB_KEY_CTRL_J :: Tb_key-pattern TB_KEY_CTRL_J <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_J) -> True)-  where-    TB_KEY_CTRL_J = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_J--pattern TB_KEY_CTRL_K :: Tb_key-pattern TB_KEY_CTRL_K <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_K) -> True)-  where-    TB_KEY_CTRL_K = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_K--pattern TB_KEY_CTRL_L :: Tb_key-pattern TB_KEY_CTRL_L <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_L) -> True)-  where-    TB_KEY_CTRL_L = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_L--pattern TB_KEY_CTRL_LSQ_BRACKET :: Tb_key-pattern TB_KEY_CTRL_LSQ_BRACKET <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_LSQ_BRACKET) -> True)-  where-    TB_KEY_CTRL_LSQ_BRACKET = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_LSQ_BRACKET--pattern TB_KEY_CTRL_M :: Tb_key-pattern TB_KEY_CTRL_M <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_M) -> True)-  where-    TB_KEY_CTRL_M = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_M--pattern TB_KEY_CTRL_N :: Tb_key-pattern TB_KEY_CTRL_N <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_N) -> True)-  where-    TB_KEY_CTRL_N = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_N--pattern TB_KEY_CTRL_O :: Tb_key-pattern TB_KEY_CTRL_O <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_O) -> True)-  where-    TB_KEY_CTRL_O = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_O--pattern TB_KEY_CTRL_P :: Tb_key-pattern TB_KEY_CTRL_P <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_P) -> True)-  where-    TB_KEY_CTRL_P = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_P--pattern TB_KEY_CTRL_Q :: Tb_key-pattern TB_KEY_CTRL_Q <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_Q) -> True)-  where-    TB_KEY_CTRL_Q = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_Q--pattern TB_KEY_CTRL_R :: Tb_key-pattern TB_KEY_CTRL_R <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_R) -> True)-  where-    TB_KEY_CTRL_R = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_R--pattern TB_KEY_CTRL_RSQ_BRACKET :: Tb_key-pattern TB_KEY_CTRL_RSQ_BRACKET <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_RSQ_BRACKET) -> True)-  where-    TB_KEY_CTRL_RSQ_BRACKET = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_RSQ_BRACKET--pattern TB_KEY_CTRL_S :: Tb_key-pattern TB_KEY_CTRL_S <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_S) -> True)-  where-    TB_KEY_CTRL_S = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_S--pattern TB_KEY_CTRL_SLASH :: Tb_key-pattern TB_KEY_CTRL_SLASH <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_SLASH) -> True)-  where-    TB_KEY_CTRL_SLASH = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_SLASH--pattern TB_KEY_CTRL_T :: Tb_key-pattern TB_KEY_CTRL_T <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_T) -> True)-  where-    TB_KEY_CTRL_T = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_T--pattern TB_KEY_CTRL_TILDE :: Tb_key-pattern TB_KEY_CTRL_TILDE <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_TILDE) -> True)-  where-    TB_KEY_CTRL_TILDE = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_TILDE--pattern TB_KEY_CTRL_U :: Tb_key-pattern TB_KEY_CTRL_U <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_U) -> True)-  where-    TB_KEY_CTRL_U = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_U--pattern TB_KEY_CTRL_UNDERSCORE :: Tb_key-pattern TB_KEY_CTRL_UNDERSCORE <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_UNDERSCORE) -> True)-  where-    TB_KEY_CTRL_UNDERSCORE = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_UNDERSCORE--pattern TB_KEY_CTRL_V :: Tb_key-pattern TB_KEY_CTRL_V <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_V) -> True)-  where-    TB_KEY_CTRL_V = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_V--pattern TB_KEY_CTRL_W :: Tb_key-pattern TB_KEY_CTRL_W <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_W) -> True)-  where-    TB_KEY_CTRL_W = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_W--pattern TB_KEY_CTRL_X :: Tb_key-pattern TB_KEY_CTRL_X <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_X) -> True)-  where-    TB_KEY_CTRL_X = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_X--pattern TB_KEY_CTRL_Y :: Tb_key-pattern TB_KEY_CTRL_Y <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_Y) -> True)-  where-    TB_KEY_CTRL_Y = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_Y--pattern TB_KEY_CTRL_Z :: Tb_key-pattern TB_KEY_CTRL_Z <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_Z) -> True)-  where-    TB_KEY_CTRL_Z = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_Z--pattern TB_KEY_DELETE :: Tb_key-pattern TB_KEY_DELETE <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_DELETE) -> True)-  where-    TB_KEY_DELETE = Tb_key Termbox.Bindings.C._TB_KEY_DELETE--pattern TB_KEY_END :: Tb_key-pattern TB_KEY_END <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_END) -> True)-  where-    TB_KEY_END = Tb_key Termbox.Bindings.C._TB_KEY_END--pattern TB_KEY_ENTER :: Tb_key-pattern TB_KEY_ENTER <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_ENTER) -> True)-  where-    TB_KEY_ENTER = Tb_key Termbox.Bindings.C._TB_KEY_ENTER--pattern TB_KEY_ESC :: Tb_key-pattern TB_KEY_ESC <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_ESC) -> True)-  where-    TB_KEY_ESC = Tb_key Termbox.Bindings.C._TB_KEY_ESC--pattern TB_KEY_F1 :: Tb_key-pattern TB_KEY_F1 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_F1) -> True)-  where-    TB_KEY_F1 = Tb_key Termbox.Bindings.C._TB_KEY_F1--pattern TB_KEY_F10 :: Tb_key-pattern TB_KEY_F10 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_F10) -> True)-  where-    TB_KEY_F10 = Tb_key Termbox.Bindings.C._TB_KEY_F10--pattern TB_KEY_F11 :: Tb_key-pattern TB_KEY_F11 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_F11) -> True)-  where-    TB_KEY_F11 = Tb_key Termbox.Bindings.C._TB_KEY_F11--pattern TB_KEY_F12 :: Tb_key-pattern TB_KEY_F12 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_F12) -> True)-  where-    TB_KEY_F12 = Tb_key Termbox.Bindings.C._TB_KEY_F12--pattern TB_KEY_F2 :: Tb_key-pattern TB_KEY_F2 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_F2) -> True)-  where-    TB_KEY_F2 = Tb_key Termbox.Bindings.C._TB_KEY_F2--pattern TB_KEY_F3 :: Tb_key-pattern TB_KEY_F3 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_F3) -> True)-  where-    TB_KEY_F3 = Tb_key Termbox.Bindings.C._TB_KEY_F3--pattern TB_KEY_F4 :: Tb_key-pattern TB_KEY_F4 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_F4) -> True)-  where-    TB_KEY_F4 = Tb_key Termbox.Bindings.C._TB_KEY_F4--pattern TB_KEY_F5 :: Tb_key-pattern TB_KEY_F5 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_F5) -> True)-  where-    TB_KEY_F5 = Tb_key Termbox.Bindings.C._TB_KEY_F5--pattern TB_KEY_F6 :: Tb_key-pattern TB_KEY_F6 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_F6) -> True)-  where-    TB_KEY_F6 = Tb_key Termbox.Bindings.C._TB_KEY_F6--pattern TB_KEY_F7 :: Tb_key-pattern TB_KEY_F7 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_F7) -> True)-  where-    TB_KEY_F7 = Tb_key Termbox.Bindings.C._TB_KEY_F7--pattern TB_KEY_F8 :: Tb_key-pattern TB_KEY_F8 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_F8) -> True)-  where-    TB_KEY_F8 = Tb_key Termbox.Bindings.C._TB_KEY_F8--pattern TB_KEY_F9 :: Tb_key-pattern TB_KEY_F9 <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_F9) -> True)-  where-    TB_KEY_F9 = Tb_key Termbox.Bindings.C._TB_KEY_F9--pattern TB_KEY_HOME :: Tb_key-pattern TB_KEY_HOME <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_HOME) -> True)-  where-    TB_KEY_HOME = Tb_key Termbox.Bindings.C._TB_KEY_HOME--pattern TB_KEY_INSERT :: Tb_key-pattern TB_KEY_INSERT <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_INSERT) -> True)-  where-    TB_KEY_INSERT = Tb_key Termbox.Bindings.C._TB_KEY_INSERT--pattern TB_KEY_MOUSE_LEFT :: Tb_key-pattern TB_KEY_MOUSE_LEFT <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_LEFT) -> True)-  where-    TB_KEY_MOUSE_LEFT = Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_LEFT--pattern TB_KEY_MOUSE_MIDDLE :: Tb_key-pattern TB_KEY_MOUSE_MIDDLE <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_MIDDLE) -> True)-  where-    TB_KEY_MOUSE_MIDDLE = Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_MIDDLE--pattern TB_KEY_MOUSE_RELEASE :: Tb_key-pattern TB_KEY_MOUSE_RELEASE <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_RELEASE) -> True)-  where-    TB_KEY_MOUSE_RELEASE = Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_RELEASE--pattern TB_KEY_MOUSE_RIGHT :: Tb_key-pattern TB_KEY_MOUSE_RIGHT <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_RIGHT) -> True)-  where-    TB_KEY_MOUSE_RIGHT = Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_RIGHT--pattern TB_KEY_MOUSE_WHEEL_DOWN :: Tb_key-pattern TB_KEY_MOUSE_WHEEL_DOWN <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_WHEEL_DOWN) -> True)-  where-    TB_KEY_MOUSE_WHEEL_DOWN = Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_WHEEL_DOWN--pattern TB_KEY_MOUSE_WHEEL_UP :: Tb_key-pattern TB_KEY_MOUSE_WHEEL_UP <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_WHEEL_UP) -> True)-  where-    TB_KEY_MOUSE_WHEEL_UP = Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_WHEEL_UP--pattern TB_KEY_PGDN :: Tb_key-pattern TB_KEY_PGDN <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_PGDN) -> True)-  where-    TB_KEY_PGDN = Tb_key Termbox.Bindings.C._TB_KEY_PGDN--pattern TB_KEY_PGUP :: Tb_key-pattern TB_KEY_PGUP <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_PGUP) -> True)-  where-    TB_KEY_PGUP = Tb_key Termbox.Bindings.C._TB_KEY_PGUP--pattern TB_KEY_SPACE :: Tb_key-pattern TB_KEY_SPACE <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_SPACE) -> True)-  where-    TB_KEY_SPACE = Tb_key Termbox.Bindings.C._TB_KEY_SPACE--pattern TB_KEY_TAB :: Tb_key-pattern TB_KEY_TAB <--  ((== Tb_key Termbox.Bindings.C._TB_KEY_TAB) -> True)-  where-    TB_KEY_TAB = Tb_key Termbox.Bindings.C._TB_KEY_TAB---- | The output mode.-newtype Tb_output_mode-  = Tb_output_mode CInt-  deriving stock (Eq, Ord)--instance Show Tb_output_mode where-  show = \case-    TB_OUTPUT_CURRENT -> "TB_OUTPUT_CURRENT"-    TB_OUTPUT_216 -> "TB_OUTPUT_216"-    TB_OUTPUT_256 -> "TB_OUTPUT_256"-    TB_OUTPUT_GRAYSCALE -> "TB_OUTPUT_GRAYSCALE"-    TB_OUTPUT_NORMAL -> "TB_OUTPUT_NORMAL"--pattern TB_OUTPUT_CURRENT :: Tb_output_mode-pattern TB_OUTPUT_CURRENT <--  ((== Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_CURRENT) -> True)-  where-    TB_OUTPUT_CURRENT = Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_CURRENT--pattern TB_OUTPUT_216 :: Tb_output_mode-pattern TB_OUTPUT_216 <--  ((== Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_216) -> True)-  where-    TB_OUTPUT_216 = Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_216--pattern TB_OUTPUT_256 :: Tb_output_mode-pattern TB_OUTPUT_256 <--  ((== Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_256) -> True)-  where-    TB_OUTPUT_256 = Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_256--pattern TB_OUTPUT_GRAYSCALE :: Tb_output_mode-pattern TB_OUTPUT_GRAYSCALE <--  ((== Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_GRAYSCALE) -> True)-  where-    TB_OUTPUT_GRAYSCALE = Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_GRAYSCALE--pattern TB_OUTPUT_NORMAL :: Tb_output_mode-pattern TB_OUTPUT_NORMAL <--  ((== Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_NORMAL) -> True)-  where-    TB_OUTPUT_NORMAL = Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_NORMAL--{-# COMPLETE TB_OUTPUT_CURRENT, TB_OUTPUT_216, TB_OUTPUT_256, TB_OUTPUT_GRAYSCALE, TB_OUTPUT_NORMAL #-}------charToWord32 :: Char -> Word32-charToWord32 =-  fromIntegral @Int @Word32 . Char.ord-{-# INLINE charToWord32 #-}--word32ToChar :: Word32 -> Char-word32ToChar =-  Char.chr . fromIntegral @Word32 @Int-{-# INLINE word32ToChar #-}--cintToInt :: CInt -> Int-cintToInt =-  fromIntegral-{-# INLINE cintToInt #-}--intToCInt :: Int -> CInt-intToCInt =-  fromIntegral-{-# INLINE intToCInt #-}+-- |+-- This module provides a low-level wrapper around @termbox@, a simple C library for writing text-based user+-- interfaces: <https://github.com/termbox/termbox>+--+-- You may prefer to use one of the following interfaces instead:+--+-- * @<https://hackage.haskell.org/package/termbox termbox>@, a higher-level interface.+-- * @<https://hackage.haskell.org/package/termbox-banana termbox-banana>@, a @reactive-banana@ FRP interface.+-- * @<https://hackage.haskell.org/package/termbox-tea termbox-tea>@, an Elm Architecture interface.+module Termbox.Bindings.Hs+  ( -- * Functions++    -- ** Initialize / shutdown+    tb_init,+    tb_init_fd,+    tb_init_file,+    tb_shutdown,++    -- ** Get\/set input\/output mode+    tb_select_input_mode,+    tb_select_output_mode,++    -- ** Get terminal dimensions+    tb_width,+    tb_height,++    -- ** Poll for events+    tb_peek_event,+    tb_poll_event,++    -- ** Style a color+    tb_attr,++    -- ** Set a cell+    tb_set_cursor,+    tb_put_cell,+    tb_change_cell,++    -- ** Clear and synchronize the back buffer+    tb_clear,+    tb_set_clear_attributes,+    tb_present,++    -- * Types+    Tb_attr+      ( Tb_attr,+        TB_BOLD,+        TB_REVERSE,+        TB_UNDERLINE+      ),+    Tb_cell (..),+    Tb_color+      ( Tb_color,+        TB_DEFAULT,+        TB_BLACK,+        TB_BLUE,+        TB_CYAN,+        TB_GREEN,+        TB_MAGENTA,+        TB_RED,+        TB_WHITE,+        TB_YELLOW+      ),+    Tb_event (..),+    Tb_event_mod+      ( Tb_event_mod,+        TB_MOD_ALT,+        TB_MOD_MOTION+      ),+    Tb_event_type+      ( TB_EVENT_KEY,+        TB_EVENT_MOUSE,+        TB_EVENT_RESIZE+      ),+    Tb_init_error+      ( TB_EFAILED_TO_OPEN_TTY,+        TB_EPIPE_TRAP_ERROR,+        TB_EUNSUPPORTED_TERMINAL+      ),+    Tb_input_mode+      ( TB_INPUT_CURRENT,+        TB_INPUT_ALT,+        TB_INPUT_ESC,+        TB_INPUT_MOUSE+      ),+    Tb_key+      ( TB_KEY_ARROW_DOWN,+        TB_KEY_ARROW_LEFT,+        TB_KEY_ARROW_RIGHT,+        TB_KEY_ARROW_UP,+        TB_KEY_BACKSPACE,+        TB_KEY_BACKSPACE2,+        TB_KEY_CTRL_2,+        TB_KEY_CTRL_3,+        TB_KEY_CTRL_4,+        TB_KEY_CTRL_5,+        TB_KEY_CTRL_6,+        TB_KEY_CTRL_7,+        TB_KEY_CTRL_8,+        TB_KEY_CTRL_A,+        TB_KEY_CTRL_B,+        TB_KEY_CTRL_BACKSLASH,+        TB_KEY_CTRL_C,+        TB_KEY_CTRL_D,+        TB_KEY_CTRL_E,+        TB_KEY_CTRL_F,+        TB_KEY_CTRL_G,+        TB_KEY_CTRL_H,+        TB_KEY_CTRL_I,+        TB_KEY_CTRL_J,+        TB_KEY_CTRL_K,+        TB_KEY_CTRL_L,+        TB_KEY_CTRL_LSQ_BRACKET,+        TB_KEY_CTRL_M,+        TB_KEY_CTRL_N,+        TB_KEY_CTRL_O,+        TB_KEY_CTRL_P,+        TB_KEY_CTRL_Q,+        TB_KEY_CTRL_R,+        TB_KEY_CTRL_RSQ_BRACKET,+        TB_KEY_CTRL_S,+        TB_KEY_CTRL_SLASH,+        TB_KEY_CTRL_T,+        TB_KEY_CTRL_TILDE,+        TB_KEY_CTRL_U,+        TB_KEY_CTRL_UNDERSCORE,+        TB_KEY_CTRL_V,+        TB_KEY_CTRL_W,+        TB_KEY_CTRL_X,+        TB_KEY_CTRL_Y,+        TB_KEY_CTRL_Z,+        TB_KEY_DELETE,+        TB_KEY_END,+        TB_KEY_ENTER,+        TB_KEY_ESC,+        TB_KEY_F1,+        TB_KEY_F10,+        TB_KEY_F11,+        TB_KEY_F12,+        TB_KEY_F2,+        TB_KEY_F3,+        TB_KEY_F4,+        TB_KEY_F5,+        TB_KEY_F6,+        TB_KEY_F7,+        TB_KEY_F8,+        TB_KEY_F9,+        TB_KEY_HOME,+        TB_KEY_INSERT,+        TB_KEY_MOUSE_LEFT,+        TB_KEY_MOUSE_MIDDLE,+        TB_KEY_MOUSE_RELEASE,+        TB_KEY_MOUSE_RIGHT,+        TB_KEY_MOUSE_WHEEL_DOWN,+        TB_KEY_MOUSE_WHEEL_UP,+        TB_KEY_PGDN,+        TB_KEY_PGUP,+        TB_KEY_SPACE,+        TB_KEY_TAB+      ),+    Tb_output_mode+      ( TB_OUTPUT_CURRENT,+        TB_OUTPUT_216,+        TB_OUTPUT_256,+        TB_OUTPUT_GRAYSCALE,+        TB_OUTPUT_NORMAL+      ),+  )+where++import Termbox.Bindings.C (tb_clear, tb_present, tb_shutdown)+import Termbox.Bindings.Hs.Internal.Attr (Tb_attr (..))+import Termbox.Bindings.Hs.Internal.Cell (Tb_cell (..))+import Termbox.Bindings.Hs.Internal.Color (Tb_color (..))+import Termbox.Bindings.Hs.Internal.Event (Tb_event (..))+import Termbox.Bindings.Hs.Internal.EventMod (Tb_event_mod (..))+import Termbox.Bindings.Hs.Internal.EventType (Tb_event_type (..))+import Termbox.Bindings.Hs.Internal.Functions+  ( tb_attr,+    tb_change_cell,+    tb_height,+    tb_init,+    tb_init_fd,+    tb_init_file,+    tb_peek_event,+    tb_poll_event,+    tb_put_cell,+    tb_select_input_mode,+    tb_select_output_mode,+    tb_set_clear_attributes,+    tb_set_cursor,+    tb_width,+  )+import Termbox.Bindings.Hs.Internal.InitError (Tb_init_error (..))+import Termbox.Bindings.Hs.Internal.InputMode (Tb_input_mode (..))+import Termbox.Bindings.Hs.Internal.Key (Tb_key (..))+import Termbox.Bindings.Hs.Internal.OutputMode (Tb_output_mode (..))

@@ -0,0 +1,44 @@+module Termbox.Bindings.Hs.Internal.Attr+  ( Tb_attr+      ( Tb_attr,+        TB_BOLD,+        TB_REVERSE,+        TB_UNDERLINE+      ),+  )+where++import Data.Bits ((.|.))+import Data.Word (Word16)+import qualified Termbox.Bindings.C++-- | An attribute.+newtype Tb_attr+  = Tb_attr Word16+  deriving stock (Eq, Ord, Show)++instance Monoid Tb_attr where+  mempty =+    Tb_attr 0++instance Semigroup Tb_attr where+  Tb_attr cx <> Tb_attr cy =+    Tb_attr (cx .|. cy)++pattern TB_BOLD :: Tb_attr+pattern TB_BOLD <-+  ((== Tb_attr Termbox.Bindings.C._TB_BOLD) -> True)+  where+    TB_BOLD = Tb_attr Termbox.Bindings.C._TB_BOLD++pattern TB_REVERSE :: Tb_attr+pattern TB_REVERSE <-+  ((== Tb_attr Termbox.Bindings.C._TB_REVERSE) -> True)+  where+    TB_REVERSE = Tb_attr Termbox.Bindings.C._TB_REVERSE++pattern TB_UNDERLINE :: Tb_attr+pattern TB_UNDERLINE <-+  ((== Tb_attr Termbox.Bindings.C._TB_UNDERLINE) -> True)+  where+    TB_UNDERLINE = Tb_attr Termbox.Bindings.C._TB_UNDERLINE

@@ -0,0 +1,30 @@+module Termbox.Bindings.Hs.Internal.Cell+  ( Tb_cell (..),+    cellToCCell,+  )+where++import GHC.Generics (Generic)+import qualified Termbox.Bindings.C+import Termbox.Bindings.Hs.Internal.Attr (Tb_attr (..))+import Termbox.Bindings.Hs.Internal.Prelude (charToWord32)++-- | A cell.+data Tb_cell = Tb_cell+  { -- | A unicode character.+    ch :: {-# UNPACK #-} !Char,+    -- | Foreground attribute.+    fg :: {-# UNPACK #-} !Tb_attr,+    -- | Background attribute.+    bg :: {-# UNPACK #-} !Tb_attr+  }+  deriving stock (Eq, Generic, Ord, Show)++cellToCCell :: Tb_cell -> Termbox.Bindings.C.Tb_cell+cellToCCell Tb_cell {ch, fg = Tb_attr fg, bg = Tb_attr bg} =+  Termbox.Bindings.C.Tb_cell+    { ch = charToWord32 ch,+      fg,+      bg+    }+{-# INLINE cellToCCell #-}

@@ -0,0 +1,78 @@+module Termbox.Bindings.Hs.Internal.Color+  ( Tb_color+      ( Tb_color,+        TB_DEFAULT,+        TB_BLACK,+        TB_BLUE,+        TB_CYAN,+        TB_GREEN,+        TB_MAGENTA,+        TB_RED,+        TB_WHITE,+        TB_YELLOW+      ),+  )+where++import Data.Word (Word16)+import qualified Termbox.Bindings.C++-- | A color.+newtype Tb_color+  = Tb_color Word16+  deriving stock (Eq, Ord)+  deriving newtype (Num, Show)++pattern TB_DEFAULT :: Tb_color+pattern TB_DEFAULT <-+  ((== Tb_color Termbox.Bindings.C._TB_DEFAULT) -> True)+  where+    TB_DEFAULT = Tb_color Termbox.Bindings.C._TB_DEFAULT++pattern TB_BLACK :: Tb_color+pattern TB_BLACK <-+  ((== Tb_color Termbox.Bindings.C._TB_BLACK) -> True)+  where+    TB_BLACK = Tb_color Termbox.Bindings.C._TB_BLACK++pattern TB_BLUE :: Tb_color+pattern TB_BLUE <-+  ((== Tb_color Termbox.Bindings.C._TB_BLUE) -> True)+  where+    TB_BLUE = Tb_color Termbox.Bindings.C._TB_BLUE++pattern TB_CYAN :: Tb_color+pattern TB_CYAN <-+  ((== Tb_color Termbox.Bindings.C._TB_CYAN) -> True)+  where+    TB_CYAN = Tb_color Termbox.Bindings.C._TB_CYAN++pattern TB_GREEN :: Tb_color+pattern TB_GREEN <-+  ((== Tb_color Termbox.Bindings.C._TB_GREEN) -> True)+  where+    TB_GREEN = Tb_color Termbox.Bindings.C._TB_GREEN++pattern TB_MAGENTA :: Tb_color+pattern TB_MAGENTA <-+  ((== Tb_color Termbox.Bindings.C._TB_MAGENTA) -> True)+  where+    TB_MAGENTA = Tb_color Termbox.Bindings.C._TB_MAGENTA++pattern TB_RED :: Tb_color+pattern TB_RED <-+  ((== Tb_color Termbox.Bindings.C._TB_RED) -> True)+  where+    TB_RED = Tb_color Termbox.Bindings.C._TB_RED++pattern TB_WHITE :: Tb_color+pattern TB_WHITE <-+  ((== Tb_color Termbox.Bindings.C._TB_WHITE) -> True)+  where+    TB_WHITE = Tb_color Termbox.Bindings.C._TB_WHITE++pattern TB_YELLOW :: Tb_color+pattern TB_YELLOW <-+  ((== Tb_color Termbox.Bindings.C._TB_YELLOW) -> True)+  where+    TB_YELLOW = Tb_color Termbox.Bindings.C._TB_YELLOW

@@ -0,0 +1,41 @@+module Termbox.Bindings.Hs.Internal.Event+  ( Tb_event (..),+    ceventToEvent,+  )+where++import Data.Int (Int32)+import GHC.Generics (Generic)+import qualified Termbox.Bindings.C+import Termbox.Bindings.Hs.Internal.EventMod (Tb_event_mod (..))+import Termbox.Bindings.Hs.Internal.EventType (Tb_event_type (..))+import Termbox.Bindings.Hs.Internal.Key (Tb_key (..))+import Termbox.Bindings.Hs.Internal.Prelude (word32ToChar)+import Prelude hiding (mod)++-- | An event.+data Tb_event = Tb_event+  { type_ :: {-# UNPACK #-} !Tb_event_type,+    mod :: {-# UNPACK #-} !Tb_event_mod,+    key :: {-# UNPACK #-} !Tb_key,+    ch :: {-# UNPACK #-} !Char,+    w :: {-# UNPACK #-} !Int32,+    h :: {-# UNPACK #-} !Int32,+    x :: {-# UNPACK #-} !Int32,+    y :: {-# UNPACK #-} !Int32+  }+  deriving stock (Eq, Generic, Ord, Show)++ceventToEvent :: Termbox.Bindings.C.Tb_event -> Tb_event+ceventToEvent Termbox.Bindings.C.Tb_event {type_, mod, key, ch, w, h, x, y} =+  Tb_event+    { type_ = Tb_event_type type_,+      mod = Tb_event_mod mod,+      key = Tb_key key,+      ch = word32ToChar ch,+      w,+      h,+      x,+      y+    }+{-# INLINE ceventToEvent #-}

@@ -0,0 +1,28 @@+module Termbox.Bindings.Hs.Internal.EventMod+  ( Tb_event_mod+      ( Tb_event_mod,+        TB_MOD_ALT,+        TB_MOD_MOTION+      ),+  )+where++import Data.Word (Word8)+import qualified Termbox.Bindings.C++-- | An event modifier.+newtype Tb_event_mod+  = Tb_event_mod Word8+  deriving stock (Eq, Ord, Show)++pattern TB_MOD_ALT :: Tb_event_mod+pattern TB_MOD_ALT <-+  ((== Tb_event_mod Termbox.Bindings.C._TB_MOD_ALT) -> True)+  where+    TB_MOD_ALT = Tb_event_mod Termbox.Bindings.C._TB_MOD_ALT++pattern TB_MOD_MOTION :: Tb_event_mod+pattern TB_MOD_MOTION <-+  ((== Tb_event_mod Termbox.Bindings.C._TB_MOD_MOTION) -> True)+  where+    TB_MOD_MOTION = Tb_event_mod Termbox.Bindings.C._TB_MOD_MOTION

@@ -0,0 +1,43 @@+module Termbox.Bindings.Hs.Internal.EventType+  ( Tb_event_type+      ( Tb_event_type,+        TB_EVENT_KEY,+        TB_EVENT_MOUSE,+        TB_EVENT_RESIZE+      ),+  )+where++import Data.Word (Word8)+import qualified Termbox.Bindings.C++-- | An event type.+newtype Tb_event_type+  = Tb_event_type Word8+  deriving stock (Eq, Ord)++instance Show Tb_event_type where+  show = \case+    TB_EVENT_KEY -> "TB_EVENT_KEY"+    TB_EVENT_MOUSE -> "TB_EVENT_MOUSE"+    TB_EVENT_RESIZE -> "TB_EVENT_RESIZE"++pattern TB_EVENT_KEY :: Tb_event_type+pattern TB_EVENT_KEY <-+  ((== Tb_event_type Termbox.Bindings.C._TB_EVENT_KEY) -> True)+  where+    TB_EVENT_KEY = Tb_event_type Termbox.Bindings.C._TB_EVENT_KEY++pattern TB_EVENT_MOUSE :: Tb_event_type+pattern TB_EVENT_MOUSE <-+  ((== Tb_event_type Termbox.Bindings.C._TB_EVENT_MOUSE) -> True)+  where+    TB_EVENT_MOUSE = Tb_event_type Termbox.Bindings.C._TB_EVENT_MOUSE++pattern TB_EVENT_RESIZE :: Tb_event_type+pattern TB_EVENT_RESIZE <-+  ((== Tb_event_type Termbox.Bindings.C._TB_EVENT_RESIZE) -> True)+  where+    TB_EVENT_RESIZE = Tb_event_type Termbox.Bindings.C._TB_EVENT_RESIZE++{-# COMPLETE TB_EVENT_KEY, TB_EVENT_MOUSE, TB_EVENT_RESIZE #-}

@@ -0,0 +1,162 @@+module Termbox.Bindings.Hs.Internal.Functions+  ( tb_init,+    tb_init_fd,+    tb_init_file,+    tb_select_input_mode,+    tb_select_output_mode,+    tb_width,+    tb_height,+    tb_peek_event,+    tb_poll_event,+    tb_attr,+    tb_set_cursor,+    tb_put_cell,+    tb_change_cell,+    tb_set_clear_attributes,+  )+where++import Data.Bits ((.|.))+import Data.Coerce (coerce)+import Data.Word (Word16)+import Foreign.C.String (withCString)+import Foreign.Marshal.Alloc (alloca)+import qualified Foreign.Storable as Storable+import System.Posix.Types (Fd (Fd))+import qualified Termbox.Bindings.C+import Termbox.Bindings.Hs.Internal.Attr (Tb_attr (..))+import Termbox.Bindings.Hs.Internal.Cell (Tb_cell, cellToCCell)+import Termbox.Bindings.Hs.Internal.Color (Tb_color (..))+import Termbox.Bindings.Hs.Internal.Event (Tb_event, ceventToEvent)+import Termbox.Bindings.Hs.Internal.InitError (Tb_init_error (..))+import Termbox.Bindings.Hs.Internal.InputMode (Tb_input_mode (..))+import Termbox.Bindings.Hs.Internal.OutputMode (Tb_output_mode (..))+import Termbox.Bindings.Hs.Internal.Prelude (charToWord32, cintToInt, intToCInt)++-- | Set the attribute of a color.+tb_attr :: Tb_attr -> Tb_color -> Tb_color+tb_attr =+  coerce ((.|.) :: Word16 -> Word16 -> Word16)++-- | Set a cell value in the back buffer.+tb_change_cell ::+  -- | x+  Int ->+  -- | y+  Int ->+  -- | ch+  Char ->+  -- | fg+  Tb_color ->+  -- | bg+  Tb_color ->+  IO ()+tb_change_cell cx cy c (Tb_color foreground) (Tb_color background) =+  Termbox.Bindings.C.tb_change_cell (intToCInt cx) (intToCInt cy) (charToWord32 c) foreground background++-- | Get the terminal height.+tb_height :: IO Int+tb_height =+  cintToInt <$> Termbox.Bindings.C.tb_height++-- | Initialize the @termbox@ library.+tb_init :: IO (Either Tb_init_error ())+tb_init = do+  code <- Termbox.Bindings.C.tb_init+  pure+    if code == 0+      then Right ()+      else Left (Tb_init_error code)++-- | Initialize the @termbox@ library.+--+-- > tb_init = tb_init_fd(0)+tb_init_fd :: Fd -> IO (Either Tb_init_error ())+tb_init_fd (Fd fd) = do+  code <- Termbox.Bindings.C.tb_init_fd fd+  pure+    if code == 0+      then Right ()+      else Left (Tb_init_error code)++-- | Initialize the @termbox@ library.+--+-- > tb_init = tb_init_file("/dev/tty")+tb_init_file :: FilePath -> IO (Either Tb_init_error ())+tb_init_file file = do+  code <-+    withCString file \c_file ->+      Termbox.Bindings.C.tb_init_file c_file+  pure+    if code == 0+      then Right ()+      else Left (Tb_init_error code)++-- | Wait up to a number of milliseconds for an event.+tb_peek_event :: Int -> IO (Either () (Maybe Tb_event))+tb_peek_event timeout =+  alloca \c_event -> do+    result <- Termbox.Bindings.C.tb_peek_event c_event (intToCInt timeout)+    if result < 0+      then pure (Left ())+      else+        if result == 0+          then pure (Right Nothing)+          else Right . Just . ceventToEvent <$> Storable.peek c_event++-- | Wait for an event.+tb_poll_event :: IO (Either () Tb_event)+tb_poll_event =+  alloca \c_event -> do+    result <- Termbox.Bindings.C.tb_poll_event c_event+    if result < 0+      then pure (Left ())+      else Right . ceventToEvent <$> Storable.peek c_event++-- | Set a cell value in the back buffer.+tb_put_cell ::+  -- | x+  Int ->+  -- | y+  Int ->+  -- | cell+  Tb_cell ->+  IO ()+tb_put_cell cx cy cell =+  alloca \c_cell -> do+    Storable.poke c_cell (cellToCCell cell)+    Termbox.Bindings.C.tb_put_cell (intToCInt cx) (intToCInt cy) c_cell++-- | Get\/set the input mode.+tb_select_input_mode :: Tb_input_mode -> IO Tb_input_mode+tb_select_input_mode =+  coerce Termbox.Bindings.C.tb_select_input_mode++-- | Get\/set the output mode.+tb_select_output_mode :: Tb_output_mode -> IO Tb_output_mode+tb_select_output_mode =+  coerce Termbox.Bindings.C.tb_select_output_mode++-- | Set the foreground and background attributes that 'tb_clear' clears the back buffer with.+tb_set_clear_attributes ::+  -- | fg+  Tb_color ->+  -- | bg+  Tb_color ->+  IO ()+tb_set_clear_attributes (Tb_color foreground) (Tb_color background) =+  Termbox.Bindings.C.tb_set_clear_attributes foreground background++-- | Set the cursor location, or hide it.+tb_set_cursor ::+  -- | x, y+  Maybe (Int, Int) ->+  IO ()+tb_set_cursor = \case+  Nothing -> Termbox.Bindings.C.tb_set_cursor Termbox.Bindings.C._TB_HIDE_CURSOR Termbox.Bindings.C._TB_HIDE_CURSOR+  Just (cx, cy) -> Termbox.Bindings.C.tb_set_cursor (intToCInt cx) (intToCInt cy)++-- | Get the terminal width.+tb_width :: IO Int+tb_width =+  cintToInt <$> Termbox.Bindings.C.tb_width

@@ -0,0 +1,43 @@+module Termbox.Bindings.Hs.Internal.InitError+  ( Tb_init_error+      ( Tb_init_error,+        TB_EFAILED_TO_OPEN_TTY,+        TB_EPIPE_TRAP_ERROR,+        TB_EUNSUPPORTED_TERMINAL+      ),+  )+where++import Foreign.C.Types (CInt)+import qualified Termbox.Bindings.C++-- | A 'tb_init' error.+newtype Tb_init_error+  = Tb_init_error CInt+  deriving stock (Eq, Ord)++instance Show Tb_init_error where+  show = \case+    TB_EFAILED_TO_OPEN_TTY -> "TB_EFAILED_TO_OPEN_TTY"+    TB_EPIPE_TRAP_ERROR -> "TB_EPIPE_TRAP_ERROR"+    TB_EUNSUPPORTED_TERMINAL -> "TB_EUNSUPPORTED_TERMINAL"++pattern TB_EFAILED_TO_OPEN_TTY :: Tb_init_error+pattern TB_EFAILED_TO_OPEN_TTY <-+  ((== Tb_init_error Termbox.Bindings.C._TB_EFAILED_TO_OPEN_TTY) -> True)+  where+    TB_EFAILED_TO_OPEN_TTY = Tb_init_error Termbox.Bindings.C._TB_EFAILED_TO_OPEN_TTY++pattern TB_EPIPE_TRAP_ERROR :: Tb_init_error+pattern TB_EPIPE_TRAP_ERROR <-+  ((== Tb_init_error Termbox.Bindings.C._TB_EPIPE_TRAP_ERROR) -> True)+  where+    TB_EPIPE_TRAP_ERROR = Tb_init_error Termbox.Bindings.C._TB_EPIPE_TRAP_ERROR++pattern TB_EUNSUPPORTED_TERMINAL :: Tb_init_error+pattern TB_EUNSUPPORTED_TERMINAL <-+  ((== Tb_init_error Termbox.Bindings.C._TB_EUNSUPPORTED_TERMINAL) -> True)+  where+    TB_EUNSUPPORTED_TERMINAL = Tb_init_error Termbox.Bindings.C._TB_EUNSUPPORTED_TERMINAL++{-# COMPLETE TB_EFAILED_TO_OPEN_TTY, TB_EPIPE_TRAP_ERROR, TB_EUNSUPPORTED_TERMINAL #-}

@@ -0,0 +1,51 @@+module Termbox.Bindings.Hs.Internal.InputMode+  ( Tb_input_mode+      ( Tb_input_mode,+        TB_INPUT_CURRENT,+        TB_INPUT_ALT,+        TB_INPUT_ESC,+        TB_INPUT_MOUSE+      ),+  )+where++import Foreign.C.Types (CInt)+import qualified Termbox.Bindings.C++-- | The input mode.+newtype Tb_input_mode+  = Tb_input_mode CInt+  deriving stock (Eq, Ord)++instance Show Tb_input_mode where+  show = \case+    TB_INPUT_CURRENT -> "TB_INPUT_CURRENT"+    TB_INPUT_ALT -> "TB_INPUT_ALT"+    TB_INPUT_ESC -> "TB_INPUT_ESC"+    TB_INPUT_MOUSE -> "TB_INPUT_MOUSE"++pattern TB_INPUT_CURRENT :: Tb_input_mode+pattern TB_INPUT_CURRENT <-+  ((== Tb_input_mode Termbox.Bindings.C._TB_INPUT_CURRENT) -> True)+  where+    TB_INPUT_CURRENT = Tb_input_mode Termbox.Bindings.C._TB_INPUT_CURRENT++pattern TB_INPUT_ALT :: Tb_input_mode+pattern TB_INPUT_ALT <-+  ((== Tb_input_mode Termbox.Bindings.C._TB_INPUT_ALT) -> True)+  where+    TB_INPUT_ALT = Tb_input_mode Termbox.Bindings.C._TB_INPUT_ALT++pattern TB_INPUT_ESC :: Tb_input_mode+pattern TB_INPUT_ESC <-+  ((== Tb_input_mode Termbox.Bindings.C._TB_INPUT_ESC) -> True)+  where+    TB_INPUT_ESC = Tb_input_mode Termbox.Bindings.C._TB_INPUT_ESC++pattern TB_INPUT_MOUSE :: Tb_input_mode+pattern TB_INPUT_MOUSE <-+  ((== Tb_input_mode Termbox.Bindings.C._TB_INPUT_MOUSE) -> True)+  where+    TB_INPUT_MOUSE = Tb_input_mode Termbox.Bindings.C._TB_INPUT_MOUSE++{-# COMPLETE TB_INPUT_CURRENT, TB_INPUT_ALT, TB_INPUT_ESC, TB_INPUT_MOUSE #-}

@@ -0,0 +1,591 @@+module Termbox.Bindings.Hs.Internal.Key+  ( Tb_key+      ( Tb_key,+        TB_KEY_ARROW_DOWN,+        TB_KEY_ARROW_LEFT,+        TB_KEY_ARROW_RIGHT,+        TB_KEY_ARROW_UP,+        TB_KEY_BACKSPACE,+        TB_KEY_BACKSPACE2,+        TB_KEY_CTRL_2,+        TB_KEY_CTRL_3,+        TB_KEY_CTRL_4,+        TB_KEY_CTRL_5,+        TB_KEY_CTRL_6,+        TB_KEY_CTRL_7,+        TB_KEY_CTRL_8,+        TB_KEY_CTRL_A,+        TB_KEY_CTRL_B,+        TB_KEY_CTRL_BACKSLASH,+        TB_KEY_CTRL_C,+        TB_KEY_CTRL_D,+        TB_KEY_CTRL_E,+        TB_KEY_CTRL_F,+        TB_KEY_CTRL_G,+        TB_KEY_CTRL_H,+        TB_KEY_CTRL_I,+        TB_KEY_CTRL_J,+        TB_KEY_CTRL_K,+        TB_KEY_CTRL_L,+        TB_KEY_CTRL_LSQ_BRACKET,+        TB_KEY_CTRL_M,+        TB_KEY_CTRL_N,+        TB_KEY_CTRL_O,+        TB_KEY_CTRL_P,+        TB_KEY_CTRL_Q,+        TB_KEY_CTRL_R,+        TB_KEY_CTRL_RSQ_BRACKET,+        TB_KEY_CTRL_S,+        TB_KEY_CTRL_SLASH,+        TB_KEY_CTRL_T,+        TB_KEY_CTRL_TILDE,+        TB_KEY_CTRL_U,+        TB_KEY_CTRL_UNDERSCORE,+        TB_KEY_CTRL_V,+        TB_KEY_CTRL_W,+        TB_KEY_CTRL_X,+        TB_KEY_CTRL_Y,+        TB_KEY_CTRL_Z,+        TB_KEY_DELETE,+        TB_KEY_END,+        TB_KEY_ENTER,+        TB_KEY_ESC,+        TB_KEY_F1,+        TB_KEY_F10,+        TB_KEY_F11,+        TB_KEY_F12,+        TB_KEY_F2,+        TB_KEY_F3,+        TB_KEY_F4,+        TB_KEY_F5,+        TB_KEY_F6,+        TB_KEY_F7,+        TB_KEY_F8,+        TB_KEY_F9,+        TB_KEY_HOME,+        TB_KEY_INSERT,+        TB_KEY_MOUSE_LEFT,+        TB_KEY_MOUSE_MIDDLE,+        TB_KEY_MOUSE_RELEASE,+        TB_KEY_MOUSE_RIGHT,+        TB_KEY_MOUSE_WHEEL_DOWN,+        TB_KEY_MOUSE_WHEEL_UP,+        TB_KEY_PGDN,+        TB_KEY_PGUP,+        TB_KEY_SPACE,+        TB_KEY_TAB+      ),+  )+where++import Data.Word (Word16)+import qualified Termbox.Bindings.C++-- | A key.+newtype Tb_key+  = Tb_key Word16+  deriving stock (Eq, Ord)++instance Show Tb_key where+  show = \case+    TB_KEY_F1 -> "TB_KEY_F1"+    TB_KEY_F2 -> "TB_KEY_F2"+    TB_KEY_F3 -> "TB_KEY_F3"+    TB_KEY_F4 -> "TB_KEY_F4"+    TB_KEY_F5 -> "TB_KEY_F5"+    TB_KEY_F6 -> "TB_KEY_F6"+    TB_KEY_F7 -> "TB_KEY_F7"+    TB_KEY_F8 -> "TB_KEY_F8"+    TB_KEY_F9 -> "TB_KEY_F9"+    TB_KEY_F10 -> "TB_KEY_F10"+    TB_KEY_F11 -> "TB_KEY_F11"+    TB_KEY_F12 -> "TB_KEY_F12"+    TB_KEY_INSERT -> "TB_KEY_INSERT"+    TB_KEY_DELETE -> "TB_KEY_DELETE"+    TB_KEY_HOME -> "TB_KEY_HOME"+    TB_KEY_END -> "TB_KEY_END"+    TB_KEY_PGUP -> "TB_KEY_PGUP"+    TB_KEY_PGDN -> "TB_KEY_PGDN"+    TB_KEY_ARROW_UP -> "TB_KEY_ARROW_UP"+    TB_KEY_ARROW_DOWN -> "TB_KEY_ARROW_DOWN"+    TB_KEY_ARROW_LEFT -> "TB_KEY_ARROW_LEFT"+    TB_KEY_ARROW_RIGHT -> "TB_KEY_ARROW_RIGHT"+    TB_KEY_MOUSE_LEFT -> "TB_KEY_MOUSE_LEFT"+    TB_KEY_MOUSE_RIGHT -> "TB_KEY_MOUSE_RIGHT"+    TB_KEY_MOUSE_MIDDLE -> "TB_KEY_MOUSE_MIDDLE"+    TB_KEY_MOUSE_RELEASE -> "TB_KEY_MOUSE_RELEASE"+    TB_KEY_MOUSE_WHEEL_UP -> "TB_KEY_MOUSE_WHEEL_UP"+    TB_KEY_MOUSE_WHEEL_DOWN -> "TB_KEY_MOUSE_WHEEL_DOWN"+    TB_KEY_CTRL_TILDE -> "TB_KEY_CTRL_TILDE"+    TB_KEY_CTRL_A -> "TB_KEY_CTRL_A"+    TB_KEY_CTRL_B -> "TB_KEY_CTRL_B"+    TB_KEY_CTRL_C -> "TB_KEY_CTRL_C"+    TB_KEY_CTRL_D -> "TB_KEY_CTRL_D"+    TB_KEY_CTRL_E -> "TB_KEY_CTRL_E"+    TB_KEY_CTRL_F -> "TB_KEY_CTRL_F"+    TB_KEY_CTRL_G -> "TB_KEY_CTRL_G"+    TB_KEY_BACKSPACE -> "TB_KEY_BACKSPACE"+    TB_KEY_TAB -> "TB_KEY_TAB"+    TB_KEY_CTRL_J -> "TB_KEY_CTRL_J"+    TB_KEY_CTRL_K -> "TB_KEY_CTRL_K"+    TB_KEY_CTRL_L -> "TB_KEY_CTRL_L"+    TB_KEY_ENTER -> "TB_KEY_ENTER"+    TB_KEY_CTRL_N -> "TB_KEY_CTRL_N"+    TB_KEY_CTRL_O -> "TB_KEY_CTRL_O"+    TB_KEY_CTRL_P -> "TB_KEY_CTRL_P"+    TB_KEY_CTRL_Q -> "TB_KEY_CTRL_Q"+    TB_KEY_CTRL_R -> "TB_KEY_CTRL_R"+    TB_KEY_CTRL_S -> "TB_KEY_CTRL_S"+    TB_KEY_CTRL_T -> "TB_KEY_CTRL_T"+    TB_KEY_CTRL_U -> "TB_KEY_CTRL_U"+    TB_KEY_CTRL_V -> "TB_KEY_CTRL_V"+    TB_KEY_CTRL_W -> "TB_KEY_CTRL_W"+    TB_KEY_CTRL_X -> "TB_KEY_CTRL_X"+    TB_KEY_CTRL_Y -> "TB_KEY_CTRL_Y"+    TB_KEY_CTRL_Z -> "TB_KEY_CTRL_Z"+    TB_KEY_ESC -> "TB_KEY_ESC"+    TB_KEY_CTRL_4 -> "TB_KEY_CTRL_4"+    TB_KEY_CTRL_5 -> "TB_KEY_CTRL_5"+    TB_KEY_CTRL_6 -> "TB_KEY_CTRL_6"+    TB_KEY_CTRL_7 -> "TB_KEY_CTRL_7"+    TB_KEY_SPACE -> "TB_KEY_SPACE"+    TB_KEY_BACKSPACE2 -> "TB_KEY_BACKSPACE2"+    k -> error ("Unknown key: " ++ show k)++pattern TB_KEY_ARROW_DOWN :: Tb_key+pattern TB_KEY_ARROW_DOWN <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_ARROW_DOWN) -> True)+  where+    TB_KEY_ARROW_DOWN = Tb_key Termbox.Bindings.C._TB_KEY_ARROW_DOWN++pattern TB_KEY_ARROW_LEFT :: Tb_key+pattern TB_KEY_ARROW_LEFT <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_ARROW_LEFT) -> True)+  where+    TB_KEY_ARROW_LEFT = Tb_key Termbox.Bindings.C._TB_KEY_ARROW_LEFT++pattern TB_KEY_ARROW_RIGHT :: Tb_key+pattern TB_KEY_ARROW_RIGHT <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_ARROW_RIGHT) -> True)+  where+    TB_KEY_ARROW_RIGHT = Tb_key Termbox.Bindings.C._TB_KEY_ARROW_RIGHT++pattern TB_KEY_ARROW_UP :: Tb_key+pattern TB_KEY_ARROW_UP <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_ARROW_UP) -> True)+  where+    TB_KEY_ARROW_UP = Tb_key Termbox.Bindings.C._TB_KEY_ARROW_UP++pattern TB_KEY_BACKSPACE :: Tb_key+pattern TB_KEY_BACKSPACE <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_BACKSPACE) -> True)+  where+    TB_KEY_BACKSPACE = Tb_key Termbox.Bindings.C._TB_KEY_BACKSPACE++pattern TB_KEY_BACKSPACE2 :: Tb_key+pattern TB_KEY_BACKSPACE2 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_BACKSPACE2) -> True)+  where+    TB_KEY_BACKSPACE2 = Tb_key Termbox.Bindings.C._TB_KEY_BACKSPACE2++pattern TB_KEY_CTRL_2 :: Tb_key+pattern TB_KEY_CTRL_2 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_2) -> True)+  where+    TB_KEY_CTRL_2 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_2++pattern TB_KEY_CTRL_3 :: Tb_key+pattern TB_KEY_CTRL_3 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_3) -> True)+  where+    TB_KEY_CTRL_3 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_3++pattern TB_KEY_CTRL_4 :: Tb_key+pattern TB_KEY_CTRL_4 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_4) -> True)+  where+    TB_KEY_CTRL_4 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_4++pattern TB_KEY_CTRL_5 :: Tb_key+pattern TB_KEY_CTRL_5 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_5) -> True)+  where+    TB_KEY_CTRL_5 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_5++pattern TB_KEY_CTRL_6 :: Tb_key+pattern TB_KEY_CTRL_6 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_6) -> True)+  where+    TB_KEY_CTRL_6 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_6++pattern TB_KEY_CTRL_7 :: Tb_key+pattern TB_KEY_CTRL_7 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_7) -> True)+  where+    TB_KEY_CTRL_7 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_7++pattern TB_KEY_CTRL_8 :: Tb_key+pattern TB_KEY_CTRL_8 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_8) -> True)+  where+    TB_KEY_CTRL_8 = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_8++pattern TB_KEY_CTRL_A :: Tb_key+pattern TB_KEY_CTRL_A <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_A) -> True)+  where+    TB_KEY_CTRL_A = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_A++pattern TB_KEY_CTRL_B :: Tb_key+pattern TB_KEY_CTRL_B <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_B) -> True)+  where+    TB_KEY_CTRL_B = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_B++pattern TB_KEY_CTRL_BACKSLASH :: Tb_key+pattern TB_KEY_CTRL_BACKSLASH <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_BACKSLASH) -> True)+  where+    TB_KEY_CTRL_BACKSLASH = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_BACKSLASH++pattern TB_KEY_CTRL_C :: Tb_key+pattern TB_KEY_CTRL_C <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_C) -> True)+  where+    TB_KEY_CTRL_C = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_C++pattern TB_KEY_CTRL_D :: Tb_key+pattern TB_KEY_CTRL_D <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_D) -> True)+  where+    TB_KEY_CTRL_D = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_D++pattern TB_KEY_CTRL_E :: Tb_key+pattern TB_KEY_CTRL_E <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_E) -> True)+  where+    TB_KEY_CTRL_E = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_E++pattern TB_KEY_CTRL_F :: Tb_key+pattern TB_KEY_CTRL_F <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_F) -> True)+  where+    TB_KEY_CTRL_F = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_F++pattern TB_KEY_CTRL_G :: Tb_key+pattern TB_KEY_CTRL_G <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_G) -> True)+  where+    TB_KEY_CTRL_G = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_G++pattern TB_KEY_CTRL_H :: Tb_key+pattern TB_KEY_CTRL_H <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_H) -> True)+  where+    TB_KEY_CTRL_H = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_H++pattern TB_KEY_CTRL_I :: Tb_key+pattern TB_KEY_CTRL_I <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_I) -> True)+  where+    TB_KEY_CTRL_I = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_I++pattern TB_KEY_CTRL_J :: Tb_key+pattern TB_KEY_CTRL_J <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_J) -> True)+  where+    TB_KEY_CTRL_J = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_J++pattern TB_KEY_CTRL_K :: Tb_key+pattern TB_KEY_CTRL_K <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_K) -> True)+  where+    TB_KEY_CTRL_K = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_K++pattern TB_KEY_CTRL_L :: Tb_key+pattern TB_KEY_CTRL_L <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_L) -> True)+  where+    TB_KEY_CTRL_L = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_L++pattern TB_KEY_CTRL_LSQ_BRACKET :: Tb_key+pattern TB_KEY_CTRL_LSQ_BRACKET <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_LSQ_BRACKET) -> True)+  where+    TB_KEY_CTRL_LSQ_BRACKET = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_LSQ_BRACKET++pattern TB_KEY_CTRL_M :: Tb_key+pattern TB_KEY_CTRL_M <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_M) -> True)+  where+    TB_KEY_CTRL_M = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_M++pattern TB_KEY_CTRL_N :: Tb_key+pattern TB_KEY_CTRL_N <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_N) -> True)+  where+    TB_KEY_CTRL_N = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_N++pattern TB_KEY_CTRL_O :: Tb_key+pattern TB_KEY_CTRL_O <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_O) -> True)+  where+    TB_KEY_CTRL_O = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_O++pattern TB_KEY_CTRL_P :: Tb_key+pattern TB_KEY_CTRL_P <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_P) -> True)+  where+    TB_KEY_CTRL_P = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_P++pattern TB_KEY_CTRL_Q :: Tb_key+pattern TB_KEY_CTRL_Q <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_Q) -> True)+  where+    TB_KEY_CTRL_Q = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_Q++pattern TB_KEY_CTRL_R :: Tb_key+pattern TB_KEY_CTRL_R <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_R) -> True)+  where+    TB_KEY_CTRL_R = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_R++pattern TB_KEY_CTRL_RSQ_BRACKET :: Tb_key+pattern TB_KEY_CTRL_RSQ_BRACKET <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_RSQ_BRACKET) -> True)+  where+    TB_KEY_CTRL_RSQ_BRACKET = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_RSQ_BRACKET++pattern TB_KEY_CTRL_S :: Tb_key+pattern TB_KEY_CTRL_S <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_S) -> True)+  where+    TB_KEY_CTRL_S = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_S++pattern TB_KEY_CTRL_SLASH :: Tb_key+pattern TB_KEY_CTRL_SLASH <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_SLASH) -> True)+  where+    TB_KEY_CTRL_SLASH = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_SLASH++pattern TB_KEY_CTRL_T :: Tb_key+pattern TB_KEY_CTRL_T <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_T) -> True)+  where+    TB_KEY_CTRL_T = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_T++pattern TB_KEY_CTRL_TILDE :: Tb_key+pattern TB_KEY_CTRL_TILDE <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_TILDE) -> True)+  where+    TB_KEY_CTRL_TILDE = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_TILDE++pattern TB_KEY_CTRL_U :: Tb_key+pattern TB_KEY_CTRL_U <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_U) -> True)+  where+    TB_KEY_CTRL_U = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_U++pattern TB_KEY_CTRL_UNDERSCORE :: Tb_key+pattern TB_KEY_CTRL_UNDERSCORE <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_UNDERSCORE) -> True)+  where+    TB_KEY_CTRL_UNDERSCORE = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_UNDERSCORE++pattern TB_KEY_CTRL_V :: Tb_key+pattern TB_KEY_CTRL_V <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_V) -> True)+  where+    TB_KEY_CTRL_V = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_V++pattern TB_KEY_CTRL_W :: Tb_key+pattern TB_KEY_CTRL_W <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_W) -> True)+  where+    TB_KEY_CTRL_W = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_W++pattern TB_KEY_CTRL_X :: Tb_key+pattern TB_KEY_CTRL_X <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_X) -> True)+  where+    TB_KEY_CTRL_X = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_X++pattern TB_KEY_CTRL_Y :: Tb_key+pattern TB_KEY_CTRL_Y <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_Y) -> True)+  where+    TB_KEY_CTRL_Y = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_Y++pattern TB_KEY_CTRL_Z :: Tb_key+pattern TB_KEY_CTRL_Z <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_CTRL_Z) -> True)+  where+    TB_KEY_CTRL_Z = Tb_key Termbox.Bindings.C._TB_KEY_CTRL_Z++pattern TB_KEY_DELETE :: Tb_key+pattern TB_KEY_DELETE <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_DELETE) -> True)+  where+    TB_KEY_DELETE = Tb_key Termbox.Bindings.C._TB_KEY_DELETE++pattern TB_KEY_END :: Tb_key+pattern TB_KEY_END <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_END) -> True)+  where+    TB_KEY_END = Tb_key Termbox.Bindings.C._TB_KEY_END++pattern TB_KEY_ENTER :: Tb_key+pattern TB_KEY_ENTER <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_ENTER) -> True)+  where+    TB_KEY_ENTER = Tb_key Termbox.Bindings.C._TB_KEY_ENTER++pattern TB_KEY_ESC :: Tb_key+pattern TB_KEY_ESC <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_ESC) -> True)+  where+    TB_KEY_ESC = Tb_key Termbox.Bindings.C._TB_KEY_ESC++pattern TB_KEY_F1 :: Tb_key+pattern TB_KEY_F1 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_F1) -> True)+  where+    TB_KEY_F1 = Tb_key Termbox.Bindings.C._TB_KEY_F1++pattern TB_KEY_F10 :: Tb_key+pattern TB_KEY_F10 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_F10) -> True)+  where+    TB_KEY_F10 = Tb_key Termbox.Bindings.C._TB_KEY_F10++pattern TB_KEY_F11 :: Tb_key+pattern TB_KEY_F11 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_F11) -> True)+  where+    TB_KEY_F11 = Tb_key Termbox.Bindings.C._TB_KEY_F11++pattern TB_KEY_F12 :: Tb_key+pattern TB_KEY_F12 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_F12) -> True)+  where+    TB_KEY_F12 = Tb_key Termbox.Bindings.C._TB_KEY_F12++pattern TB_KEY_F2 :: Tb_key+pattern TB_KEY_F2 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_F2) -> True)+  where+    TB_KEY_F2 = Tb_key Termbox.Bindings.C._TB_KEY_F2++pattern TB_KEY_F3 :: Tb_key+pattern TB_KEY_F3 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_F3) -> True)+  where+    TB_KEY_F3 = Tb_key Termbox.Bindings.C._TB_KEY_F3++pattern TB_KEY_F4 :: Tb_key+pattern TB_KEY_F4 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_F4) -> True)+  where+    TB_KEY_F4 = Tb_key Termbox.Bindings.C._TB_KEY_F4++pattern TB_KEY_F5 :: Tb_key+pattern TB_KEY_F5 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_F5) -> True)+  where+    TB_KEY_F5 = Tb_key Termbox.Bindings.C._TB_KEY_F5++pattern TB_KEY_F6 :: Tb_key+pattern TB_KEY_F6 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_F6) -> True)+  where+    TB_KEY_F6 = Tb_key Termbox.Bindings.C._TB_KEY_F6++pattern TB_KEY_F7 :: Tb_key+pattern TB_KEY_F7 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_F7) -> True)+  where+    TB_KEY_F7 = Tb_key Termbox.Bindings.C._TB_KEY_F7++pattern TB_KEY_F8 :: Tb_key+pattern TB_KEY_F8 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_F8) -> True)+  where+    TB_KEY_F8 = Tb_key Termbox.Bindings.C._TB_KEY_F8++pattern TB_KEY_F9 :: Tb_key+pattern TB_KEY_F9 <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_F9) -> True)+  where+    TB_KEY_F9 = Tb_key Termbox.Bindings.C._TB_KEY_F9++pattern TB_KEY_HOME :: Tb_key+pattern TB_KEY_HOME <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_HOME) -> True)+  where+    TB_KEY_HOME = Tb_key Termbox.Bindings.C._TB_KEY_HOME++pattern TB_KEY_INSERT :: Tb_key+pattern TB_KEY_INSERT <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_INSERT) -> True)+  where+    TB_KEY_INSERT = Tb_key Termbox.Bindings.C._TB_KEY_INSERT++pattern TB_KEY_MOUSE_LEFT :: Tb_key+pattern TB_KEY_MOUSE_LEFT <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_LEFT) -> True)+  where+    TB_KEY_MOUSE_LEFT = Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_LEFT++pattern TB_KEY_MOUSE_MIDDLE :: Tb_key+pattern TB_KEY_MOUSE_MIDDLE <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_MIDDLE) -> True)+  where+    TB_KEY_MOUSE_MIDDLE = Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_MIDDLE++pattern TB_KEY_MOUSE_RELEASE :: Tb_key+pattern TB_KEY_MOUSE_RELEASE <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_RELEASE) -> True)+  where+    TB_KEY_MOUSE_RELEASE = Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_RELEASE++pattern TB_KEY_MOUSE_RIGHT :: Tb_key+pattern TB_KEY_MOUSE_RIGHT <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_RIGHT) -> True)+  where+    TB_KEY_MOUSE_RIGHT = Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_RIGHT++pattern TB_KEY_MOUSE_WHEEL_DOWN :: Tb_key+pattern TB_KEY_MOUSE_WHEEL_DOWN <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_WHEEL_DOWN) -> True)+  where+    TB_KEY_MOUSE_WHEEL_DOWN = Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_WHEEL_DOWN++pattern TB_KEY_MOUSE_WHEEL_UP :: Tb_key+pattern TB_KEY_MOUSE_WHEEL_UP <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_WHEEL_UP) -> True)+  where+    TB_KEY_MOUSE_WHEEL_UP = Tb_key Termbox.Bindings.C._TB_KEY_MOUSE_WHEEL_UP++pattern TB_KEY_PGDN :: Tb_key+pattern TB_KEY_PGDN <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_PGDN) -> True)+  where+    TB_KEY_PGDN = Tb_key Termbox.Bindings.C._TB_KEY_PGDN++pattern TB_KEY_PGUP :: Tb_key+pattern TB_KEY_PGUP <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_PGUP) -> True)+  where+    TB_KEY_PGUP = Tb_key Termbox.Bindings.C._TB_KEY_PGUP++pattern TB_KEY_SPACE :: Tb_key+pattern TB_KEY_SPACE <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_SPACE) -> True)+  where+    TB_KEY_SPACE = Tb_key Termbox.Bindings.C._TB_KEY_SPACE++pattern TB_KEY_TAB :: Tb_key+pattern TB_KEY_TAB <-+  ((== Tb_key Termbox.Bindings.C._TB_KEY_TAB) -> True)+  where+    TB_KEY_TAB = Tb_key Termbox.Bindings.C._TB_KEY_TAB

@@ -0,0 +1,59 @@+module Termbox.Bindings.Hs.Internal.OutputMode+  ( Tb_output_mode+      ( Tb_output_mode,+        TB_OUTPUT_CURRENT,+        TB_OUTPUT_216,+        TB_OUTPUT_256,+        TB_OUTPUT_GRAYSCALE,+        TB_OUTPUT_NORMAL+      ),+  )+where++import Foreign.C.Types (CInt)+import qualified Termbox.Bindings.C++-- | The output mode.+newtype Tb_output_mode+  = Tb_output_mode CInt+  deriving stock (Eq, Ord)++instance Show Tb_output_mode where+  show = \case+    TB_OUTPUT_CURRENT -> "TB_OUTPUT_CURRENT"+    TB_OUTPUT_216 -> "TB_OUTPUT_216"+    TB_OUTPUT_256 -> "TB_OUTPUT_256"+    TB_OUTPUT_GRAYSCALE -> "TB_OUTPUT_GRAYSCALE"+    TB_OUTPUT_NORMAL -> "TB_OUTPUT_NORMAL"++pattern TB_OUTPUT_CURRENT :: Tb_output_mode+pattern TB_OUTPUT_CURRENT <-+  ((== Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_CURRENT) -> True)+  where+    TB_OUTPUT_CURRENT = Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_CURRENT++pattern TB_OUTPUT_216 :: Tb_output_mode+pattern TB_OUTPUT_216 <-+  ((== Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_216) -> True)+  where+    TB_OUTPUT_216 = Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_216++pattern TB_OUTPUT_256 :: Tb_output_mode+pattern TB_OUTPUT_256 <-+  ((== Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_256) -> True)+  where+    TB_OUTPUT_256 = Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_256++pattern TB_OUTPUT_GRAYSCALE :: Tb_output_mode+pattern TB_OUTPUT_GRAYSCALE <-+  ((== Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_GRAYSCALE) -> True)+  where+    TB_OUTPUT_GRAYSCALE = Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_GRAYSCALE++pattern TB_OUTPUT_NORMAL :: Tb_output_mode+pattern TB_OUTPUT_NORMAL <-+  ((== Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_NORMAL) -> True)+  where+    TB_OUTPUT_NORMAL = Tb_output_mode Termbox.Bindings.C._TB_OUTPUT_NORMAL++{-# COMPLETE TB_OUTPUT_CURRENT, TB_OUTPUT_216, TB_OUTPUT_256, TB_OUTPUT_GRAYSCALE, TB_OUTPUT_NORMAL #-}

@@ -0,0 +1,31 @@+module Termbox.Bindings.Hs.Internal.Prelude+  ( charToWord32,+    cintToInt,+    intToCInt,+    word32ToChar,+  )+where++import qualified Data.Char as Char+import Data.Word (Word32)+import Foreign.C.Types (CInt)++charToWord32 :: Char -> Word32+charToWord32 =+  fromIntegral @Int @Word32 . Char.ord+{-# INLINE charToWord32 #-}++word32ToChar :: Word32 -> Char+word32ToChar =+  Char.chr . fromIntegral @Word32 @Int+{-# INLINE word32ToChar #-}++cintToInt :: CInt -> Int+cintToInt =+  fromIntegral+{-# INLINE cintToInt #-}++intToCInt :: Int -> CInt+intToCInt =+  fromIntegral+{-# INLINE intToCInt #-}

@@ -1,10 +1,10 @@ cabal-version: 2.4  author: Mitchell Rosen-bug-reports: https://github.com/termbox/termbox-haskell/issues+bug-reports: https://github.com/awkward-squad/termbox/issues build-type: Simple category: User Interfaces-copyright: (c) 2018-2022, Mitchell Rosen+copyright: (c) 2018-2023 Mitchell Rosen, Travis Staton description:   This package provides bindings to @termbox@, a simple C library for writing text-based user interfaces:   <https://github.com/termbox/termbox>.@@ -13,25 +13,26 @@   .   * @<https://hackage.haskell.org/package/termbox-bindings-c termbox-bindings-c>@ for lower-level bindings.   * @<https://hackage.haskell.org/package/termbox termbox>@ for higher-level bindings.-homepage: https://github.com/termbox/termbox-haskell+homepage: https://github.com/awkward-squad/termbox license-file: LICENSE license: BSD-3-Clause-maintainer: Mitchell Rosen <mitchellwrosen@gmail.com>+maintainer: Mitchell Rosen <mitchellwrosen@gmail.com>, Travis Staton <hello@travisstaton.com> name: termbox-bindings-hs synopsis: termbox bindings-tested-with: GHC == 9.0.2, GHC == 9.2.4, GHC == 9.4.2-version: 0.1.0+tested-with: GHC == 9.4.7, GHC == 9.6.3, GHC == 9.8.1+version: 0.1.1 -extra-source-files:+extra-doc-files:   CHANGELOG.md  source-repository head   type: git-  location: git://github.com/termbox/termbox-haskell.git+  location: git://github.com/awkward-squad/termbox.git+  subdir: termbox-bindings-hs  library   build-depends:-    base ^>= 4.13 || ^>= 4.14 || ^>= 4.15 || ^>= 4.16 || ^>= 4.17,+    base ^>= 4.13 || ^>= 4.14 || ^>= 4.15 || ^>= 4.16 || ^>= 4.17 || ^>= 4.18 || ^>= 4.19,     termbox-bindings-c ^>= 0.1,   default-extensions:     BlockArguments@@ -63,3 +64,16 @@   if impl(ghc >= 9.2)     ghc-options:       -Wno-missing-kind-signatures+  other-modules:+    Termbox.Bindings.Hs.Internal.Attr+    Termbox.Bindings.Hs.Internal.Cell+    Termbox.Bindings.Hs.Internal.Color+    Termbox.Bindings.Hs.Internal.Event+    Termbox.Bindings.Hs.Internal.EventMod+    Termbox.Bindings.Hs.Internal.EventType+    Termbox.Bindings.Hs.Internal.InitError+    Termbox.Bindings.Hs.Internal.InputMode+    Termbox.Bindings.Hs.Internal.Functions+    Termbox.Bindings.Hs.Internal.Key+    Termbox.Bindings.Hs.Internal.OutputMode+    Termbox.Bindings.Hs.Internal.Prelude