| Copyright | (C) 2014 Jan Stolarek |
|---|---|
| License | BSD-style (see LICENSE) |
| Maintainer | jan.stolarek@p.lodz.pl |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Promotion.Prelude.Void
Description
Defines promoted functions and datatypes relating to Void,
including a promoted version of all the definitions in Data.Void.
Because many of these definitions are produced by Template Haskell,
it is not possible to create proper Haddock documentation. Please look
up the corresponding operation in Data.Void. Also, please excuse
the apparent repeated variable names. This is due to an interaction
between Template Haskell and Haddock.
Synopsis
- type family Absurd (a :: Void) :: a where ...
- data AbsurdSym0 (l :: TyFun Void a6989586621679285232)
- type AbsurdSym1 (t :: Void) = Absurd t
Promoted functions from from Data.Void
type family Absurd (a :: Void) :: a where ... Source #
Equations
| Absurd a = Case_6989586621679285240 a a |
Defunctionalization symbols
data AbsurdSym0 (l :: TyFun Void a6989586621679285232) Source #
Instances
| SuppressUnusedWarnings (AbsurdSym0 :: TyFun Void a6989586621679285232 -> *) Source # | |
Methods suppressUnusedWarnings :: () Source # | |
| type Apply (AbsurdSym0 :: TyFun Void k2 -> *) (l :: Void) Source # | |
type AbsurdSym1 (t :: Void) = Absurd t Source #