Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Data.Exists
Documentation
data Exists (f :: k -> *) :: * where Source #
hdiff-0.0.1: Pattern-Expression-based differencing of arbitrary types.
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Data.Exists
data Exists (f :: k -> *) :: * where Source #