我一直在撞墙一段时间.我有一堆类型,它们表示基本类型的转换(更具体地说,是XMonad中的布局修饰符).
长话短说,这些类型都很亲切(* -> *) -> * -> *.
我想做的事情,由于我不想在这里讨论的原因,是采取一堆这些转换,并将它们表示为基本类型(实物* -> *)的单一转换.
我的第一个想法是定义一个类型合成运算符
newtype ((f :: (* -> *) -> * -> *) :. (g :: (* -> *) -> * -> *)) l a
= Compose (f (g l) a)
它在大多数情况下都有效.但是,给定一个值,比方说v :: f1 (f2 (f3 (... (fn l))) a,我必须应用Compose n-1它来获取v' :: (f1 :. f2 :. ... :. fn) l a,这不是很漂亮,有点烦人.
所以,问题是,有没有办法自动应用,Compose直到我得到我想要的东西？
F.ex.,现在我这样做:
modifyLayout $ Compose . Compose . …