• Stars
    star
    315
  • Rank 132,951 (Top 3 %)
  • Language
    OCaml
  • License
    MIT License
  • Created 12 months ago
  • Updated 7 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A fun little TUI framework for OCaml

Mint Tea

Mint Tea Logo

A fun, functional, and stateful way to build terminal apps in OCaml heavily inspired by BubbleTea. Mint Tea is built on Riot and uses The Elm Architecture.

Tutorial

Mint Tea is based on the functional paradigm of The Elm Architecture, which works great with OCaml. It's a delightful way to build applications.

This tutorial assumes you have a working knowledge of OCaml.

Getting Started

For this tutorial, we're making a shopping list.

We'll start by defining our dune-project file:

(lang dune 3.12)

And a dune file for our executable:

(executable
  (name shop)
  (libraries minttea))

Then we need to pin the minttea package to the github source:

$ opam install minttea

Opam will do some work installing minttea from the github source.

We can run dune build to validate the package has been installed correctly.

Great, now we can create a new shop.ml file and start by opening up Minttea:

open Minttea

Mint Tea programs are composed of a model that describes the application state, and three simple functions:

  • init, a function that returns the initial commands for the application to run
  • update a function that handles incoming events and updates the model accordingly
  • view, a function that renders the UI based on the data in the model

The Model

We'll start by creating a type for our model. This type can be anything you want, just remember that it must hold your entire application state.

type model = {
  (* the choices that will be used and whether they are selected or unselected *)
  choices : (string * [ `selected | `unselected ]) list;
  (* the current position of the cursor *)
  cursor : int;
}

Initialization

Next up, we'll create our initial_model function. If creating this initial state is too expensive, we could make it a function too, so we can call it when we need to start the application.

