Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- class Alternative t => Avoidable t where
- empty :: 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 <+> empty ≡ x * Right absorption: empty <+> x ≡ x
Instances
Avoidable Maybe Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Maybe | |
Avoidable t => Avoidable (Yoneda t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Yoneda | |
Avoidable t => Avoidable (Jack t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Jack | |
Avoidable t => Avoidable (Instruction t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Instruction empty :: Instruction t a Source # | |
Avoidable u => Avoidable ((((->) s :: Type -> Type) <:<.>:> (:*:) s) := u) Source # | |
(Covariant t, Avoidable u) => Avoidable (u <:.> Construction t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Construction empty :: (u <:.> Construction t) a Source # |