exist-0.1.1.0: Dependent sum type

Safe HaskellSafe
LanguageHaskell2010

Data.Exists.Constrained

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

Documentation

data E c a Source #

Dependent sum

Constructors

(Typeable k, c k) => E 

Fields

liftE :: (forall k. c k => a k -> b k) -> E c a -> E c b Source #