module Graphics.UI.GLUT.GameMode (
GameModeCapability(..), GameModeCapabilityDescription(..),
gameModeCapabilities, enterGameMode, leaveGameMode,
BitsPerPlane, RefreshRate, GameModeInfo(..), gameModeInfo,
gameModeActive
) where
import Control.Monad.IO.Class ( MonadIO(..) )
import Data.List ( intersperse )
import Data.StateVar ( GettableStateVar, makeGettableStateVar
, SettableStateVar, makeSettableStateVar )
import Foreign.C.String ( withCString )
import Graphics.Rendering.OpenGL ( Size(..), GLenum )
import Graphics.UI.GLUT.Raw
import Graphics.UI.GLUT.Types
data GameModeCapability
= GameModeWidth
| GameModeHeight
| GameModeBitsPerPlane
| GameModeRefreshRate
| GameModeNum
deriving ( GameModeCapability -> GameModeCapability -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: GameModeCapability -> GameModeCapability -> Bool
$c/= :: GameModeCapability -> GameModeCapability -> Bool
== :: GameModeCapability -> GameModeCapability -> Bool
$c== :: GameModeCapability -> GameModeCapability -> Bool
Eq, Eq GameModeCapability
GameModeCapability -> GameModeCapability -> Bool
GameModeCapability -> GameModeCapability -> Ordering
GameModeCapability -> GameModeCapability -> GameModeCapability
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
min :: GameModeCapability -> GameModeCapability -> GameModeCapability
$cmin :: GameModeCapability -> GameModeCapability -> GameModeCapability
max :: GameModeCapability -> GameModeCapability -> GameModeCapability
$cmax :: GameModeCapability -> GameModeCapability -> GameModeCapability
>= :: GameModeCapability -> GameModeCapability -> Bool
$c>= :: GameModeCapability -> GameModeCapability -> Bool
> :: GameModeCapability -> GameModeCapability -> Bool
$c> :: GameModeCapability -> GameModeCapability -> Bool
<= :: GameModeCapability -> GameModeCapability -> Bool
$c<= :: GameModeCapability -> GameModeCapability -> Bool
< :: GameModeCapability -> GameModeCapability -> Bool
$c< :: GameModeCapability -> GameModeCapability -> Bool
compare :: GameModeCapability -> GameModeCapability -> Ordering
$ccompare :: GameModeCapability -> GameModeCapability -> Ordering
Ord, BitsPerPlane -> GameModeCapability -> ShowS
[GameModeCapability] -> ShowS
GameModeCapability -> String
forall a.
(BitsPerPlane -> a -> ShowS)
-> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [GameModeCapability] -> ShowS
$cshowList :: [GameModeCapability] -> ShowS
show :: GameModeCapability -> String
$cshow :: GameModeCapability -> String
showsPrec :: BitsPerPlane -> GameModeCapability -> ShowS
$cshowsPrec :: BitsPerPlane -> GameModeCapability -> ShowS
Show )
gameModeCapabilityToString :: GameModeCapability -> String
gameModeCapabilityToString :: GameModeCapability -> String
gameModeCapabilityToString GameModeCapability
x = case GameModeCapability
x of
GameModeCapability
GameModeWidth -> String
"width"
GameModeCapability
GameModeHeight -> String
"height"
GameModeCapability
GameModeBitsPerPlane -> String
"bpp"
GameModeCapability
GameModeRefreshRate -> String
"hertz"
GameModeCapability
GameModeNum -> String
"num"
data GameModeCapabilityDescription = Where' GameModeCapability Relation Int
deriving ( GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
$c/= :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
== :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
$c== :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
Eq, Eq GameModeCapabilityDescription
GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Ordering
GameModeCapabilityDescription
-> GameModeCapabilityDescription -> GameModeCapabilityDescription
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
min :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> GameModeCapabilityDescription
$cmin :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> GameModeCapabilityDescription
max :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> GameModeCapabilityDescription
$cmax :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> GameModeCapabilityDescription
>= :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
$c>= :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
> :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
$c> :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
<= :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
$c<= :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
< :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
$c< :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Bool
compare :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Ordering
$ccompare :: GameModeCapabilityDescription
-> GameModeCapabilityDescription -> Ordering
Ord, BitsPerPlane -> GameModeCapabilityDescription -> ShowS
[GameModeCapabilityDescription] -> ShowS
GameModeCapabilityDescription -> String
forall a.
(BitsPerPlane -> a -> ShowS)
-> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [GameModeCapabilityDescription] -> ShowS
$cshowList :: [GameModeCapabilityDescription] -> ShowS
show :: GameModeCapabilityDescription -> String
$cshow :: GameModeCapabilityDescription -> String
showsPrec :: BitsPerPlane -> GameModeCapabilityDescription -> ShowS
$cshowsPrec :: BitsPerPlane -> GameModeCapabilityDescription -> ShowS
Show )
gameModeCapabilityDescriptionToString :: GameModeCapabilityDescription -> String
gameModeCapabilityDescriptionToString :: GameModeCapabilityDescription -> String
gameModeCapabilityDescriptionToString (Where' GameModeCapability
c Relation
r BitsPerPlane
i) =
GameModeCapability -> String
gameModeCapabilityToString GameModeCapability
c forall a. [a] -> [a] -> [a]
++ Relation -> String
relationToString Relation
r forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> String
show BitsPerPlane
i
gameModeCapabilities :: SettableStateVar [GameModeCapabilityDescription]
gameModeCapabilities :: SettableStateVar [GameModeCapabilityDescription]
gameModeCapabilities = forall a. (a -> IO ()) -> SettableStateVar a
makeSettableStateVar forall a b. (a -> b) -> a -> b
$ \[GameModeCapabilityDescription]
ds ->
forall a. String -> (CString -> IO a) -> IO a
withCString ([GameModeCapabilityDescription] -> String
descriptionsToString [GameModeCapabilityDescription]
ds) forall (m :: * -> *). MonadIO m => CString -> m ()
glutGameModeString
descriptionsToString :: [GameModeCapabilityDescription] -> String
descriptionsToString :: [GameModeCapabilityDescription] -> String
descriptionsToString [GameModeCapabilityDescription]
ds =
let ws :: [BitsPerPlane]
ws = [ BitsPerPlane
x | Where' GameModeCapability
GameModeWidth Relation
IsEqualTo BitsPerPlane
x <- [GameModeCapabilityDescription]
ds ]
hs :: [BitsPerPlane]
hs = [ BitsPerPlane
x | Where' GameModeCapability
GameModeHeight Relation
IsEqualTo BitsPerPlane
x <- [GameModeCapabilityDescription]
ds ]
bs :: [BitsPerPlane]
bs = [ BitsPerPlane
x | Where' GameModeCapability
GameModeBitsPerPlane Relation
IsEqualTo BitsPerPlane
x <- [GameModeCapabilityDescription]
ds ]
rs :: [BitsPerPlane]
rs = [ BitsPerPlane
x | Where' GameModeCapability
GameModeRefreshRate Relation
IsEqualTo BitsPerPlane
x <- [GameModeCapabilityDescription]
ds ]
allSimple :: Bool
allSimple = (forall (t :: * -> *) a. Foldable t => t a -> BitsPerPlane
length [BitsPerPlane]
ws forall a. Num a => a -> a -> a
+ forall (t :: * -> *) a. Foldable t => t a -> BitsPerPlane
length [BitsPerPlane]
hs forall a. Num a => a -> a -> a
+ forall (t :: * -> *) a. Foldable t => t a -> BitsPerPlane
length [BitsPerPlane]
bs forall a. Num a => a -> a -> a
+ forall (t :: * -> *) a. Foldable t => t a -> BitsPerPlane
length [BitsPerPlane]
rs) forall a. Eq a => a -> a -> Bool
== (forall (t :: * -> *) a. Foldable t => t a -> BitsPerPlane
length [GameModeCapabilityDescription]
ds)
dimensionsOK :: Bool
dimensionsOK = (forall (t :: * -> *) a. Foldable t => t a -> Bool
null [BitsPerPlane]
ws) forall a. Eq a => a -> a -> Bool
== (forall (t :: * -> *) a. Foldable t => t a -> Bool
null [BitsPerPlane]
hs)
in if Bool
allSimple Bool -> Bool -> Bool
&& Bool
dimensionsOK
then [BitsPerPlane]
-> [BitsPerPlane] -> [BitsPerPlane] -> [BitsPerPlane] -> String
simpleCapStr [BitsPerPlane]
ws [BitsPerPlane]
hs [BitsPerPlane]
bs [BitsPerPlane]
rs
else [GameModeCapabilityDescription] -> String
generalCapStr [GameModeCapabilityDescription]
ds
simpleCapStr :: [Int] -> [Int] -> [Int] -> [Int] -> String
simpleCapStr :: [BitsPerPlane]
-> [BitsPerPlane] -> [BitsPerPlane] -> [BitsPerPlane] -> String
simpleCapStr [BitsPerPlane]
ws [BitsPerPlane]
hs [BitsPerPlane]
bs [BitsPerPlane]
rs =
forall {a}. Show a => String -> [a] -> String
showCap String
"" [BitsPerPlane]
ws forall a. [a] -> [a] -> [a]
++ forall {a}. Show a => String -> [a] -> String
showCap String
"x" [BitsPerPlane]
hs forall a. [a] -> [a] -> [a]
++ forall {a}. Show a => String -> [a] -> String
showCap String
":" [BitsPerPlane]
bs forall a. [a] -> [a] -> [a]
++ forall {a}. Show a => String -> [a] -> String
showCap String
"@" [BitsPerPlane]
rs
where showCap :: String -> [a] -> String
showCap String
_ [] = String
""
showCap String
prefix (a
x:[a]
_) = String
prefix forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> String
show a
x
generalCapStr :: [GameModeCapabilityDescription] -> String
generalCapStr :: [GameModeCapabilityDescription] -> String
generalCapStr =
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. a -> [a] -> [a]
intersperse String
" " forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b. (a -> b) -> [a] -> [b]
map GameModeCapabilityDescription -> String
gameModeCapabilityDescriptionToString
enterGameMode :: MonadIO m => m (Window, Bool)
enterGameMode :: forall (m :: * -> *). MonadIO m => m (Window, Bool)
enterGameMode = do
CInt
w <- forall (m :: * -> *). MonadIO m => m CInt
glutEnterGameMode
Bool
c <- forall (m :: * -> *). MonadIO m => GLenum -> m Bool
getBool GLenum
glut_GAME_MODE_DISPLAY_CHANGED
forall (m :: * -> *) a. Monad m => a -> m a
return (CInt -> Window
Window CInt
w, Bool
c)
leaveGameMode :: MonadIO m => m ()
leaveGameMode :: forall (m :: * -> *). MonadIO m => m ()
leaveGameMode = forall (m :: * -> *). MonadIO m => m ()
glutLeaveGameMode
type BitsPerPlane = Int
type RefreshRate = Int
data GameModeInfo = GameModeInfo Size BitsPerPlane RefreshRate
deriving ( GameModeInfo -> GameModeInfo -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: GameModeInfo -> GameModeInfo -> Bool
$c/= :: GameModeInfo -> GameModeInfo -> Bool
== :: GameModeInfo -> GameModeInfo -> Bool
$c== :: GameModeInfo -> GameModeInfo -> Bool
Eq, Eq GameModeInfo
GameModeInfo -> GameModeInfo -> Bool
GameModeInfo -> GameModeInfo -> Ordering
GameModeInfo -> GameModeInfo -> GameModeInfo
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
min :: GameModeInfo -> GameModeInfo -> GameModeInfo
$cmin :: GameModeInfo -> GameModeInfo -> GameModeInfo
max :: GameModeInfo -> GameModeInfo -> GameModeInfo
$cmax :: GameModeInfo -> GameModeInfo -> GameModeInfo
>= :: GameModeInfo -> GameModeInfo -> Bool
$c>= :: GameModeInfo -> GameModeInfo -> Bool
> :: GameModeInfo -> GameModeInfo -> Bool
$c> :: GameModeInfo -> GameModeInfo -> Bool
<= :: GameModeInfo -> GameModeInfo -> Bool
$c<= :: GameModeInfo -> GameModeInfo -> Bool
< :: GameModeInfo -> GameModeInfo -> Bool
$c< :: GameModeInfo -> GameModeInfo -> Bool
compare :: GameModeInfo -> GameModeInfo -> Ordering
$ccompare :: GameModeInfo -> GameModeInfo -> Ordering
Ord, BitsPerPlane -> GameModeInfo -> ShowS
[GameModeInfo] -> ShowS
GameModeInfo -> String
forall a.
(BitsPerPlane -> a -> ShowS)
-> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [GameModeInfo] -> ShowS
$cshowList :: [GameModeInfo] -> ShowS
show :: GameModeInfo -> String
$cshow :: GameModeInfo -> String
showsPrec :: BitsPerPlane -> GameModeInfo -> ShowS
$cshowsPrec :: BitsPerPlane -> GameModeInfo -> ShowS
Show )
gameModeInfo :: GettableStateVar (Maybe GameModeInfo)
gameModeInfo :: GettableStateVar (Maybe GameModeInfo)
gameModeInfo = forall a. IO a -> IO a
makeGettableStateVar forall a b. (a -> b) -> a -> b
$ do
Bool
possible <- forall (m :: * -> *). MonadIO m => GLenum -> m Bool
getBool GLenum
glut_GAME_MODE_POSSIBLE
if Bool
possible
then do
CInt
w <- forall (m :: * -> *). MonadIO m => GLenum -> m CInt
glutGameModeGet GLenum
glut_GAME_MODE_WIDTH
CInt
h <- forall (m :: * -> *). MonadIO m => GLenum -> m CInt
glutGameModeGet GLenum
glut_GAME_MODE_HEIGHT
let size :: Size
size = GLsizei -> GLsizei -> Size
Size (forall a b. (Integral a, Num b) => a -> b
fromIntegral CInt
w) (forall a b. (Integral a, Num b) => a -> b
fromIntegral CInt
h)
CInt
b <- forall (m :: * -> *). MonadIO m => GLenum -> m CInt
glutGameModeGet GLenum
glut_GAME_MODE_PIXEL_DEPTH
CInt
r <- forall (m :: * -> *). MonadIO m => GLenum -> m CInt
glutGameModeGet GLenum
glut_GAME_MODE_REFRESH_RATE
forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Size -> BitsPerPlane -> BitsPerPlane -> GameModeInfo
GameModeInfo Size
size (forall a b. (Integral a, Num b) => a -> b
fromIntegral CInt
b) (forall a b. (Integral a, Num b) => a -> b
fromIntegral CInt
r)
else forall (m :: * -> *) a. Monad m => a -> m a
return forall a. Maybe a
Nothing
getBool :: MonadIO m => GLenum -> m Bool
getBool :: forall (m :: * -> *). MonadIO m => GLenum -> m Bool
getBool GLenum
x = do
CInt
val <- forall (m :: * -> *). MonadIO m => GLenum -> m CInt
glutGameModeGet GLenum
x
forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ CInt
val forall a. Eq a => a -> a -> Bool
/= CInt
0
gameModeActive :: GettableStateVar Bool
gameModeActive :: GettableStateVar Bool
gameModeActive = forall a. IO a -> IO a
makeGettableStateVar forall a b. (a -> b) -> a -> b
$ forall (m :: * -> *). MonadIO m => GLenum -> m Bool
getBool GLenum
glut_GAME_MODE_ACTIVE