如果我有一个包含许多链接的文档,并且我想特别下载一张名为 www.website.de/picture/example_2015-06-15.jpeg 的图片,我该如何编写一个命令来自动下载我提取的这张图片出我的文件?
我的想法是这样,但我会收到一条失败消息,如“wget:URL 丢失”:
grep -E 'www.website.de/picture/example_2015-06-15.jpeg' document | wget
Run Code Online (Sandbox Code Playgroud) data Weekday = Mon | Tue | Wed | Thu | Fri | Sat | Sun
Run Code Online (Sandbox Code Playgroud)
如何在不使用的情况下将其声明为Eq实例 deriving Eq
我是否必须为每一种可能性声明它,例如:
instance Eq Weekday where
Mon == Mon = True
Mon == _ = False
_ == Mon = False
Tue == Tue = True
... == ... = ..
Run Code Online (Sandbox Code Playgroud)
还是有更聪明的解决方案?