{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
module MiniLight.Event (
Event (..),
EventType (..),
signal,
asSignal,
) where
import qualified SDL
import Data.Aeson
import qualified Data.HashMap.Strict as HM
import qualified Data.Text as T
import Data.Type.Equality
import Type.Reflection
import qualified System.FSNotify as Notify
class Typeable e => EventType e where
getEventType :: e -> T.Text
default getEventType :: Show e => e -> T.Text
getEventType = T.pack . show
getEventProperties :: e -> Object
getEventProperties _ = HM.empty
data Dynamic where
Dynamic :: forall a. EventType a => TypeRep a -> a -> Dynamic
toDyn :: EventType a => a -> Dynamic
toDyn v = Dynamic typeRep v
fromDynamic :: forall a . (EventType a) => Dynamic -> Maybe a
fromDynamic (Dynamic t v) | Just HRefl <- t `eqTypeRep` rep = Just v
| otherwise = Nothing
where rep = typeRep :: TypeRep a
data Event
= Signal T.Text Dynamic
| GlobalSignal T.Text Value
| RawEvent SDL.Event
| NotifyEvent Notify.Event
signal :: EventType a => T.Text -> a -> Event
signal t v = Signal t (toDyn v)
asSignal :: EventType a => Event -> T.Text -> Maybe a
asSignal (Signal t1 v) t2 | t1 == t2 = fromDynamic v
asSignal _ _ = Nothing