Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- class Alternative t => Avoidable t where
- idle :: t a
Documentation
class Alternative t => Avoidable t where Source #
When providing a new instance, you should ensure it satisfies the two laws: * Left absorption: x <+> idle ≡ x * Right absorption: idle <+> x ≡ x
Instances
Avoidable Maybe Source # | |
Defined in Pandora.Paradigm.Basis.Maybe | |
Avoidable t => Avoidable (Yoneda t) Source # | |
Defined in Pandora.Paradigm.Basis.Yoneda | |
Avoidable t => Avoidable (Free t) Source # | |
Defined in Pandora.Paradigm.Basis.Free | |
Avoidable t => Avoidable (Jack t) Source # | |
Defined in Pandora.Paradigm.Basis.Jack | |
(Avoidable t, Covariant u) => Avoidable (TU Co Co t u) Source # | |
(Covariant (t u), Avoidable u) => Avoidable (UTU Co Co t u) Source # | |
(Covariant t, Avoidable u) => Avoidable (UT Co Co t u) Source # | |
(Avoidable t, Covariant u, Covariant v) => Avoidable (TUV Co Co Co t u v) Source # | |
(Avoidable t, Covariant u, Covariant v, Covariant w) => Avoidable (TUVW Co Co Co Co t u v w) Source # | |