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
|
2024-02-24 01:53:32 +01:00
|
|
|
{ "oalt", "<|>" }, -- [O]peration [A]lternative
|
2023-03-14 20:57:07 +01:00
|
|
|
{ "omono", "<>" }, -- [O]peration [M]onoid
|
|
|
|
}
|
|
|
|
|
|
|
|
M.types = {
|
|
|
|
{ "tarr", "Array" },
|
|
|
|
{ "tlis", "List" },
|
|
|
|
{ "tmay", "Maybe" },
|
|
|
|
{ "teff", "Effect" },
|
2024-01-04 05:24:55 +01:00
|
|
|
{ "tio", "IO" },
|
2023-03-14 20:57:07 +01:00
|
|
|
{ "taff", "Aff" },
|
|
|
|
{ "tnea", "NonEmptyArray" },
|
|
|
|
}
|
|
|
|
|
|
|
|
M.functions = {
|
|
|
|
{ "tfold", "toUnfoldable" }, -- [T]o [f]oldable
|
|
|
|
{ "ffold", "fromFoldable" }, -- [F]rom un[f]oldable
|
|
|
|
}
|
|
|
|
|
|
|
|
function M.setup()
|
2024-02-24 01:53:32 +01:00
|
|
|
A.manyLocalAbbr(scrap.expand_many(M.types, A.no_capitalization))
|
|
|
|
A.manyLocalAbbr(scrap.expand_many(M.symols, A.no_capitalization))
|
|
|
|
A.manyLocalAbbr(scrap.expand_many(M.functions, A.no_capitalization))
|
2023-03-14 20:57:07 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
return M
|