Pandora.Pattern.Functor.Avoidable

Documentation

class Alternative t => Avoidable t where

When providing a new instance, you should ensure it satisfies the two laws:
* Left absorption: x <+> empty ≡ x
* Right absorption: empty <+> x ≡ x

Methods

empty :: t a

Instances

Avoidable Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

empty :: Maybe a

Avoidable Stack

Defined in Pandora.Paradigm.Structure.Stack

Methods

empty :: Stack a

Avoidable t => Avoidable (Yoneda t)

Defined in Pandora.Paradigm.Basis.Yoneda

Methods

empty :: Yoneda t a

Avoidable t => Avoidable (Free t)

Defined in Pandora.Paradigm.Basis.Free

Methods

empty :: Free t a

Avoidable t => Avoidable (Jack t)

Defined in Pandora.Paradigm.Basis.Jack

Methods

empty :: Jack t a