stack-prism:使用堆叠类型的Haskell透镜棱镜

Haskell库，用于表达和推导堆叠棱镜。 堆叠棱镜是双向同构，在向后方向上是局部的。 这些棱镜与库兼容。 堆栈棱镜可以表示构造函数对解构函数对。 例如： nil :: StackPrism t ([ a ] :- t ) nil = stackPrism f g where f t = [] :- t g ( [] :- t) = Just t g _ = Nothing cons :: StackPrism ( a :- [ a ] :- t ) ([ a ] :- t ) cons = stackPrism f g where f (x :- xs :- t) = (x : xs) :- t g ((x : xs) :- t) = Just (x :- xs :- t) g _ = Nothing 在这里:-可以读作'c