Reflex.SDL2.Base

Documentation

newtype ReflexSDL2T t (m :: Type -> Type) a

Provides an implementation of the HasSDL2Events type class.

Constructors

ReflexSDL2T

Fields

• unReflexSDL2T :: ReaderT (SystemEvents t) m a

Instances

(ReflexHost t, MonadHold t m) => MonadHold (t :: Type) (ReflexSDL2T t m)

ReflexSDL2T is an instance of MonadHold.

Defined in Reflex.SDL2.Base

Methods

hold :: a -> Event t a -> ReflexSDL2T t m (Behavior t a)

holdDyn :: a -> Event t a -> ReflexSDL2T t m (Dynamic t a)

holdIncremental :: Patch p => PatchTarget p -> Event t p -> ReflexSDL2T t m (Incremental t p)

buildDynamic :: PushM t a -> Event t a -> ReflexSDL2T t m (Dynamic t a)

headE :: Event t a -> ReflexSDL2T t m (Event t a)

now :: ReflexSDL2T t m (Event t ())

(ReflexHost t, Applicative m, Monad m, MonadSample t m) => MonadSample (t :: Type) (ReflexSDL2T t m)

ReflexSDL2T is an instance of MonadHold.

Defined in Reflex.SDL2.Base

Methods

sample :: Behavior t a -> ReflexSDL2T t m a

(ReflexHost t, Monad m) => HasSDL2Events t (ReflexSDL2T t m)

Defined in Reflex.SDL2.Base

Methods

getTicksEvent :: ReflexSDL2T t m (Event t Word32)

getAnySDLEvent :: ReflexSDL2T t m (Event t EventPayload)

getWindowShownEvent :: ReflexSDL2T t m (Event t WindowShownEventData)

getWindowHiddenEvent :: ReflexSDL2T t m (Event t WindowHiddenEventData)

getWindowExposedEvent :: ReflexSDL2T t m (Event t WindowExposedEventData)

getWindowMovedEvent :: ReflexSDL2T t m (Event t WindowMovedEventData)

getWindowResizedEvent :: ReflexSDL2T t m (Event t WindowResizedEventData)

getWindowSizeChangedEvent :: ReflexSDL2T t m (Event t WindowSizeChangedEventData)

getWindowMinimizedEvent :: ReflexSDL2T t m (Event t WindowMinimizedEventData)

getWindowMaximizedEvent :: ReflexSDL2T t m (Event t WindowMaximizedEventData)

getWindowRestoredEvent :: ReflexSDL2T t m (Event t WindowRestoredEventData)

getWindowGainedMouseFocusEvent :: ReflexSDL2T t m (Event t WindowGainedMouseFocusEventData)

getWindowLostMouseFocusEvent :: ReflexSDL2T t m (Event t WindowLostMouseFocusEventData)

getWindowGainedKeyboardFocusEvent :: ReflexSDL2T t m (Event t WindowGainedKeyboardFocusEventData)

getWindowLostKeyboardFocusEvent :: ReflexSDL2T t m (Event t WindowLostKeyboardFocusEventData)

getWindowClosedEvent :: ReflexSDL2T t m (Event t WindowClosedEventData)

getKeyboardEvent :: ReflexSDL2T t m (Event t KeyboardEventData)

getTextEditingEvent :: ReflexSDL2T t m (Event t TextEditingEventData)

getTextInputEvent :: ReflexSDL2T t m (Event t TextInputEventData)

getKeymapChangedEvent :: ReflexSDL2T t m (Event t ())

getMouseMotionEvent :: ReflexSDL2T t m (Event t MouseMotionEventData)

getMouseButtonEvent :: ReflexSDL2T t m (Event t MouseButtonEventData)

getMouseWheelEvent :: ReflexSDL2T t m (Event t MouseWheelEventData)

getJoyAxisEvent :: ReflexSDL2T t m (Event t JoyAxisEventData)

getJoyBallEvent :: ReflexSDL2T t m (Event t JoyBallEventData)

getJoyHatEvent :: ReflexSDL2T t m (Event t JoyHatEventData)

getJoyButtonEvent :: ReflexSDL2T t m (Event t JoyButtonEventData)

getJoyDeviceEvent :: ReflexSDL2T t m (Event t JoyDeviceEventData)

getControllerAxisEvent :: ReflexSDL2T t m (Event t ControllerAxisEventData)

getControllerButtonEvent :: ReflexSDL2T t m (Event t ControllerButtonEventData)

getControllerDeviceEvent :: ReflexSDL2T t m (Event t ControllerDeviceEventData)

getAudioDeviceEvent :: ReflexSDL2T t m (Event t AudioDeviceEventData)

getQuitEvent :: ReflexSDL2T t m (Event t ())

getUserEvent :: ReflexSDL2T t m (Event t UserEventData)

getSysWMEvent :: ReflexSDL2T t m (Event t SysWMEventData)

getTouchFingerEvent :: ReflexSDL2T t m (Event t TouchFingerEventData)

getMultiGestureEvent :: ReflexSDL2T t m (Event t MultiGestureEventData)

getDollarGestureEvent :: ReflexSDL2T t m (Event t DollarGestureEventData)

