Main.idr

module Main

namespace JS
  console : JS_IO Ptr
  console = foreign FFI_JS "console" (JS_IO Ptr)
    
  %inline
  dot : Ptr -> String -> (a : Type)
      -> {auto fty : FTy FFI_JS [] (Ptr -> String -> JS_IO (JsFn a))}
      -> JS_IO a               
  dot object field a = do      
      MkJsFn result <- foreign FFI_JS "(%0)[%1]"
          (Ptr -> String -> JS_IO (JsFn a)) object field
      return result            

  namespace String
    consoleLog : String -> JS_IO ()
    consoleLog string = !(dot !console "log" (String -> JS_IO ())) string

  namespace Ptr
    consoleLog : Ptr -> JS_IO ()
    consoleLog ptr = !(dot !console "log" (Ptr -> JS_IO ())) ptr

%inline
consoleLogOtherWay : String -> JS_IO ()
consoleLogOtherWay string =
  foreign FFI_JS "console.log(%0)" (String -> JS_IO ()) string

main : JS_IO ()
main = do
  consoleLog "Hm"
  consoleLogOtherWay "go figure"
  putStr' "hi"