回答情况：
提问时间：
问题标签：
Preprocessing executable 'factor-anamorphism' for[1 of 1] Compiling FactorAnamorphism( app/FactorAnamorphism.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/factor-anamorphism/factor-anamorphism</e
浏览 1提问于2017-04-23得票数 7
回答已采纳
deriving instance (Show (f (Fix f))) => Show (Fix f)
out (In f) = f
-- Anamorphism
浏览 3修改于2022-11-19得票数 3
回答已采纳
instance (Eq (f (Fix f))) => Eq (Fix f) out :: Fix f -> f (Fix f)
-- Anamorphism
浏览 5修改于2022-08-18得票数 1
回答已采纳
a = f a -> a
cata f = f . fmap (cata f) . out
-- Anamorphism
浏览 7提问于2022-11-10得票数 1
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号