alicorn 0.1.0

Rust embedding of the Alicorn compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

local gen = require "terms-generators"
local traits = require "traits"

local function test_trait()
	local quantity = gen.declare_enum("quantity", {
		{ "erased" },
		{ "linear" },
		{ "unrestricted" },
	})
	local foo_trait = traits.declare_trait("foo")
	foo_trait:declare_method("fizzle")
	foo_trait:implement_on(quantity, {
		fizzle = function(self)
			return "i'm a quantity"
		end,
	})
	assert(foo_trait:get(quantity).fizzle(quantity.unrestricted) == "i'm a quantity")
end

test_trait()