代码之家 › 专栏 › 技术社区 › Bercovici Adrian

在ADT上解析readeither

either algebraic-data-types haskell

Bercovici Adrian · 技术社区 · 6 年前

你好我想知道 Algebraic Data Type 如何解决以下问题:

u::Text->String
u =Data.Text.unpack

 data Numeric=I Int | D Double

 readNumeric::Text->Either String Numeric
 readNumeric text=let str=u text in
                      if '.' `elem` str then 
                       D (readEither str::Either String Double)
                      else
                       I (readEither str::Either String Int)

我怎么能把这两个都盖上 sides 属于 Either 给定一个 ADT ?实际 2*2 案例,统一?

我在考虑使用 fromRight 在每个分支上(例如 fromRight (D 0) )的 pattern-matching (在我们的情况下,如果只有2个案例),但我不知道是不是最好的方法。但是 从右边 返回内部类型..我要保留 要么

有什么想法吗?

1 回复 | 直到 6 年前

talex 6 年前

这不是你需要的吗?

readNumeric::Text -> Either String Numeric
readNumeric text=let str = u text in
                      if '.' `elem` str then 
                       fmap D (readEither str::Either String Double)
                      else
                       fmap I (readEither str::Either String Int)

推荐文章

Azathoth · 当使用过滤器不删除任何案例时,涉及空列表的案例不会编译

2 年前

Ethan Smallwood · Haskell从列表中的记录获取数据

2 年前

trpnd · 如何定义由两个任意单声道变压器组成的单声道变压器?

2 年前

Delfin · Haskell从do符号到Applicative符号的传递(第2部分)

2 年前

Fabus1184 · Haskell mapM_不打印

2 年前

Gotthold · 基于范数约束向量的类型

2 年前

dmcdo · 有没有一种干净的方法可以在一个表达式中得到列表的开头和结尾?

2 年前

jian · haskell将另一个函数用作输入参数

2 年前

Jocafrei · 用Haskell函数实现最大公约数函数

6 年前

pcoppi · 尝试在Haskell和根据-Wall编写函数时,我需要一个匹配(\u:\ u:\ u)的模式。这个模式意味着什么,为什么我需要它?

6 年前