Idris `foldl` default implementation

前端 未结 0 376
南方客
南方客 2021-01-24 19:24
interface Foldable t where
  foldr : (func : elem -> acc -> acc) -> (init : acc) -> (input : t elem) -> acc
  foldl         


        
相关标签:
回答
  • 消灭零回复
提交回复
热议问题