您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. lean-error-location-源码

  2. 一个小的库,提供宏以将源位置添加到单子错误处理中。 该库导出两个宏: __lineNum__ :被下面的CodeLocation结构的实例替换。 withCL[...] :需要一个参数(f: CodeLocation -> α)并将其替换为(f __lineNum__) 。 例如,它还导出mkIOUserError ,这是一个包装器,用于构造带有代码位置的IO.userError。用法示例: throw withCL[mkIOUserError "error"] -将返回IO.user
  3. 所属分类:其它