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.Primary.Functor.Maybe

Methods

empty :: Maybe a

Avoidable t => Avoidable (Yoneda t)

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

empty :: Yoneda t a

Avoidable t => Avoidable (Jack t)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

empty :: Jack t a

Avoidable t => Avoidable (Instruction t)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

empty :: Instruction t a

(Covariant t, Avoidable u) => Avoidable (TU Covariant Covariant u (Construction t))

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

empty :: TU Covariant Covariant u (Construction t) a