RERE.Absurd

Absurd i.e. not inhabited types.

Documentation

class Absurd a where

A vendored Absurd from https://hackage.haskell.org/package/boring

We only need Void instance.

Methods

absurd :: a -> b

Instances

Absurd Void

Defined in RERE.Absurd

Methods

absurd :: Void -> b

vacuous :: (Functor f, Absurd a) => f a -> f b

fmap absurd.