Data.Promotion.Prelude.Void

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.

Promoted functions from from Data.Void

type family Absurd (a :: Void) :: a where ...

Equations

Absurd a = Case_6989586621679303855 a a

Defunctionalization symbols

data AbsurdSym0 (l :: TyFun Void a6989586621679303847)

Instances

SuppressUnusedWarnings (AbsurdSym0 :: TyFun Void a6989586621679303847 -> *)

Defined in Data.Singletons.Prelude.Void

Methods

suppressUnusedWarnings :: ()

type Apply (AbsurdSym0 :: TyFun Void k2 -> *) (l :: Void)

Defined in Data.Singletons.Prelude.Void

type Apply (AbsurdSym0 :: TyFun Void k2 -> *) (l :: Void) = (Absurd l :: k2)

type AbsurdSym1 (t :: Void) = Absurd t