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

Avoidable u => Avoidable ((((->) s :: Type -> Type) <:<.>:> (:*:) s) := u)

Defined in Pandora.Paradigm.Inventory.State

Methods

empty :: (((->) s <:<.>:> (:*:) s) := u) a

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

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

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