2023-03-14 20:57:07 +01:00
|
|
|
local A = require("my.abbreviations")
|
|
|
|
local scrap = require("scrap")
|
|
|
|
local M = {}
|
|
|
|
|
|
|
|
M.symols = {
|
|
|
|
{ "mto", ">>=" }, -- [M]onadic [t]o
|
|
|
|
{ "oalt", "<\\|>" }, -- [O]peration [A]lternative
|
|
|
|
{ "omono", "<>" }, -- [O]peration [M]onoid
|
|
|
|
}
|
|
|
|
|
|
|
|
M.types = {
|
|
|
|
{ "tarr", "Array" },
|
|
|
|
{ "tlis", "List" },
|
|
|
|
{ "tmay", "Maybe" },
|
|
|
|
{ "teff", "Effect" },
|
|
|
|
{ "taff", "Aff" },
|
|
|
|
{ "tnea", "NonEmptyArray" },
|
|
|
|
}
|
|
|
|
|
|
|
|
M.functions = {
|
|
|
|
{ "tfold", "toUnfoldable" }, -- [T]o [f]oldable
|
|
|
|
{ "ffold", "fromFoldable" }, -- [F]rom un[f]oldable
|
|
|
|
}
|
|
|
|
|
|
|
|
function M.setup()
|
2023-09-08 19:49:18 +02:00
|
|
|
scrap.many_local_abbreviations(
|
|
|
|
scrap.expand_many(M.types, A.no_capitalization)
|
|
|
|
)
|
|
|
|
|
|
|
|
scrap.many_local_abbreviations(
|
|
|
|
scrap.expand_many(M.symols, A.no_capitalization)
|
|
|
|
)
|
|
|
|
|
|
|
|
scrap.many_local_abbreviations(
|
|
|
|
scrap.expand_many(M.functions, A.no_capitalization)
|
|
|
|
)
|
2023-03-14 20:57:07 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
return M
|