Safe Haskell	Safe-Inferred
Language	Haskell2010

SDL.Raw.Types

Contents

Type Aliases
- Function Types
- Common Types
Data Structures

Synopsis

type VkGetInstanceProcAddrFunc = VkInstance -> CString -> IO (FunPtr ())
type AudioCallback = FunPtr (Ptr () -> Ptr Word8 -> CInt -> IO ())
type EventFilter = FunPtr (Ptr () -> Ptr Event -> IO CInt)
type HintCallback = FunPtr (Ptr () -> CString -> CString -> CString -> IO ())
type LogOutputFunction = FunPtr (Ptr () -> CInt -> LogPriority -> CString -> IO ())
type ThreadFunction = FunPtr (Ptr () -> IO CInt)
type TimerCallback = FunPtr (Word32 -> Ptr () -> IO Word32)
mkAudioCallback :: (Ptr () -> Ptr Word8 -> CInt -> IO ()) -> IO AudioCallback
mkEventFilter :: (Ptr () -> Ptr Event -> IO CInt) -> IO EventFilter
mkHintCallback :: (Ptr () -> CString -> CString -> CString -> IO ()) -> IO HintCallback
mkLogOutputFunction :: (Ptr () -> CInt -> LogPriority -> CString -> IO ()) -> IO LogOutputFunction
mkThreadFunction :: (Ptr () -> IO CInt) -> IO ThreadFunction
mkTimerCallback :: (Word32 -> Ptr () -> IO Word32) -> IO TimerCallback
type AudioDeviceID = Word32
type AudioFormat = Word16
type Cond = Ptr ()
type Cursor = Ptr ()
type FingerID = Int64
type GameController = Ptr ()
type GestureID = Int64
type GLContext = Ptr ()
type Haptic = Ptr ()
type Joystick = Ptr ()
type JoystickID = Int32
type Mutex = Ptr ()
type Renderer = Ptr ()
type Sem = Ptr ()
type SpinLock = CInt
type SysWMinfo = Ptr ()
type SysWMmsg = Ptr ()
type Texture = Ptr ()
type Thread = Ptr ()
type ThreadID = CULong
type TimerID = CInt
type TLSID = CUInt
type TouchID = Int64
type VkInstance = Ptr ()
type VkSurfaceKHR = Word64
type Window = Ptr ()
data Atomic = Atomic {
- atomicValue :: !CInt
}
data AudioCVT = AudioCVT {
- audioCVTNeeded :: !CInt
- audioCVTSrcFormat :: !AudioFormat
- audioCVTDstFormat :: !AudioFormat
- audioCVTRateIncr :: !CDouble
- audioCVTBuf :: !(Ptr Word8)
- audioCVTLen :: !CInt
- audioCVTLenCvt :: !CInt
- audioCVTLenMult :: !CInt
- audioCVTLenRatio :: !CDouble
}
data AudioSpec = AudioSpec {
- audioSpecFreq :: !CInt
- audioSpecFormat :: !AudioFormat
- audioSpecChannels :: !Word8
- audioSpecSilence :: !Word8
- audioSpecSamples :: !Word16
- audioSpecSize :: !Word32
- audioSpecCallback :: !AudioCallback
- audioSpecUserdata :: !(Ptr ())
}
data Color = Color {
- colorR :: !Word8
- colorG :: !Word8
- colorB :: !Word8
- colorA :: !Word8
}
data DisplayMode = DisplayMode {
- displayModeFormat :: !Word32
- displayModeW :: !CInt
- displayModeH :: !CInt
- displayModeRefreshRate :: !CInt
- displayModeDriverData :: !(Ptr ())
}
data Event
- = WindowEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - windowEventWindowID :: !Word32
  - windowEventEvent :: !Word8
  - windowEventData1 :: !Int32
  - windowEventData2 :: !Int32
  }
- | KeyboardEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - keyboardEventWindowID :: !Word32
  - keyboardEventState :: !Word8
  - keyboardEventRepeat :: !Word8
  - keyboardEventKeysym :: !Keysym
  }
- | TextEditingEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - textEditingEventWindowID :: !Word32
  - textEditingEventText :: ![CChar]
  - textEditingEventStart :: !Int32
  - textEditingEventLength :: !Int32
  }
- | TextInputEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - textInputEventWindowID :: !Word32
  - textInputEventText :: ![CChar]
  }
- | KeymapChangedEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  }
- | MouseMotionEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - mouseMotionEventWindowID :: !Word32
  - mouseMotionEventWhich :: !Word32
  - mouseMotionEventState :: !Word32
  - mouseMotionEventX :: !Int32
  - mouseMotionEventY :: !Int32
  - mouseMotionEventXRel :: !Int32
  - mouseMotionEventYRel :: !Int32
  }
- | MouseButtonEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - mouseButtonEventWindowID :: !Word32
  - mouseButtonEventWhich :: !Word32
  - mouseButtonEventButton :: !Word8
  - mouseButtonEventState :: !Word8
  - mouseButtonEventClicks :: !Word8
  - mouseButtonEventX :: !Int32
  - mouseButtonEventY :: !Int32
  }
- | MouseWheelEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - mouseWheelEventWindowID :: !Word32
  - mouseWheelEventWhich :: !Word32
  - mouseWheelEventX :: !Int32
  - mouseWheelEventY :: !Int32
  - mouseWheelEventDirection :: !Word32
  }
- | JoyAxisEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - joyAxisEventWhich :: !JoystickID
  - joyAxisEventAxis :: !Word8
  - joyAxisEventValue :: !Int16
  }
- | JoyBallEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - joyBallEventWhich :: !JoystickID
  - joyBallEventBall :: !Word8
  - joyBallEventXRel :: !Int16
  - joyBallEventYRel :: !Int16
  }
- | JoyHatEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - joyHatEventWhich :: !JoystickID
  - joyHatEventHat :: !Word8
  - joyHatEventValue :: !Word8
  }
- | JoyButtonEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - joyButtonEventWhich :: !JoystickID
  - joyButtonEventButton :: !Word8
  - joyButtonEventState :: !Word8
  }
- | JoyDeviceEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - joyDeviceEventWhich :: !Int32
  }
- | ControllerAxisEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - controllerAxisEventWhich :: !JoystickID
  - controllerAxisEventAxis :: !Word8
  - controllerAxisEventValue :: !Int16
  }
- | ControllerButtonEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - controllerButtonEventWhich :: !JoystickID
  - controllerButtonEventButton :: !Word8
  - controllerButtonEventState :: !Word8
  }
- | ControllerDeviceEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - controllerDeviceEventWhich :: !Int32
  }
- | AudioDeviceEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - audioDeviceEventWhich :: !Word32
  - audioDeviceEventIsCapture :: !Word8
  }
- | QuitEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  }
- | UserEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - userEventWindowID :: !Word32
  - userEventCode :: !Int32
  - userEventData1 :: !(Ptr ())
  - userEventData2 :: !(Ptr ())
  }
- | SysWMEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - sysWMEventMsg :: !SysWMmsg
  }
- | TouchFingerEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - touchFingerEventTouchID :: !TouchID
  - touchFingerEventFingerID :: !FingerID
  - touchFingerEventX :: !CFloat
  - touchFingerEventY :: !CFloat
  - touchFingerEventDX :: !CFloat
  - touchFingerEventDY :: !CFloat
  - touchFingerEventPressure :: !CFloat
  }
- | MultiGestureEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - multiGestureEventTouchID :: !TouchID
  - multiGestureEventDTheta :: !CFloat
  - multiGestureEventDDist :: !CFloat
  - multiGestureEventX :: !CFloat
  - multiGestureEventY :: !CFloat
  - multiGestureEventNumFingers :: !Word16
  }
- | DollarGestureEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - dollarGestureEventTouchID :: !TouchID
  - dollarGestureEventGestureID :: !GestureID
  - dollarGestureEventNumFingers :: !Word32
  - dollarGestureEventError :: !CFloat
  - dollarGestureEventX :: !CFloat
  - dollarGestureEventY :: !CFloat
  }
- | DropEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  - dropEventFile :: !CString
  }
- | ClipboardUpdateEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  }
- | UnknownEvent {
  - eventType :: !Word32
  - eventTimestamp :: !Word32
  }
data Finger = Finger {
- fingerID :: !FingerID
- fingerX :: !CFloat
- fingerY :: !CFloat
- fingerPressure :: !CFloat
}
data GameControllerButtonBind
- = GameControllerButtonBindNone
- | GameControllerButtonBindButton {
  - gameControllerButtonBindButton :: !CInt
  }
