Safe Haskell | Safe-Infered |
---|
CPS-transformed versions of Exists
and Exists1
, provided for completeness and curiosity.
Documentation
Exists | |
|
Existential (Exists c) |
|
Exists1 | |
|
Existential1 (Exists1 c) |
|
Safe Haskell | Safe-Infered |
---|
CPS-transformed versions of Exists
and Exists1
, provided for completeness and curiosity.
Exists | |
|
Existential (Exists c) |
|
Exists1 | |
|
Existential1 (Exists1 c) |
|