Npm 包 literate-purescript 使用教程

介绍

在前端开发中,purescript 是一种类型安全且功能强大的函数式编程语言。而 literate-purescript 便是一种让我们可以以更自然的方式编写 purescript 代码的 npm 包。它允许我们用 Markdown 格式编写文档和代码,并将其转换成 purescript 代码。本文将详细介绍如何使用 literate-purescript 这个 npm 包。

安装 literate-purescript

在使用 literate-purescript 之前,我们需要先安装它。可以使用 npm 来进行安装:

--- ------- -- -------------------

literate-purescript 的使用

使用 literate-purescript 主要包括以下两个部分:

  1. 编写 literate-purescript 代码
  2. 将 literate-purescript 代码转换成 purescript 代码

编写 literate-purescript 代码

当我们使用 literate-purescript 时,我们需要将代码写在 Markdown 文档中。举个例子:

- ----------

-------- ------ ------

    ---- -- ------ -- --- -------- -- ------- - -- ----
    ---- - --
        --- ------- -------

在 Markdown 中,代码前的缩进代表代码块,末尾有个换行符。代码块的语言类型定义了代码块的类型。在 literate-purescript 中,我们可以使用 Code Fence 或者 Tab 来定义代码块的类型。上述代码块等价于以下的 literate-purescript 代码:

---- -- ------ -- --- -------- -- ------- - -- ----
---- - --
    --- ------- -------

我们也可以使用 Markdown 的头级别来为我们的 literate-purescript 代码添加章节和小节。

将 literate-purescript 代码转换成 purescript 代码

在完成 literate-purescript 代码的编写之后,我们需要将其转换成 purescript 代码。这可以通过执行以下命令来实现:

------------------- -------- -----------

其中 input.md 是包含 literate-purescript 代码的 Markdown 文件路径,而 output.purs 则是我们想要生成的 purescript 文件路径。可以使用以下命令来确认 literate-purescript 的版本:

------------------- --

示例

下面是一个更完整的 literate-purescript 文件,包含了符号生成器(symbol generator)的代码。

- ------ ---------

------ ------------------- ------------------------------

------------------------- ------------------- -------

    ------------ -- ------ -- ------
    ------------ - -
        ---
            - -- ------ -- ---- -- ------
            - --- - -
                -- ---------- -
                ---- --- -- ---
                ---- --- -- ---
        --
            -
                -- --- -------
                -- ------ - --

-------------------------------------------------------------

    -------- -- ------ -- ------
    -------- - -
        -
            -- ------------
            -- --- -- -- ---- - -- --- ---- ---- - ---- --
            -- -- -- -- ---- - -- --- ---- ---- - ---- -
            -- -----
            -- --- --- -- - -- ---- -- ------- -- - -- -----
            -- ------ ---- --

-------- ---------- -----------------------------------------

--------------- -------- --------------------------------------------------------- ---------- -------------

    ------------- -- ------ -- ------
    ------------- - - --
        ---
            --- ----- - ---- --- ----- -
            --- -- - ---- --- ----- ----- - - --------- --- ----- -----
        --
            --------- -- -- ---- -- --------- -- -- ---- -- --------- -- -- ---

------------------------

执行以下命令将 literate-purescript 代码转换成 purescript 代码并保存下来:

------------------- ---------- ---------------------

此时 symbol-generator.purs 中应该有以下的 purescript 代码:

------ --------------- -----

------ -------------
------ --------- ------------ -------- --------
------ ----------- ------------ ---

------------ -- ------ -- ------
------------ - -
  --- - --- - - -- ---------- - ---- --- -- --- ---- --- -- ---
  -- - -- --- ------- -- ------ - --

-------- -- ------ -- ------
-------- - -
  -
    -- ------------
    -- --- -- -- ---- - -- --- ---- ---- - ---- --
    -- --- -- -- ---- - -- --- ---- ---- - ---- --
    -- -----
    -- --- --- -- - -- ---- -- ------- -- - -- -----
    -- ------ ----- -------- --

------------- -- ------ -- ------
------------- - -
  --- -------- - ---- --- ----- -
      ----- - ---- --- ----- ----- - ---------- --- ----- ------
  -- -------- - -- ---- -- -------- - -- ---- -- -------- - -- ---

我们现在可以在我们的 purescript 项目中使用这些符号生成器的函数啦!

来源:JavaScript中文网 ,转载请联系管理员! 本文地址:https://www.javascriptcn.com/post/60065f89238a385564ab6d74


