Pandora.Pattern.Functor.Avoidable

Documentation

class Alternative t => Avoidable t where

When providing a new instance, you should ensure it satisfies:
* 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

(Avoidable t, Alternative t) => Avoidable (Comprehension t)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

empty :: Comprehension t a

Avoidable (Schematic Monad t u) => Avoidable (t :> u)

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic

Methods

empty :: (t :> u) a

(Pointable t, Applicative t, Covariant t', Avoidable u) => Avoidable ((t <:<.>:> t') := u)

Defined in Pandora.Paradigm.Schemes.TUT

Methods

empty :: ((t <:<.>:> t') := u) a

(Covariant u, Avoidable t) => Avoidable (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

empty :: (t <:.> u) a