Idris2Doc : IdrisGL.SDL.SDL_mixer

IdrisGL.SDL.SDL_mixer

(source)
Definitions
playMusic : HasIO io => String -> Int -> io ()
  Play Music.

  Visibility: export
playChunk : HasIO io => String -> io ()
  Play Chunk.

  Visibility: export