rere-0.1: Regular-expressions extended with fixpoints for context-free powers

Safe HaskellSafe
LanguageHaskell2010

RERE.Absurd

Description

Absurd i.e. not inhabited types.

Synopsis

Documentation

class Absurd a where Source #

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

We only need Void instance.

Methods

absurd :: a -> b Source #

Instances
Absurd Void Source # 
Instance details

Defined in RERE.Absurd

Methods

absurd :: Void -> b Source #

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

fmap absurd.