猜你喜欢

  • NPM包zinko-riot的使用教程

    在前端开发中,我们经常需要使用各种工具来简化我们的开发流程并提高我们的工作效率。NPM是一个非常常见的工具,它是一个JavaScript的包管理器,用于安装、更新和管理JavaScript库和工具包。

    3 年前
  • npm 包 asciidoc-blocks-check 使用教程

    简介 asciidoc-blocks-check 是一个功能强大的 npm 包,它可以帮助前端工程师进行 Asciidoc 文件中代码块的检查工作,帮助发现潜在的问题,提高代码的健壮性和可维护性。

    3 年前
  • npm 包 bearcat-es6-x 使用教程

    npm 包 bearcat-es6-x 是一个基于 Bearcat 框架的 ES6 版本,它提供了一系列的优化和改进,使得使用起来更加便捷和高效。在这篇文章中,我们将详细介绍如何使用 bearcat-...

    3 年前
  • npm 包 material-ui-arabic-datepicker 使用教程

    material-ui-arabic-datepicker 是一款基于 React 和 Material-UI 的阿拉伯语日期选择器组件。该组件具有简单易用、良好的可定制性和样式美观等特点,适用于需要...

    3 年前
  • npm 包 smoench-auth 使用教程

    介绍 smonch-auth 是一个基于 Node.js 平台的 npm 包,它为开发者提供了一种简单、安全、易扩展的身份认证解决方案。它使用 JSON Web Token(JWT)作为身份认证的方式...

    3 年前
  • NPM 包 Worker-run 使用教程

    在前端开发中,我们常常需要处理复杂的计算任务,而这些计算任务又需要长时间运行。这就会导致主线程被阻塞,影响用户体验。为此,我们需要使用多线程的技术来解决这个问题。在 Node.js 中,我们可以借助 ...

    3 年前
  • npm 包 hydraded-ws 使用教程

    什么是 hydrated-ws hydraded-ws 是一个基于 WebSocket 的 JavaScript 库,旨在提供高效、灵活和易用的双向通信解决方案。它支持浏览器和 Node.js 环境,...

    3 年前
  • npm 包 @moondef/utils 使用教程

    在前端开发中,我们经常需要使用一些工具函数来处理数据或者进行一些辅助功能的实现。而 @moondef/utils 这个 npm 包就是一个出色的工具包,提供了多个实用的函数,可以方便地用来增强我们的前...

    3 年前
  • npm 包 react-stateful-component 使用教程

    在 React 中,组件可以是有状态和无状态的。有状态组件可以使用 state 属性来保存和修改组件的状态。然而,为了创建一个有状态组件需要大量的代码,这并不方便。

    3 年前
  • npm 包 tailwindcss-fout-size 使用教程

    在现代网页设计中,选择合适的字体大小非常重要。然而,在设计过程中,对于字体大小的选择还需要考虑 FOUT(Flash of Unstyled Text,即未渲染文本内容的瞬间) 的问题。

    3 年前
  • npm 包 chuank 使用教程

    介绍 chuank 是一个基于 webpack 打包的 Vue.js 组件库,它主要包含一些常用的 UI 组件和工具函数,例如按钮组件、表单组件、分页组件、数据处理工具等。

    3 年前
  • npm 包 derek 使用教程

    介绍 npm 是前端领域中管理包和依赖的利器,derek 是一款用于检查提交信息是否满足规范的 npm 包,其具有灵活性和易扩展性,被广泛应用于开源社区及企业内部项目中。

    3 年前
  • npm 包 nuke-axios 使用教程

    在前端开发中,我们经常需要发送 AJAX 请求来获取数据。而 axios 作为现在比较流行的 AJAX 库,可以方便地发送请求和处理响应。不过,在真正使用 axios 发送请求之前,我们还需要进行一系...

    3 年前
  • npm 包 ros2-actionlibjs 使用教程

    ros2-actionlibjs 是一个基于 Node.js 的 npm 包,它提供了一个简单的操作 ROS 2 Actionlib 服务的 API,使得使用者可以轻松地在前端界面中实现与后端 ROS...

    3 年前
  • npm 包 url-constrictor 使用教程

    在前端开发中,web 应用经常需要操作 url,例如获取参数、修改参数等。这些操作可以手动编写代码实现,但是 npm 上有很多优秀的库可以帮助我们更方便快捷地操作 url,其中 url-constri...

    3 年前
  • NPM 包 Reason-Maybe 的使用教程

    简介 Reason-Maybe 是一个通过类型约束实现类似 Haskell 的 Maybe Monad 的 NPM 包。在函数式编程中,Maybe Monad 用于处理那些可能为空值的数据。

    3 年前
  • npm 包 @ermakovich/gulp-cucumber 使用教程

    前言 在现代 Web 应用开发过程中,前端自动化构建和测试已经成为开发流程不可或缺的一部分。在自动化构建和测试的过程中,使用 Gulp 构建任务和 Cucumber.js 进行测试已经成为了许多前端开...

    3 年前
  • npm 包 @mladen/leaflet.tilelayer.wmts 使用教程

    前言 在网站或移动端等前端应用中,使用 Leaflet 地图库可以很方便地实现瓦片地图的加载,但是在使用中国地图服务时,我们需要使用 WMTS(Web Map Tile Service)协议下的服务提...

    3 年前
  • npm 包 initialify 使用教程

    什么是 initialify? initialify 是一款 npm 包,它可以帮助我们快速地创建项目的初始目录结构,省去自己手动创建的时间和工作量。 如何使用 initialify? 安装 init...

    3 年前
  • npm 包 ip-locale 使用教程

    简介 ip-locale 是一个用于获取用户 IP 地址的 npm 库, 由于 IP 地址和用户所在地区的关系密切,因此 ip-locale 还可以获取用户所在地区的语言、货币、时区等信息。

    3 年前

相关推荐

    暂无文章