rainynite-linaer/GLFW/Types.agda

{-# OPTIONS --without-K #-}

{- NOTE: This file is semi-automatically generated from GLFW haskell code
   editing it by hand is boring and error-prone, we should really have a
   universal bindings generator instead
 -}

module GLFW.Types where

data Key : Set where
  Key'Unknown Key'Space Key'Apostrophe Key'Comma Key'Minus Key'Period Key'Slash Key'0 Key'1 Key'2 Key'3 Key'4 Key'5 Key'6 Key'7 Key'8 Key'9 Key'Semicolon Key'Equal Key'A Key'B Key'C Key'D Key'E Key'F Key'G Key'H Key'I Key'J Key'K Key'L Key'M Key'N Key'O Key'P Key'Q Key'R Key'S Key'T Key'U Key'V Key'W Key'X Key'Y Key'Z Key'LeftBracket Key'Backslash Key'RightBracket Key'GraveAccent Key'World1 Key'World2 Key'Escape Key'Enter Key'Tab Key'Backspace Key'Insert Key'Delete Key'Right Key'Left Key'Down Key'Up Key'PageUp Key'PageDown Key'Home Key'End Key'CapsLock Key'ScrollLock Key'NumLock Key'PrintScreen Key'Pause Key'F1 Key'F2 Key'F3 Key'F4 Key'F5 Key'F6 Key'F7 Key'F8 Key'F9 Key'F10 Key'F11 Key'F12 Key'F13 Key'F14 Key'F15 Key'F16 Key'F17 Key'F18 Key'F19 Key'F20 Key'F21 Key'F22 Key'F23 Key'F24 Key'F25 Key'Pad0 Key'Pad1 Key'Pad2 Key'Pad3 Key'Pad4 Key'Pad5 Key'Pad6 Key'Pad7 Key'Pad8 Key'Pad9 Key'PadDecimal Key'PadDivide Key'PadMultiply Key'PadSubtract Key'PadAdd Key'PadEnter Key'PadEqual Key'LeftShift Key'LeftControl Key'LeftAlt Key'LeftSuper Key'RightShift Key'RightControl Key'RightAlt Key'RightSuper Key'Menu : Key

data KeyState : Set where
  KeyState'Pressed KeyState'Released KeyState'Repeating : KeyState

data MouseButton : Set where
  MouseButton'1 MouseButton'2 MouseButton'3 MouseButton'4 MouseButton'5 MouseButton'6 MouseButton'7 MouseButton'8 : MouseButton

data MouseButtonState : Set where
  MouseButtonState'Pressed MouseButtonState'Released : MouseButtonState

{-# FOREIGN GHC import Graphics.UI.GLFW #-}

{-# COMPILE GHC Key = data Key (Key'Unknown | Key'Space | Key'Apostrophe | Key'Comma | Key'Minus | Key'Period | Key'Slash | Key'0 | Key'1 | Key'2 | Key'3 | Key'4 | Key'5 | Key'6 | Key'7 | Key'8 | Key'9 | Key'Semicolon | Key'Equal | Key'A | Key'B | Key'C | Key'D | Key'E | Key'F | Key'G | Key'H | Key'I | Key'J | Key'K | Key'L | Key'M | Key'N | Key'O | Key'P | Key'Q | Key'R | Key'S | Key'T | Key'U | Key'V | Key'W | Key'X | Key'Y | Key'Z | Key'LeftBracket | Key'Backslash | Key'RightBracket | Key'GraveAccent | Key'World1 | Key'World2 | Key'Escape | Key'Enter | Key'Tab | Key'Backspace | Key'Insert | Key'Delete | Key'Right | Key'Left | Key'Down | Key'Up | Key'PageUp | Key'PageDown | Key'Home | Key'End | Key'CapsLock | Key'ScrollLock | Key'NumLock | Key'PrintScreen | Key'Pause | Key'F1 | Key'F2 | Key'F3 | Key'F4 | Key'F5 | Key'F6 | Key'F7 | Key'F8 | Key'F9 | Key'F10 | Key'F11 | Key'F12 | Key'F13 | Key'F14 | Key'F15 | Key'F16 | Key'F17 | Key'F18 | Key'F19 | Key'F20 | Key'F21 | Key'F22 | Key'F23 | Key'F24 | Key'F25 | Key'Pad0 | Key'Pad1 | Key'Pad2 | Key'Pad3 | Key'Pad4 | Key'Pad5 | Key'Pad6 | Key'Pad7 | Key'Pad8 | Key'Pad9 | Key'PadDecimal | Key'PadDivide | Key'PadMultiply | Key'PadSubtract | Key'PadAdd | Key'PadEnter | Key'PadEqual | Key'LeftShift | Key'LeftControl | Key'LeftAlt | Key'LeftSuper | Key'RightShift | Key'RightControl | Key'RightAlt | Key'RightSuper | Key'Menu) #-}

{-# COMPILE GHC KeyState = data KeyState (KeyState'Pressed | KeyState'Released | KeyState'Repeating) #-}

{-# COMPILE GHC MouseButton = data MouseButton (MouseButton'1 | MouseButton'2 | MouseButton'3 | MouseButton'4 | MouseButton'5 | MouseButton'6 | MouseButton'7 | MouseButton'8) #-}

{-# COMPILE GHC MouseButtonState = data MouseButtonState (MouseButtonState'Pressed | MouseButtonState'Released) #-}