0 | {- Tian Z (ecburx@burx.vip) -}
 1 |
 2 | module IdrisGL.SDL.SDL_mixer
 3 |
 4 | import System.FFI
 5 |
 6 | {- 
 7 |     FFI 
 8 | -}
 9 |
10 | frgn : String -> String
11 | frgn func = "C:" ++ func ++ ",sdl_mixer"
12 |
13 | -- Music
14 |
15 | %foreign frgn "playMusic"
16 | prim_playMusic : String -> Int -> PrimIO ()
17 |
18 | ||| Play Music.
19 | export
20 | playMusic : HasIO io => (path : String) -> (loops : Int) -> io ()
21 | playMusic path loops = primIO $ prim_playMusic path loops
22 |
23 | -- Chunk
24 |
25 | %foreign frgn "playChunk"
26 | prim_playChunk : String -> PrimIO ()
27 |
28 | ||| Play Chunk.
29 | export
30 | playChunk : HasIO io => (path : String) -> io ()
31 | playChunk path = primIO $ prim_playChunk path
32 |