purescript-exists:现有类型作为库

纯文字存在 Exists类型，用于编码生存类型。 安装 spago install exists 概述 Exists f类型Exists f与存在类型exists a. fa是同构exists a. fa exists a. fa 。 例如，考虑类型exists s. Tuple s (s -> Tuple sa) exists s. Tuple s (s -> Tuple sa)表示类型a的元素的无限流。 可以通过如下创建类型构造器StreamF来构造此类型： data StreamF a s = StreamF s ( s -> Tuple s a ) 然后，我们可以使用Exists定义流的类型： type Stream a = Exists ( StreamF a ) 然后， mkExists和runExists函数启用将mkExists打包SteamF包到Stream