exist-0.2.0.0: Dependent sum type
Data.Exists.Constrained
data E c a Source #
Dependent sum
Constructors
Fields
map :: (forall k. c k => a k -> b k) -> E c a -> E c b Source #
mapF :: Functor f => (forall k. c k => a k -> f (b k)) -> E c a -> f (E c b) Source #