| 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 a6989586621679303847)
- type AbsurdSym1 (t :: Void) = Absurd t
Promoted functions from from Data.Void
type family Absurd (a :: Void) :: a where ... Source #
Equations
| Absurd a = Case_6989586621679303855 a a |
Defunctionalization symbols
data AbsurdSym0 (l :: TyFun Void a6989586621679303847) Source #
Instances
| SuppressUnusedWarnings (AbsurdSym0 :: TyFun Void a6989586621679303847 -> *) Source # | |
Defined in Data.Singletons.Prelude.Void Methods suppressUnusedWarnings :: () Source # | |
| type Apply (AbsurdSym0 :: TyFun Void k2 -> *) (l :: Void) Source # | |
Defined in Data.Singletons.Prelude.Void | |
type AbsurdSym1 (t :: Void) = Absurd t Source #