exist-0.2.0.0: Dependent sum type

Safe HaskellSafe
LanguageHaskell2010

Data.Exists.Constrained

Synopsis
  • data E c a = (Typeable k, c k) => E {}
  • map :: (forall k. c k => a k -> b k) -> E c a -> E c b
  • mapF :: Functor f => (forall k. c k => a k -> f (b k)) -> E c a -> f (E c b)

Documentation

data E c a Source #

Dependent sum

Constructors

(Typeable k, c k) => E 

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 #