let initial_model =
  {
    cursor = 0;
    choices =
      [
        ("Buy empanadas πŸ₯Ÿ", `unselected);
        ("Buy carrots πŸ₯•", `unselected);
        ("Buy cupcakes 🧁", `unselected);
      ];
  }

Next we will define our init function. This function takes the initial state and returns a Mint Tea Command that kicks off the application. This can be going into fullscreen, setting up timers, or just nothing.

In this case we do nothing:

let init _model = Command.Noop

The Update Function

The interesting part of any TEA application is always how it updates the model based off incoming events. In Mint Tea things aren't any different. The update function gets called whenever "things happen" – this could be a key press, a timer going off, or even every rendering frame. There is even the possibility of using custom events.

let update event model =
  match event with
  (* if we press `q` or the escape key, we exit *)
  | Event.KeyDown (Key "q" | Escape) -> (model, Command.Quit)
  (* if we press up or `k`, we move up in the list *)
  | Event.KeyDown (Up | Key "k") ->
      let cursor =
        if model.cursor = 0 then List.length model.choices - 1
        else model.cursor - 1
      in
      ({ model with cursor }, Command.Noop)
  (* if we press down or `j`, we move down in the list *)
  | Event.KeyDown (Down | Key "j") ->
      let cursor =
        if model.cursor = List.length model.choices - 1 then 0
        else model.cursor + 1
      in
      ({ model with cursor }, Command.Noop)
  (* when we press enter or space we toggle the item in the list
     that the cursor points to *)
  | Event.KeyDown (Enter | Space) ->
      let toggle status =
        match status with `selected -> `unselected | `unselected -> `selected
      in
      let choices =
        List.mapi
          (fun idx (name, status) ->
            let status = if idx = model.cursor then toggle status else status in
            (name, status))
          model.choices
      in
      ({ model with choices }, Command.Noop)
  (* for all other events, we do nothing *)
  | _ -> (model, Command.Noop)

You may have noticed the special command Quit up there. This command tells Mint Tea that it's time for the application to shutdown.

The View Method

Finally, we need to render our TUI. For that we define a little view method that takes our model and creates a string. That string is our TUI!

Because the view describes the entire UI of your application, you don't have to worry about redrawing logic or things like that. Mint Tea takes care of it for you.

let view model =
  (* we create our options by mapping over them *)
  let options =
    model.choices
    |> List.mapi (fun idx (name, checked) ->
           let cursor = if model.cursor = idx then ">" else " " in
           let checked = if checked = `selected then "x" else " " in
           Format.sprintf "%s [%s] %s" cursor checked name)
    |> String.concat "\n"
  in
  (* and we send the UI for rendering! *)
  Format.sprintf
    {|
What should we buy at the market?

%s

Press q to quit.

  |} options

All Together Now

The last step is to simply run our program. We build our Mint Tea application by calling Minttea.app ~init ~update ~view () and we can start it by calling Minttea.start app ~initial_model

let app = Minttea.app ~init ~update ~view ()
let () = Minttea.start app ~initial_model

We can now run our application:

$ dune exec ./shop.exe

And we get our lovely little TUI app:

What's Next?

This tutorial covers the very basics of building an interactive terminal UI with Mint Tea, but in the real world you'll also need to perform I/O.

You can also check our other examples in GitHub to see more ways in which you can build your TUIs.

Libraries to use with Mint Tea

  • Leaves: Common Mint Tea components to get you started
  • Spices: style, format, and layout tools for terminal applications

More Repositories

1

tldr.jsx

πŸ“š A Reactive web client for tldr-pages
JavaScript
1,547
star
2

caramel

🍬 a functional language for building type-safe, scalable, and maintainable applications
OCaml
1,050
star
3

reason-design-patterns

πŸ—Ί An unofficial collection of "design patterns" for ReScript, Reason, and OCaml
Reason
477
star
4

lam

πŸš€ a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly
Rust
250
star
5

httpkit

⚑️ High-level, High-performance HTTP(S) Clients/Servers in Reason/OCaml
OCaml
202
star
6

riot

An actor-model multi-core scheduler for OCaml 5 🐫
OCaml
119
star
7

serde.ml

Serialization framework for OCaml
OCaml
109
star
8

ng2

πŸ“ minimalistic modular angular.js app generator (outdated as of Dec 1st, 2013)
JavaScript
95
star
9

awesome-alt-langs

Just a list of Awesome Alt Langs to check out
82
star
10

reactor

πŸš€ Native Actors for Reason and OCaml
OCaml
70
star
11

cactus

🌡A composable static site generator
Reason
65
star
12

atacama

Modern, pure OCaml socket pool for Riot
OCaml
37
star
13

scarab

Benchmarking framework for OCaml
OCaml
24
star
14

pachadb

an edge database
Rust
24
star
15

trail

Minimal composable server framework for Riot
OCaml
24
star
16

blink

A pure OCaml HTTP client for Riot
OCaml
23
star
17

tty

A pure OCaml library for working with terminals
OCaml
22
star
18

hotstuff

πŸ”₯ Composable, incremental, turnkey document compiler
Rust
21
star
19

colors

A pure OCaml library for manipulating colors in different color spaces.
OCaml
20
star
20

watch

⌚ A portable Go alternative to GNU's watch – very useful for autorunning things!
Go
19
star
21

rules_reason

πŸ“Reason/OCaml rules and tools for Bazel
Python
19
star
22

nomad

Pure OCaml HTTP 1.1/2 & WebSocket server for Riot
Elixir
19
star
23

mlx

OCaml
18
star
24

mesa

A modern, idiomatic web framework for Riot
OCaml
16
star
25

tldr.js

Old version now mirroring React-client, please go to
JavaScript
16
star
26

ocaml-grpc

A gRPC implementation written in pure OCaml/Reason
OCaml
16
star
27

dotfiles

πŸ’Ύ ~/.*
Python
14
star
28

q-lang

Rust
14
star
29

react-useMailbox

πŸ“« A small React hook to turn your components into "Actors".
JavaScript
13
star
30

chatty

a TUI app for chatting on Twitch
OCaml
12
star
31

telemetry

Lightweight event dispatching for OCaml.
OCaml
11
star
32

Bakery

CoffeeScript, Backbone, RequireJS, HeadJs and Jasmine. All together.
JavaScript
11
star
33

Expresso

CoffeeScript compiling for Pythonistas.
Python
10
star
34

hooke

Spring-based animation library for OCaml
OCaml
10
star
35

config.ml

conditional compilation via attributes for OCaml
OCaml
10
star
36

castore

A portable pure OCaml CA Store
OCaml
10
star
37

loop

Unbounded loops with early breaks and continues for OCaml 5.
OCaml
9
star
38

mixtape

🎧 πŸ”„ Synchronised Playlist Playback for Spotify
JavaScript
8
star
39

oak

🌳 A minimalistic Tree-like tool built in Reason Native
OCaml
8
star
40

bazaar

find anything you need in ocaml
OCaml
8
star
41

twitchboard

πŸ“Ί Real-time Stream Stats Tool for Twitch.tv
OCaml
7
star
42

idris-coda

πŸ“¦ A collection of Idris packages
Idris
6
star
43

blast64

⚑ An apparently even faster base64 decoder for Chrome
HTML
6
star
44

fuzzql

βš™οΈ A GraphQL Fuzzy Testing Toolkit
OCaml
6
star
45

servus

A static-file server written with http/af + Reason Native
OCaml
6
star
46

erlang-gui

An experiment in building high-performance, native graphical user interfaces in Erlang
Erlang
6
star
47

woolly

a little mastodon client
TypeScript
6
star
48

wittgenstein

πŸ“š A semantic, real-time, distributed, knowledge base.
Erlang
5
star
49

muad

🐭 a small, extensible task runner for OCaml
OCaml
5
star
50

asdf

πŸ› Random code snippets
Idris
4
star
51

escheck

JavaScript
4
star
52

ng-board

a realtime dashboard
JavaScript
4
star
53

paper-eaters

πŸ“š
4
star
54

switchboard.rb

Ruby client for switchboard.spatch.co
Ruby
4
star
55

tap-idris

🍻 A simple TAP producer and consumer/reporter for Idris
Idris
4
star
56

reason-gc

πŸ—‘ A small exploration of the Reason/OCaml Garbage Collector
OCaml
4
star
57

PhantomSDL

πŸ‘Ύ A game engine I was building when I was 14
C
3
star
58

zazen

πŸ™ sit, breathe, code.
JavaScript
3
star
59

jawa

OCaml
3
star
60

random

Easy-to-use, cryptographically safe random data for OCaml
OCaml
3
star
61

node-puntopagos

PuntoPagos Module for NodeJS
JavaScript
2
star
62

try

♻️ A portable Go utility to retry commands with backoff
Go
2
star
63

libra

βš–οΈ A Lisp Parser in Idris
Idris
2
star
64

anchorman

βš“πŸ‘¨ An Erlang library for broadcasting information
Erlang
2
star
65

unveil

🎬 The Reactive Javascript Presentation Library
JavaScript
2
star
66

play.app

an ember.js phonegap application
JavaScript
2
star
67

making-makefiles

A small set of koans to learn about Makefiles
Vim Script
2
star
68

rocket

following the Essentials of Compilation book in OCaml
OCaml
2
star
69

pry

πŸ”­ An Erlang application for observing supervision trees
Erlang
2
star
70

rx-history

History Observable for RxJS
JavaScript
2
star
71

dasBlog

For blogging wasn't German enough.
Python
2
star
72

rdn

Reason Data Notation
2
star
73

ws

πŸ”„ An erlang WebSocket server
Erlang
2
star
74

EXII-macOS

A poorly written User-land driver for the EXII USB device family
Swift
2
star
75

libc.ml

Raw bindings to platform APIs for OCaml
OCaml
2
star
76

ng-board-smoothie

smoothie graphs widget for ng-board
JavaScript
2
star
77

message.me

a sample web app built with ng2
JavaScript
1
star
78

go-go-gadget

go tests
Go
1
star
79

lisping

some lisping!
Common Lisp
1
star
80

tweet-cli

tweet from your cli
JavaScript
1
star
81

projector

πŸ“½οΈ Stay on top of your Github Projects
JavaScript
1
star
82

reactor-web

OCaml
1
star
83

textmine.js

Text-mining for NodeJS
1
star
84

retrie

A quick and dirty, likely broken trie
OCaml
1
star
85

ngage-platformer

angularjs based platformer game
JavaScript
1
star
86

cerebro

πŸ”­ A simple app to track down Mutant-grade Engineers on Github
JavaScript
1
star
87

piclevel-api

JavaScript
1
star
88

transporter.io-ng-board

ng-board transport for transporter.io
JavaScript
1
star
89

transporter.io

a transport system over websockets
JavaScript
1
star
90

PlayApp

the play app!
Objective-C
1
star
91

webtail

A simple file piping over http script using connect and spawn('tail')
JavaScript
1
star
92

v-sexpr

An S-expression library for V
V
1
star
93

grunt-knox

A set of Knox tasks for GruntJS
JavaScript
1
star
94

Toasty

A Toasted game framework for the Marmalade SDK
C++
1
star
95

bsb-load-test

Just a repo building a crapload of modules
OCaml
1
star
96

anchorman.js

a reporter library for nodejs
JavaScript
1
star
97

tribble

OCaml
1
star
98

lore

A modern semantic data modelling language
Rust
1
star
99

transporter.io-events

events transport for transporter.io
JavaScript
1
star
100

cleverboard

the first project using ng-board and transporter.io
1
star