腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
从
异
常到
ExceptT
的
映射
haskell
、
exception
、
lazy-evaluation
、
monad-transformers
我正在读一章关于异常
的
文章,所以我决定尝试一下,并将一个异常
映射
到
ExceptT
monad转换器。我
的
函数getInt可以
从
控制台读取一个整数,并将异常报告为"what's report“: getInt ::
ExceptT
String IO Int getInt =
ExceptT
$ doLeft . show $ e 我试过了,不幸
的
是异常没有被捕捉到,懒惰在嘲笑我。好吧,让我对seq进行严格
的
说明。g
浏览 28
提问于2020-04-16
得票数 1
回答已采纳
1
回答
列表到任何一个列表
haskell
、
exception
Nothing -> throwError $ Validation InvalidBId :: MyMonad m ->
ExceptT
Error m [TypeB] validateAs as/Domain/CancelPolicyV2/Validation.hs:89:
浏览 7
提问于2021-01-12
得票数 2
2
回答
Control.Exception.Safe,为什么
ExceptT
和两者
的
行为如此不同?
haskell
、
exception
、
error-handling
、
either
Except基本上不是为处理异常而设计
的
吗?为什么会有这种奇怪
的
行为?为什么不是Left "Foo"
的
等价物好
的
,进一步说明我
的
问题: 我认为
ExceptT
e m a之于Either e a就像ReaderT a m b之于a -> b。当我想在monad transformers
的
上下文中使用由Control.Exception.Safe提供
的
Either e a
的
行为时,我该怎么办?EDIT2
浏览 3
提问于2017-12-30
得票数 2
1
回答
如何使用服务库中
的
Enter解决类型错误?
haskell
、
servant
我试图使用enter函数来运行我
的
API处理程序,但有一组异常将在较高级别上转换为服务程序,但是类型匹配出现了问题。鉴于这一最低限度
的
定义:server :: Config -> ServerT Routes (
ExceptT
ServantErr) ::
ExceptT
AppErr IO a ->
ExceptT
ServantErr IO a (在上面我使用n ~
ExceptT
Serv
浏览 1
提问于2017-01-21
得票数 0
回答已采纳
1
回答
使用Logic对
ExceptT
抛出
的
异常进行回溯
haskell
、
search
、
alternative-functor
、
monadplus
我想使用Logic monad来确保抛出错误
的
代码(在monad堆栈中包括ExcepT)在抛出错误时回溯。下面是一个简单
的
例子: deriving (Functor, Applicative我可以通过取消选择操作(即,使用lift (msum ...)而不是现在存在
的
普通msum调用)使其回溯。但是,出于各种原因,我希望能够在
ExceptT
monad中编写代码,基本上只需将MonadPl
浏览 2
提问于2021-01-07
得票数 0
回答已采纳
1
回答
如何处理C++加载
的
C#动态链接库中
的
异常
c#
、
c++
、
com
、
exception-handling
我有一个用C#创建
的
动态链接库,目的是为第三方C#库提供COM接口。我有一个使用该COM接口
的
C++程序,以便它可以与C#库通信。有时,在C#端抛出异常,而我在C++端得到
的
只是来自COM调用
的
HRESULT,它表示“发生了异常”(或者类似的东西)。有没有办法让我获得整个异常信息,以便我可以在我
的
C++应用程序
的
日志中打印一条信息性消息?如果不是,在HRESULT端有什么我可以做
的
事情,在它们触发之前拦截所有异常,无论什么机制将HRESULT返回给C++,以便我可以在C
浏览 0
提问于2009-02-26
得票数 4
回答已采纳
1
回答
使用ErrorT累积误差
haskell
、
exception-handling
、
monads
、
either
我想累积更多
的
错误。
浏览 0
提问于2016-11-05
得票数 2
1
回答
捕获多种类型
的
异常
postgresql
、
haskell
、
exception
FormatErrorResultError我想编写一个函数,捕捉query生成
的
这4种异常中
的
任何一种,并将它们提升到
ExceptT
中。runQuery :: (ToRow q, FromRow r) => Query -> q ->
ExceptT
ServantErr IO [r] runQuery conn q sub = do如何捕获4种异常类型中
的
任何一种,并根据类型将其
映射
到ServantErr,但仍然允许任何我
浏览 6
提问于2015-10-13
得票数 2
回答已采纳
1
回答
除了如何处理锁链?
haskell
我有一个关于链式Control.Monad.Except
的
问题。LexError (Except BufError) a解析器可以处理任何源,并将发生
的
错误
从
源移到
ExceptT
ParseError m a。parse::Monad m=>m a->
ExceptT
ParseError m a现在,当使用不同
的
源运行解析器时,需要不同
的
处理程序
从</
浏览 3
提问于2020-07-01
得票数 1
回答已采纳
1
回答
rest在仆人中
的
一个简单例子,或者“如何正确地混合monads”?
rest
、
haskell
、
monads
、
servant
我想在服务0.5中构建rest
的
一个简单示例:appreturn $ Just [MyData 111 222] startApp = run 8080 app 我无法使它编译,因为很多错误
的
“无法匹配预期
的
类型”在不同
的
地方。我想这是因为我在"getItems“中混合了两个不同
的
单元组。但不只是。
浏览 0
提问于2016-03-25
得票数 2
回答已采纳
1
回答
Affjax中
的
Argonaut JSON解码
purescript
、
argonaut
我试图
从
Haskell服务器上获取一些JSON数据,但是Respondeable实例以及普通
的
Affjax实例都有问题。我已经用EncodeJson + DecodeJson定义了Data.Argonaut.Generic.Aeson (GA),但是我不知道如何将它与Respondeable实例和它
的
fromResponse它给出了错误“无法匹配类型为Json
的
外部类型”,但是是否可以重用我
的
decodeJson实例而不必手工创建任何其他东西?我已经看到了手工在中是如何实现
的
,但是我有一
浏览 6
提问于2017-03-21
得票数 2
回答已采纳
2
回答
怎么包起来?
haskell
下面是haskellbook中
的
代码片段,它一步一步地展示了monad转换器将如何展开: embedded = return 1 我试了如下: embedded' :: MaybeT (
ExceptT
S
浏览 6
提问于2017-09-25
得票数 1
回答已采纳
1
回答
在servant中捕获IO异常
haskell
、
servant
我使用servant实现一个简单
的
JSON api,它允许您创建用户,其名称必须是惟一
的
。这是由SQLite中
的
唯一约束强制执行
的
。我有一个函数DB.saveUser :: UserReq -> IO Int,它(毫不奇怪)将用户保存到SQLite并返回生成
的
id。所以我
的
问题是,有什么方法可以在Handler Monad中捕获SQLError吗?如果不是,那么实现我想要
的
最干净
的
方式是什么呢?我想过让DB.saveUser返回一个Maybe I
浏览 10
提问于2019-02-19
得票数 0
回答已采纳
1
回答
处理程序和单子
haskell
、
monads
、
monad-transformers
、
servant
我在努力写
的
和Monad data Configuration p :: */app/Main.hs:55:3: error: • Couldn't match type ‘KindUid
浏览 1
提问于2019-11-25
得票数 1
回答已采纳
1
回答
如何将此函数
从
ExceptT
转换为除Haskell之外
的
其他函数?
haskell
、
exception
、
monad-transformers
我对Except感到非常困惑,特别是因为网上没有很好
的
教程。我不知道如何将这个函数
从
ExceptT
转换成ExceptbadFunction
浏览 0
提问于2020-06-09
得票数 2
回答已采纳
1
回答
管道中
的
错误处理
haskell
、
haskell-pipes
由于我们正在读取一个文件,所以我们
的
monad堆栈中已经有了IO和SafeT,因此,我想我需要
ExceptT
将错误处理输入到monad堆栈中。这就是我被困住
的
地方。readNumbers3 = P.runSafeT $ runExceptT $ P.toListM $推断类型
的
readNumbers3读取readNumbers
浏览 1
提问于2016-05-05
得票数 1
回答已采纳
2
回答
两个单体之间
的
区别: ErrorT e Identity v和任一e v
haskell
、
monads
有人能解释一下那Either String Integer呢?
浏览 0
提问于2016-04-22
得票数 1
1
回答
Rest响应(异常/错误/默认)
java
、
rest
、
api
、
spring-boot
我想知道关于Rest响应
的
以下情况
的
最佳实践。如果抛出异常更好,那么如何避免留下来自故意抛出
的
异常
的
错误消息? 谢谢
浏览 1
提问于2018-10-09
得票数 0
回答已采纳
1
回答
在Spring中处理rest控制器中
的
异常
java
、
spring
、
rest
、
spring-boot
、
exception
我想知道在控制器中处理异常
的
更好方法是什么。我见过其他问题,但没有找到答案。@GetMapping 更简单
的
方法是什么?
浏览 1
提问于2019-05-23
得票数 0
回答已采纳
1
回答
什么是干净
的
方法来处理一个单一
的
呼叫另一个?
haskell
、
monads
、
monad-transformers
这是一个把单子粘合在一起
的
问题。不是在堆栈形式中,而是在需要打开一个monad以在另一个中运行操作
的
形式中。但是,这确实使我
的
实际直通操作非常简单:getPage pageid = doApp{weblog} <-
浏览 2
提问于2015-04-27
得票数 7
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
我的起源:从毁灭中走向新生,感受不一样的异世界沙盒手游
WiFi安全年中报告:你的网络最容易受到这五种攻击!
最新最全面的Spring详解(六)——Spring-Mybatis整合
小姐姐也爱的北通H2单双两用游戏手柄,荣耀亲选出品,值得信赖
构建系统性投资体系如织网
热门
标签
更多标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
活动推荐
运营活动
广告
关闭
领券