Data.Exists.CPS

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

Documentation

newtype Exists c

Constructors

Exists

Fields

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

Instances

Existential (Exists c)

ConstraintOf (Exists c) = c

newtype Exists1 c a

Constructors

Exists1

Fields

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

Instances

Existential1 (Exists1 c)

ConstraintOf1 (Exists1 c) = c