Play.Engine.Settings

Documentation

data Settings

Constructors

Settings

Fields

• _windowSize :: !Size
• _keyMap :: ![(Key, Scancode)]
• _keyStats :: !Keys
• _joyKeyStats :: !Keys
• _muteMusic :: !Bool
• _windowScale :: WindowScale

Instances

Show Settings

Defined in Play.Engine.Settings

Methods

showsPrec :: Int -> Settings -> ShowS

show :: Settings -> String

showList :: [Settings] -> ShowS

data WindowScale

Constructors

SmallWindow

NormalWindow

Instances

Show WindowScale

Defined in Play.Engine.Settings

Methods

showsPrec :: Int -> WindowScale -> ShowS

show :: WindowScale -> String

showList :: [WindowScale] -> ShowS

windowSize :: Lens' Settings Size

windowScale :: Lens' Settings WindowScale

muteMusic :: Lens' Settings Bool

keyStats :: Lens' Settings Keys

keyMap :: Lens' Settings [(Key, Scancode)]

joyKeyStats :: Lens' Settings Keys

type Result a = StateT Settings (Except [String]) a

runResult :: b -> StateT b (ExceptT e Identity) a -> Either e (b, a)

def :: Settings