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 <+> idle ≡ x
* Right absorption: idle <+> x ≡ x

Methods

idle :: t a

Instances

Avoidable Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Methods

idle :: Maybe a

Avoidable t => Avoidable (Yoneda t)

Defined in Pandora.Paradigm.Basis.Yoneda

Methods

idle :: Yoneda t a

Avoidable t => Avoidable (Free t)

Defined in Pandora.Paradigm.Basis.Free

Methods

idle :: Free t a

Avoidable t => Avoidable (Jack t)

Defined in Pandora.Paradigm.Basis.Jack

Methods

idle :: Jack t a

(Covariant (t u), Avoidable u) => Avoidable (Y t u)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

idle :: Y t u a

(Covariant t, Avoidable u) => Avoidable (T t u)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

idle :: T t u a

(Avoidable t, Covariant u) => Avoidable (U Co Co t u)

Defined in Pandora.Paradigm.Junction.Composition

Methods

idle :: U Co Co t u a

(Avoidable t, Covariant u, Covariant v) => Avoidable (UU Co Co Co t u v)

Defined in Pandora.Paradigm.Junction.Composition

Methods

idle :: UU Co Co Co t u v a

(Avoidable t, Covariant u, Covariant v, Covariant w) => Avoidable (UUU Co Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Composition

Methods

idle :: UUU Co Co Co Co t u v w a