shithub: MicroHs

ref: a73f8741c807e597a6bb9c5e64702c1e6e71c4b2
dir: /lib/Data/Void.hs/

View raw version 
module Data.Void(module Data.Void) where
import Prelude

data Void

absurd :: forall a . Void -> a
absurd v = seq v (error "absurd")

vacuous :: forall (f :: Type -> Type) a . Functor f => f Void -> f a
vacuous = fmap absurd