moffy-0.1.0.0: src/Control/Moffy/Handle/ThreadId.hs
{-# LANGUAGE PatternSynonyms #-}
{-# OPTIONS_GHC -Wall -fno-warn-tabs #-}
module Control.Moffy.Handle.ThreadId (
-- * GetThreadId
GetThreadId,
-- * Handle
handleGetThreadId ) where
import Control.Moffy.Event.ThreadId (GetThreadId, pattern OccGetThreadId)
import Control.Moffy.Handle (Handle')
import Data.Type.Set (Singleton)
import Data.OneOrMoreApp
---------------------------------------------------------------------------
handleGetThreadId :: Applicative m => Handle' m (Singleton GetThreadId)
handleGetThreadId _rqs = pure . Just $ Singleton OccGetThreadId