
  0 | {- Tian Z (ecburx@burx.vip) -}
  1 | 
  2 | module IdrisGL.SDL.SDL_generic
  3 | 
  4 | {- 
  5 |     FFI 
  6 | -}
  7 | 
  8 | frgn : String -> String
  9 | frgn func = "C:" ++ func ++ ",generic"
 10 | 
 11 | --
 12 | 
 13 | %foreign frgn "nullPointer"
 14 | prim_nullPointer : AnyPtr
 15 | 
 16 | ||| Return a null pointer.
 17 | export
 18 | nullPtr : AnyPtr
 19 | nullPtr = prim_nullPointer