exists-0.2: Existential datatypes holding evidence of constraints

Safe HaskellSafe-Infered

Data.Exists.CPS

Description

CPS-transformed versions of Exists and Exists1, provided for completeness and curiosity.

Documentation

newtype Exists c Source

Constructors

Exists 

Fields

withExists :: forall r. (forall a. c a => a -> r) -> r
 

newtype Exists1 c a Source

Constructors

Exists1 

Fields

withExists1 :: forall r. (forall f. c f => f a -> r) -> r