- | GameControllerButtonBindAxis {
  - gameControllerButtonBindAxis :: !CInt
  }
- | GameControllerButtonBindHat {
  - gameControllerButtonBindHat :: !CInt
  - gameControllerButtonBindHatMask :: !CInt
  }
data HapticDirection = HapticDirection {
- hapticDirectionType :: !Word8
- hapticDirectionX :: !Int32
- hapticDirectionY :: !Int32
- hapticDirectionZ :: !Int32
}
data HapticEffect
- = HapticConstant {
  - hapticEffectType :: !Word16
  - hapticConstantDirection :: !HapticDirection
  - hapticConstantLength :: !Word32
  - hapticConstantDelay :: !Word16
  - hapticConstantButton :: !Word16
  - hapticConstantInterval :: !Word16
  - hapticConstantLevel :: !Int16
  - hapticConstantAttackLength :: !Word16
  - hapticConstantAttackLevel :: !Word16
  - hapticConstantFadeLength :: !Word16
  - hapticConstantFadeLevel :: !Word16
  }
- | HapticPeriodic {
  - hapticEffectType :: !Word16
  - hapticPeriodicDirection :: !HapticDirection
  - hapticPeriodicLength :: !Word32
  - hapticPeriodicDelay :: !Word16
  - hapticPeriodicButton :: !Word16
  - hapticPeriodicInterval :: !Word16
  - hapticPeriodicPeriod :: !Word16
  - hapticPeriodicMagnitude :: !Int16
  - hapticPeriodicOffset :: !Int16
  - hapticPeriodicPhase :: !Word16
  - hapticPeriodicAttackLength :: !Word16
  - hapticPeriodicAttackLevel :: !Word16
  - hapticPeriodicFadeLength :: !Word16
  - hapticPeriodicFadeLevel :: !Word16
  }
- | HapticCondition {
  - hapticEffectType :: !Word16
  - hapticConditionLength :: !Word32
  - hapticConditionDelay :: !Word16
  - hapticConditionButton :: !Word16
  - hapticConditionInterval :: !Word16
  - hapticConditionRightSat :: ![Word16]
  - hapticConditionLeftSat :: ![Word16]
  - hapticConditionRightCoeff :: ![Int16]
  - hapticConditionLeftCoeff :: ![Int16]
  - hapticConditionDeadband :: ![Word16]
  - hapticConditionCenter :: ![Int16]
  }
- | HapticRamp {
  - hapticEffectType :: !Word16
  - hapticRampDirection :: !HapticDirection
  - hapticRampLength :: !Word32
  - hapticRampDelay :: !Word16
  - hapticRampButton :: !Word16
  - hapticRampInterval :: !Word16
  - hapticRampStart :: !Int16
  - hapticRampEnd :: !Int16
  - hapticRampAttackLength :: !Word16
  - hapticRampAttackLevel :: !Word16
  - hapticRampFadeLength :: !Word16
  - hapticRampFadeLevel :: !Word16
  }
- | HapticLeftRight {
  - hapticEffectType :: !Word16
  - hapticLeftRightLength :: !Word32
  - hapticLeftRightLargeMagnitude :: !Word16
  - hapticLeftRightSmallMagnitude :: !Word16
  }
- | HapticCustom {
  - hapticEffectType :: !Word16
  - hapticCustomDirection :: !HapticDirection
  - hapticCustomLength :: !Word32
  - hapticCustomDelay :: !Word16
  - hapticCustomButton :: !Word16
  - hapticCustomInterval :: !Word16
  - hapticCustomChannels :: !Word8
  - hapticCustomPeriod :: !Word16
  - hapticCustomSamples :: !Word16
  - hapticCustomData :: !(Ptr Word16)
  - hapticCustomAttackLength :: !Word16
  - hapticCustomAttackLevel :: !Word16
  - hapticCustomFadeLength :: !Word16
  - hapticCustomFadeLevel :: !Word16
  }
