Play.Engine.Load

Documentation

data State

Constructors

State

Fields

• _timer :: Int
• _filepaths :: [(String, ResourceType FilePath)]
• _nextScene :: Resources -> Result Scene

timer :: Lens' State Int

nextScene :: Lens' State (Resources -> Result Scene)

filepaths :: Lens' State [(String, ResourceType FilePath)]

mkState :: Int -> [(String, ResourceType FilePath)] -> (Resources -> Result Scene) -> Scene

initState :: Int -> [(String, ResourceType FilePath)] -> (Resources -> Result Scene) -> State

update :: Input -> State -> Result ([Request], (StackCommand, State))

render :: Renderer -> State -> IO ()