purescript/purescript-exists

This is stars and forks stats for /purescript/purescript-exists repository. As of 26 Apr, 2024 this repository has 33 stars and 9 forks.

purescript-exists The Exists type, for encoding existential types. Installation spago install exists Overview The type Exists f is isomorphic to the existential type exists a. f a. For example, consider the type exists s. Tuple s (s -> Tuple s a) which represents infinite streams of elements of type a. This type can be constructed by creating a type constructor StreamF as follows: data StreamF a s = StreamF s (s -> Tuple s a) We can then define the type of streams using Exists: type Stream...