data JoystickGUID = JoystickGUID {
- joystickGUID :: ![Word8]
}
data Keysym = Keysym {
- keysymScancode :: !Scancode
- keysymKeycode :: !Keycode
- keysymMod :: !Word16
}
data MessageBoxButtonData = MessageBoxButtonData {
- messageBoxButtonDataFlags :: !Word32
- messageBoxButtonButtonID :: !CInt
- messageBoxButtonText :: !CString
}
data MessageBoxColor = MessageBoxColor {
- messageBoxColorR :: !Word8
- messageBoxColorG :: !Word8
- messageBoxColorB :: !Word8
}
data MessageBoxColorScheme = MessageBoxColorScheme {
- messageBoxColorSchemeColorBackground :: !MessageBoxColor
- messageBoxColorSchemeColorText :: !MessageBoxColor
- messageBoxColorSchemeColorButtonBorder :: !MessageBoxColor
- messageBoxColorSchemeColorButtonBackground :: !MessageBoxColor
- messageBoxColorSchemeColorButtonSelected :: !MessageBoxColor
}
data MessageBoxData = MessageBoxData {
- messageBoxDataFlags :: !Word32
- messageBoxDataWindow :: !Window
- messageBoxDataTitle :: !CString
- messageBoxDataMessage :: !CString
- messageBoxDataNumButtons :: !CInt
- messageBoxDataButtons :: !(Ptr MessageBoxButtonData)
- messageBoxDataColorScheme :: !(Ptr MessageBoxColorScheme)
}
data Palette = Palette {
- paletteNColors :: !CInt
- paletteColors :: !(Ptr Color)
}
data PixelFormat = PixelFormat {
- pixelFormatFormat :: !Word32
- pixelFormatPalette :: !(Ptr Palette)
- pixelFormatBitsPerPixel :: !Word8
- pixelFormatBytesPerPixel :: !Word8
- pixelFormatRMask :: !Word32
- pixelFormatGMask :: !Word32
- pixelFormatBMask :: !Word32
- pixelFormatAMask :: !Word32
}
data Point = Point {
- pointX :: !CInt
- pointY :: !CInt
}
data Rect = Rect {
- rectX :: !CInt
- rectY :: !CInt
- rectW :: !CInt
- rectH :: !CInt
}
data FPoint = FPoint {
- fPointX :: !CFloat
- fPointY :: !CFloat
}
data FRect = FRect {
- fRectX :: !CFloat
- fRectY :: !CFloat
- fRectW :: !CFloat
- fRectH :: !CFloat
}
data RendererInfo = RendererInfo {
- rendererInfoName :: !CString
- rendererInfoFlags :: !Word32
- rendererInfoNumTextureFormats :: !Word32
- rendererInfoTextureFormats :: ![Word32]
- rendererInfoMaxTextureWidth :: !CInt
- rendererInfoMaxTextureHeight :: !CInt
}
data RWops = RWops {
- rwopsSize :: !(FunPtr (Ptr RWops -> IO Int64))
- rwopsSeek :: !(FunPtr (Ptr RWops -> Int64 -> CInt -> IO Int64))
- rwopsRead :: !(FunPtr (Ptr RWops -> Ptr () -> CSize -> CSize -> IO CSize))
- rwopsWrite :: !(FunPtr (Ptr RWops -> Ptr () -> CSize -> CSize -> IO CSize))
- rwopsClose :: !(FunPtr (Ptr RWops -> IO CInt))
- rwopsType :: !Word32
}
data Surface = Surface {
- surfaceFormat :: !(Ptr PixelFormat)
- surfaceW :: !CInt
- surfaceH :: !CInt
- surfacePixels :: !(Ptr ())
- surfaceUserdata :: !(Ptr ())
- surfaceClipRect :: !Rect
- surfaceRefcount :: !CInt
}
data Version = Version {
- versionMajor :: !Word8
- versionMinor :: !Word8
- versionPatch :: !Word8
}

Type Aliases

Function Types

type VkGetInstanceProcAddrFunc = VkInstance -> CString -> IO (FunPtr ()) Source #

type AudioCallback = FunPtr (Ptr () -> Ptr Word8 -> CInt -> IO ()) Source #

type EventFilter = FunPtr (Ptr () -> Ptr Event -> IO CInt) Source #

type HintCallback = FunPtr (Ptr () -> CString -> CString -> CString -> IO ()) Source #

type LogOutputFunction = FunPtr (Ptr () -> CInt -> LogPriority -> CString -> IO ()) Source #

type ThreadFunction = FunPtr (Ptr () -> IO CInt) Source #

type TimerCallback = FunPtr (Word32 -> Ptr () -> IO Word32) Source #

mkAudioCallback :: (Ptr () -> Ptr Word8 -> CInt -> IO ()) -> IO AudioCallback Source #