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