Eta Spigot plugin

Main.hs

{-# LANGUAGE TypeFamilies, DataKinds #-}

module Main where

import Java

import System.IO

data Command = Command @org.bukkit.command.Command
  deriving Class
data CommandSender = CommandSender @org.bukkit.command.CommandSender
  deriving Class

foreign import java unsafe "@interface getName" getSenderName :: Java CommandSender String
foreign import java unsafe "@interface sendMessage" sendMessage :: String -> Java CommandSender ()

data JavaPlugin = JavaPlugin @org.bukkit.plugin.java.JavaPlugin
  deriving Class
data MyPlugin = MyPlugin @okkero.test.MyPlugin

type instance Inherits MyPlugin = '[JavaPlugin]


onEnable :: Java MyPlugin ()
onEnable = do
  io $ putStrLn "Enabled my plugin, WOW!"


thankSender :: Java CommandSender ()
thankSender = do
  senderName <- getSenderName
  sendMessage $ "Thanks for command, " ++ senderName

onCommand :: CommandSender ->
             Command ->
             JString ->
             JStringArray ->
             Java MyPlugin Bool
onCommand sender cmd alias args = do
  withObject sender thankSender
  pure True



main :: IO ()
main = pure ()


foreign export java "onEnable"
  onEnable :: Java MyPlugin ()

foreign export java "onCommand"
  onCommand :: CommandSender ->
               Command ->
               JString ->
               JStringArray ->
               Java MyPlugin Bool