{-# LANGUAGE DeriveDataTypeable #-}

module GHCJS.Concurrent ( OnBlocked(..)
                        , WouldBlockException(..)
                        ) where

import           GHCJS.Prim

import           Data.Data

{- |
     The runtime tries to run synchronous threads to completion. Sometimes it's
     not possible to continue running a thread, for example when the thread
     tries to take an empty 'MVar'. The runtime can then either throw a
     'WouldBlockException', aborting the blocking action, or continue the
     thread asynchronously.
 -}

data OnBlocked = ContinueAsync -- ^ continue the thread asynchronously if blocked
               | ThrowWouldBlock -- ^ throw 'WouldBlockException' if blocked
               deriving (Typeable OnBlocked
Typeable OnBlocked =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> OnBlocked -> c OnBlocked)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c OnBlocked)
-> (OnBlocked -> Constr)
-> (OnBlocked -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c OnBlocked))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OnBlocked))
-> ((forall b. Data b => b -> b) -> OnBlocked -> OnBlocked)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> OnBlocked -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> OnBlocked -> r)
-> (forall u. (forall d. Data d => d -> u) -> OnBlocked -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> OnBlocked -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> OnBlocked -> m OnBlocked)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> OnBlocked -> m OnBlocked)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> OnBlocked -> m OnBlocked)
-> Data OnBlocked
OnBlocked -> Constr
OnBlocked -> DataType
(forall b. Data b => b -> b) -> OnBlocked -> OnBlocked
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> OnBlocked -> u
forall u. (forall d. Data d => d -> u) -> OnBlocked -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> OnBlocked -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> OnBlocked -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> OnBlocked -> m OnBlocked
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> OnBlocked -> m OnBlocked
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c OnBlocked
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> OnBlocked -> c OnBlocked
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c OnBlocked)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OnBlocked)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> OnBlocked -> c OnBlocked
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> OnBlocked -> c OnBlocked
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c OnBlocked
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c OnBlocked
$ctoConstr :: OnBlocked -> Constr
toConstr :: OnBlocked -> Constr
$cdataTypeOf :: OnBlocked -> DataType
dataTypeOf :: OnBlocked -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c OnBlocked)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c OnBlocked)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OnBlocked)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OnBlocked)
$cgmapT :: (forall b. Data b => b -> b) -> OnBlocked -> OnBlocked
gmapT :: (forall b. Data b => b -> b) -> OnBlocked -> OnBlocked
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> OnBlocked -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> OnBlocked -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> OnBlocked -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> OnBlocked -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> OnBlocked -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> OnBlocked -> [u]
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> OnBlocked -> u
gmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> OnBlocked -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> OnBlocked -> m OnBlocked
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> OnBlocked -> m OnBlocked
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> OnBlocked -> m OnBlocked
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> OnBlocked -> m OnBlocked
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> OnBlocked -> m OnBlocked
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> OnBlocked -> m OnBlocked
Data, Typeable, Int -> OnBlocked
OnBlocked -> Int
OnBlocked -> [OnBlocked]
OnBlocked -> OnBlocked
OnBlocked -> OnBlocked -> [OnBlocked]
OnBlocked -> OnBlocked -> OnBlocked -> [OnBlocked]
(OnBlocked -> OnBlocked)
-> (OnBlocked -> OnBlocked)
-> (Int -> OnBlocked)
-> (OnBlocked -> Int)
-> (OnBlocked -> [OnBlocked])
-> (OnBlocked -> OnBlocked -> [OnBlocked])
-> (OnBlocked -> OnBlocked -> [OnBlocked])
-> (OnBlocked -> OnBlocked -> OnBlocked -> [OnBlocked])
-> Enum OnBlocked
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
$csucc :: OnBlocked -> OnBlocked
succ :: OnBlocked -> OnBlocked
$cpred :: OnBlocked -> OnBlocked
pred :: OnBlocked -> OnBlocked
$ctoEnum :: Int -> OnBlocked
toEnum :: Int -> OnBlocked
$cfromEnum :: OnBlocked -> Int
fromEnum :: OnBlocked -> Int
$cenumFrom :: OnBlocked -> [OnBlocked]
enumFrom :: OnBlocked -> [OnBlocked]
$cenumFromThen :: OnBlocked -> OnBlocked -> [OnBlocked]
enumFromThen :: OnBlocked -> OnBlocked -> [OnBlocked]
$cenumFromTo :: OnBlocked -> OnBlocked -> [OnBlocked]
enumFromTo :: OnBlocked -> OnBlocked -> [OnBlocked]
$cenumFromThenTo :: OnBlocked -> OnBlocked -> OnBlocked -> [OnBlocked]
enumFromThenTo :: OnBlocked -> OnBlocked -> OnBlocked -> [OnBlocked]
Enum, Int -> OnBlocked -> ShowS
[OnBlocked] -> ShowS
OnBlocked -> String
(Int -> OnBlocked -> ShowS)
-> (OnBlocked -> String)
-> ([OnBlocked] -> ShowS)
-> Show OnBlocked
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> OnBlocked -> ShowS
showsPrec :: Int -> OnBlocked -> ShowS
$cshow :: OnBlocked -> String
show :: OnBlocked -> String
$cshowList :: [OnBlocked] -> ShowS
showList :: [OnBlocked] -> ShowS
Show, OnBlocked -> OnBlocked -> Bool
(OnBlocked -> OnBlocked -> Bool)
-> (OnBlocked -> OnBlocked -> Bool) -> Eq OnBlocked
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: OnBlocked -> OnBlocked -> Bool
== :: OnBlocked -> OnBlocked -> Bool
$c/= :: OnBlocked -> OnBlocked -> Bool
/= :: OnBlocked -> OnBlocked -> Bool
Eq, Eq OnBlocked
Eq OnBlocked =>
(OnBlocked -> OnBlocked -> Ordering)
-> (OnBlocked -> OnBlocked -> Bool)
-> (OnBlocked -> OnBlocked -> Bool)
-> (OnBlocked -> OnBlocked -> Bool)
-> (OnBlocked -> OnBlocked -> Bool)
-> (OnBlocked -> OnBlocked -> OnBlocked)
-> (OnBlocked -> OnBlocked -> OnBlocked)
-> Ord OnBlocked
OnBlocked -> OnBlocked -> Bool
OnBlocked -> OnBlocked -> Ordering
OnBlocked -> OnBlocked -> OnBlocked
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
$ccompare :: OnBlocked -> OnBlocked -> Ordering
compare :: OnBlocked -> OnBlocked -> Ordering
$c< :: OnBlocked -> OnBlocked -> Bool
< :: OnBlocked -> OnBlocked -> Bool
$c<= :: OnBlocked -> OnBlocked -> Bool
<= :: OnBlocked -> OnBlocked -> Bool
$c> :: OnBlocked -> OnBlocked -> Bool
> :: OnBlocked -> OnBlocked -> Bool
$c>= :: OnBlocked -> OnBlocked -> Bool
>= :: OnBlocked -> OnBlocked -> Bool
$cmax :: OnBlocked -> OnBlocked -> OnBlocked
max :: OnBlocked -> OnBlocked -> OnBlocked
$cmin :: OnBlocked -> OnBlocked -> OnBlocked
min :: OnBlocked -> OnBlocked -> OnBlocked
Ord)