自动生成 F# 签名文件 (.fsi)

2024-01-06

我正在开发一个项目,该项目有许多我想对其应用访问控制约束的模块。我还想让我的项目包含有关每个函数的类型签名的附加文档。

我知道通过 F# 签名文件可以非常轻松地完成这两项任务。但是,我的项目很大并且包含很多文件,我需要一种方便的方法为每个文件生成签名文件。我已经使用以下命令通过命令行编译成功生成了单独的签名文件--sig 编译器选项 http://msdn.microsoft.com/en-us/library/dd233196.aspx,但我对如何向 Visual Studio 的构建例程添加编译器选项感到困惑。

有没有一种方便的方法,通过 VS 编译选项,或通过一些命令行脚本,为我的项目目录中的每个 *.fs 文件创建一个 F# 签名文件?

Thanks.


您可以通过在解决方案资源管理器中右键单击您的项目并单击“属性”,告诉 VS 在构建时将任意标志传递给编译器。在“构建”选项卡下填写“其他标志”。

指定--sig:<Some path>(支持 msbuild 风格$(Variable)设置)将自动生成一个组合.fsi为您的图书馆。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

自动生成 F# 签名文件 (.fsi) 的相关文章

随机推荐

  • CodeIgniter - 将输入数组写入数据库

    我正在尝试从输入字段数组中获取数据并将其写入数据库 我以前从未使用过数组 但这是我的代码 它基于如果它只是一个输入值我会做什么 我知道这是错误的 但我不知道下一步该尝试什么 有任何想法吗 谢谢 view
  • 石英作业详细请求恢复

    的文档JobDetail requestsRecovery属性说明以下内容 指示调度程序是否应重新执行作业 如果遇到 恢复 或 故障转移 情况 现在 什么是 恢复 情况或 故障转移 情况 它们有何不同 仅当 JVM 在作业执行期间崩溃时才会
  • Spring 测试多次关闭嵌入式数据库

    我正在使用 h2 嵌入式数据库 其定义如下
  • Spring存储库自动转换具有不同类类型的实体

    我正在使用 MongoRepository 接口来扩展不同实体的自定义存储库 现在我面临问题 让我们假设一个例子 我有 2 个实体 Document collection person public class Employee priva
  • .NET Signalr MapConnection 已过时?

    我是 Net 和 SignalR 的新手 我正在查看前同事编写的一些代码 他将这一行添加到路由配置中 该配置现在抛出错误 表示其已过时 但所有文档 https github com SignalR SignalR wiki QuickSta
  • 在哪里指定 IISExpress 的 SSL 端口?

    好的 所以我以前可以在项目属性对话框中更改 SSL 端口号 但是在 asp net 5 RC1 更新后 SSL 字段是只读的 当我尝试直接编辑 xproj 时 它会忽略 SSLPort 值
  • Python One Liner 静默套接字侦听器

    是否可以编写 python one liner 它将监听特定的 tcp 端口 接受连接 并且不响应任何内容 我可以用两行来完成此操作 import socket s socket socket socket AF INET socket S
  • 如何使用 graphene-django 上传和下载文件?

    我目前正在使用 graphene django v2 0 我完全不知道如何上传和下载图像等文件 是否有人有一个可以下载图像的查询示例和一个可以上传的突变一 UPLOADS 您不需要发明自己的前端代码来将文件上传添加到突变中 现有的包已经可以
  • R dplyr - 所有列都不同

    有没有办法指定 dplyr distinct 应使用所有列名而不诉诸非标准评估 df lt data frame a c 1 1 2 b c 1 1 3 df gt distinct a b keep all FALSE behavior
  • VSCode 中 JetBrains 的“部署”等效项?

    在 JetBrains IDE 例如 CLion 或 PyCharm 中 我可以设置 部署 这样如果我右键单击任何本地文件或目录 我可以通过 SSH 将其 部署 到远程服务器上的相应位置 通信是通过多个 映射 建立的 它比手动 scp 每个
  • 如何聚焦第一个输入?

    我有一个 ASP NET MVC 应用程序 我想关注第一个错误字段 提交时 如果最后一个字段有错误并且用户尝试提交表单 则焦点将转到最后一个错误字段而不是第一个字段 我尝试了多种 包括以下内容 ready function Form sub
  • Django Select Option选择问题

    我尝试按照 stackoverflow 上的一些示例来获取在选择列表中选择的选项 但仍然无法使其工作 这是我的代码片段
  • C++内存对齐问题

    一行代码胜过一千个字 这是我的问题 Platform specific 16 byte alignment macro switch On Visual C it would substitute declspec align 16 On
  • “if”语句在 Debian Linux 上不起作用

    我有一个 bash 脚本 其中包含以下 if 语句 问题是我无法让它在 Debian 上运行 它在 Fedora 和 CentOS 上运行良好 if 1 daily lt line 116 then countDaily elif 1 mo
  • Qt - 使用 lambda 将槽与参数连接

    我有几个小部件将连接到需要额外参数的单个函数 我发现我可以使用 lambda 函数来向函数传递一些参数 问题是参数在循环中被替换 而 lambda 函数仅传递最后一组参数 这是我得到的 自我小部件是一个字典 其中包含一组按钮的按键 为了简短
  • 如何将充满 UNIX 时间字符串的文件转换为人类可读的日期?

    我正在处理一个充满 unix 时间字符串的文件 我想将它们全部转换为人类可读的 该文件看起来像这样 1153335401 1153448586 1153476729 1153494310 1153603662 1153640211 这是脚本
  • 存在部分移动错误的结构

    我有一个简单的结构和它的两个实例 如下所示 derive Debug struct User first String last String age u32 let u1 User first String from John last
  • 在 Java 中为 Kotlin 编译器注释类型参数

    在Java中 我有以下方法 public Optional
  • 返回 False 在 jQuery.ajax 中不起作用

    P S 阅读 2019 06 29 编辑 我有一个用于更新用户信息的网络表单 当他更新电子邮件时 将通过以下方式执行验证ajax 这样 如果新的电子邮件地址已被其他用户使用 他就会收到警告 我试图在使用电子邮件时取消表单提交 但是retur
  • 自动生成 F# 签名文件 (.fsi)

    我正在开发一个项目 该项目有许多我想对其应用访问控制约束的模块 我还想让我的项目包含有关每个函数的类型签名的附加文档 我知道通过 F 签名文件可以非常轻松地完成这两项任务 但是 我的项目很大并且包含很多文件 我需要一种方便的方法为每个文件生