getDropEvent :: ReflexSDL2T t m (Event t DropEventData)

getClipboardUpdateEvent :: ReflexSDL2T t m (Event t ())

getUnknownEvent :: ReflexSDL2T t m (Event t UnknownEventData)

getQuitVar :: ReflexSDL2T t m (MVar ())

(Reflex t, ReflexHost t, Adjustable t m, Monad m) => Adjustable t (ReflexSDL2T t m)

ReflexSDL2T is an instance of Adjustable.

Defined in Reflex.SDL2.Base

Methods

runWithReplace :: ReflexSDL2T t m a -> Event t (ReflexSDL2T t m b) -> ReflexSDL2T t m (a, Event t b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> ReflexSDL2T t m v') -> IntMap v -> Event t (PatchIntMap v) -> ReflexSDL2T t m (IntMap v', Event t (PatchIntMap v'))

traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> ReflexSDL2T t m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> ReflexSDL2T t m (DMap k v', Event t (PatchDMap k v'))

traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> ReflexSDL2T t m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> ReflexSDL2T t m (DMap k v', Event t (PatchDMapWithMove k v'))

(ReflexHost t, PerformEvent t m) => PerformEvent t (ReflexSDL2T t m)

ReflexSDL2T is an instance of PerformEvent.

Defined in Reflex.SDL2.Base

Associated Types

type Performable (ReflexSDL2T t m) :: Type -> Type

Methods

performEvent :: Event t (Performable (ReflexSDL2T t m) a) -> ReflexSDL2T t m (Event t a)

performEvent_ :: Event t (Performable (ReflexSDL2T t m) ()) -> ReflexSDL2T t m ()

(Reflex t, PostBuild t m, ReflexHost t, Monad m) => PostBuild t (ReflexSDL2T t m)

ReflexSDL2T is an instance of PostBuild.

Defined in Reflex.SDL2.Base

Methods

getPostBuild :: ReflexSDL2T t m (Event t ())

(ReflexHost t, TriggerEvent t m) => TriggerEvent t (ReflexSDL2T t m)

Defined in Reflex.SDL2.Base

Methods

newTriggerEvent :: ReflexSDL2T t m (Event t a, a -> IO ())

newTriggerEventWithOnComplete :: ReflexSDL2T t m (Event t a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> ReflexSDL2T t m (Event t a)

ReflexHost t => MonadTrans (ReflexSDL2T t)

Defined in Reflex.SDL2.Base

Methods

lift :: Monad m => m a -> ReflexSDL2T t m a

(ReflexHost t, MonadFix m) => MonadFix (ReflexSDL2T t m)

Defined in Reflex.SDL2.Base

Methods

mfix :: (a -> ReflexSDL2T t m a) -> ReflexSDL2T t m a

(ReflexHost t, MonadIO m) => MonadIO (ReflexSDL2T t m)

Defined in Reflex.SDL2.Base

Methods

liftIO :: IO a -> ReflexSDL2T t m a

(ReflexHost t, Applicative m) => Applicative (ReflexSDL2T t m)

Defined in Reflex.SDL2.Base

Methods

pure :: a -> ReflexSDL2T t m a

(<*>) :: ReflexSDL2T t m (a -> b) -> ReflexSDL2T t m a -> ReflexSDL2T t m b

liftA2 :: (a -> b -> c) -> ReflexSDL2T t m a -> ReflexSDL2T t m b -> ReflexSDL2T t m c

(*>) :: ReflexSDL2T t m a -> ReflexSDL2T t m b -> ReflexSDL2T t m b

(<*) :: ReflexSDL2T t m a -> ReflexSDL2T t m b -> ReflexSDL2T t m a

(ReflexHost t, Functor m) => Functor (ReflexSDL2T t m)

Defined in Reflex.SDL2.Base

Methods

fmap :: (a -> b) -> ReflexSDL2T t m a -> ReflexSDL2T t m b

(<$) :: a -> ReflexSDL2T t m b -> ReflexSDL2T t m a

(ReflexHost t, Monad m) => Monad (ReflexSDL2T t m)

Defined in Reflex.SDL2.Base

Methods

(>>=) :: ReflexSDL2T t m a -> (a -> ReflexSDL2T t m b) -> ReflexSDL2T t m b

(>>) :: ReflexSDL2T t m a -> ReflexSDL2T t m b -> ReflexSDL2T t m b

return :: a -> ReflexSDL2T t m a

(ReflexHost t, MonadException m) => MonadException (ReflexSDL2T t m)

Defined in Reflex.SDL2.Base

Methods

throw :: Exception e => e -> ReflexSDL2T t m a

catch :: Exception e => ReflexSDL2T t m a -> (e -> ReflexSDL2T t m a) -> ReflexSDL2T t m a

finally :: ReflexSDL2T t m a -> ReflexSDL2T t m b -> ReflexSDL2T t m a

type Performable (ReflexSDL2T t m)

Defined in Reflex.SDL2.Base

type Performable (ReflexSDL2T t m) = ReflexSDL2T t (Performable m)

runReflexSDL2T :: ReflexSDL2T t m a -> SystemEvents t -> m a