Positional arguments for the javascript FFI in Idris

gistfile1.hs

module Main
 
FIO : FTy
FIO = FAny (IO ())

foo : String -> String -> IO ()
foo a b = putStrLn $ a ++ b

test : String -> (String -> String -> IO ()) -> IO ()
test s f =
  mkForeign (
    FFun "%1(%0,%0)" [ FString
                     , FFunction FString (FFunction FString FIO)
                     ] FUnit
  ) s f

main : IO ()
main = test "foo" foo -- prints "foofoo"