purescript-exists
purescript-exists copied to clipboard
purescript
Existential types as a library
In case you want to hide two type arguments, the best I could figure out to do with the existing `Exist` is: ```hs data Sample a b = Sample a...
**Description of the change** fix #16 And the documentation was a bit wrong, so I fixed it. ```purs nats :: Stream Number nats = mkExists $ StreamF 0 (\n ->...
I found myself implementing a very basic `mapExists` function for my latest project, and wondered if it might fit here: ```purescript -- | Map the interoior of an existential mapExists...
I guess it save the allocation of one lambda? Just wondered if there were any other reasons to prefer the current version. For reference, I'm talking about this as the...
