Halma

The library

See the docs on Hackage.

The GTK application

Installation: Make sure you have GTK and Cairo installed, then run

$ cabal install halma-gui
$ halma-gui

If cabal fails to solve the version constraints, try using Stackage.

The Telegram Chatbot

There is a chatbot running on AWS Lambda: @halma_bot

(Please be patient, it sometimes needs a few seconds to respond.)

Building and deploying the Telegram bot on AWS Lambda

The following command builds and deploys the Telegram bot on AWS Lambda:

$ python3 build_and_deploy_to_lambda.py \
    --telegram-token 123456:ABC-DEF1234ghIkl-zyx57W2v1u123ew11 \
    --stack-name telegram-halma-stack \
    --code-s3-bucket my-code-bucket # the executable will be uploaded to this bucket

This Python 3.7 script depends on stack, docker and awscli being installed (and in the PATH). When nix-shell is installed, this script can also be called using

$ ./build_and_deploy_to_lambda.py [...]

This will automatically install the required dependencies on the first run. Before the first run, you also need to run:

$ stack docker pull # download the Docker image for building
$ aws configure # configure authentication and default region (if you haven't done so already)

If deployment is successful, the script prints out the URL where the Lambda function can be invoked:

[...]
Webhook URL: https://abcdefghijk.execute-api.eu-central-1.amazonaws.com/Prod/halma-telegram-bot

Now, you may run a simple smoke test:

$ curl --header "Content-Type: application/json" \
       --request POST \
       --data '{"update_id":123412341234}' \
       https://abcdefghijk.execute-api.eu-central-1.amazonaws.com/Prod/halma-telegram-bot

To configure the Telegram Bot API to call the created lambda function when there is an update run

curl -X POST \
  --url 'https://api.telegram.org/bot123456:ABC-DEF1234ghIkl-zyx57W2v1u123ew11/setWebhook' \
  -d 'url=https://abcdefghijk.execute-api.eu-central-1.amazonaws.com/Prod/halma-telegram-bot'

with 123456:ABC-DEF1234ghIkl-zyx57W2v1u123ew11 replaced by your Telegram API access token.