Modulemonoid-subclasses-1.2.5.1Haskell2010

Data.Monoid.Null

This module defines the MonoidNull class and some of its instances.

2 classes

Packagemonoid-subclasses-1.2.5.1
Exports2
LanguageHaskell2010
LicenceBSD-3-Clause
SourceNull.hs

classclass Monoid m => MonoidNull m where

Extension of Monoid that allows testing a value for equality with mempty. The following law must hold:

Property

prop> null x == (x == mempty)

Furthermore, the performance of this method should be constant, i.e., independent of the length of its argument.

Methods

null :: m -> Bool

Instances48MonoidNull, …

MonoidNull ByteStringDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull ByteStringDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull IntSetDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull AllDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull AnyDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull OrderingDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull ByteStringUTF8Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.ByteString.UTF8
O(1)
MonoidNull TextDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull TextDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull ()Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
Monoid a => MonoidNull (Maybe a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
Ord a => MonoidNull (Set a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull (IntMap v)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull (Seq a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull (First a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull (Last a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull (Vector a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull [x]Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull a => MonoidNull (WrappedMonoid a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull a => MonoidNull (Identity a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull a => MonoidNull (Down a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull a => MonoidNull (Dual a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull p => MonoidNull (Par1 p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid a => MonoidNull (Concat a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Concat
(Num a, Eq a) => MonoidNull (Product a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(Num a, Eq a) => MonoidNull (Sum a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(Ord a, Bounded a) => MonoidNull (Max a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(Ord a, Bounded a) => MonoidNull (Min a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(MonoidNull m, StableFactorial m) => MonoidNull (Shadowed m)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.PrefixMemory
(StableFactorial a, Monoid a) => MonoidNull (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured
(StableFactorial m, FactorialMonoid m) => MonoidNull (OffsetPositioned m)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Positioned
(StableFactorial m, TextualMonoid m, MonoidNull m) => MonoidNull (LinePositioned m)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Positioned
Ord k => MonoidNull (Map k v)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull (Proxy a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull (U1 p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(MonoidNull a, MonoidNull b) => MonoidNull (Stateful a b)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Stateful
(MonoidNull a, MonoidNull b) => MonoidNull (a, b)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull (f p) => MonoidNull (Rec1 f p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull r => MonoidNull (Const r a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(MonoidNull a, MonoidNull b, MonoidNull c) => MonoidNull (a, b, c)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull c => MonoidNull (K1 i c p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(MonoidNull (f a), MonoidNull (g a)) => MonoidNull (Product f g a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(MonoidNull (f p), MonoidNull (g p)) => MonoidNull ((:*:) f g p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(MonoidNull a, MonoidNull b, MonoidNull c, MonoidNull d) => MonoidNull (a, b, c, d)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull (f (g a)) => MonoidNull (Compose f g a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull (f (g p)) => MonoidNull ((:.:) f g p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
MonoidNull (f p) => MonoidNull (M1 i c f p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(MonoidNull a, MonoidNull b, MonoidNull c, MonoidNull d, MonoidNull e) => MonoidNull (a, b, c, d, e)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null

classclass MonoidNull m => PositiveMonoid m

Subclass of Monoid for types whose values have no inverse, with the exception of mempty. More formally, the class instances must satisfy the following law:

Property

prop> null (x <> y) == (null x && null y)

Instances42PositiveMonoid, …

PositiveMonoid ByteStringDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid ByteStringDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid IntSetDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid AllDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid AnyDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid OrderingDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid ByteStringUTF8Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.ByteString.UTF8
PositiveMonoid TextDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid TextDefined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid ()Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
Monoid a => PositiveMonoid (Maybe a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
Ord a => PositiveMonoid (Set a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid (IntMap v)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid (Seq a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid (First a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid (Last a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid (Product Natural)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid (Sum Natural)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid (Vector a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid [x]Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid a => PositiveMonoid (WrappedMonoid a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid a => PositiveMonoid (Identity a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid a => PositiveMonoid (Down a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid a => PositiveMonoid (Dual a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid a => PositiveMonoid (Concat a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Concat
PositiveMonoid p => PositiveMonoid (Par1 p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(Ord a, Bounded a) => PositiveMonoid (Max a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(Ord a, Bounded a) => PositiveMonoid (Min a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(PositiveMonoid m, StableFactorial m) => PositiveMonoid (Shadowed m)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.PrefixMemory
(StableFactorial a, Monoid a) => PositiveMonoid (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured
(StableFactorial m, FactorialMonoid m) => PositiveMonoid (OffsetPositioned m)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Positioned
(StableFactorial m, TextualMonoid m) => PositiveMonoid (LinePositioned m)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Positioned
Ord k => PositiveMonoid (Map k v)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid (Proxy a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid (U1 p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
(PositiveMonoid a, PositiveMonoid b) => PositiveMonoid (Stateful a b)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Stateful
PositiveMonoid (f p) => PositiveMonoid (Rec1 f p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid r => PositiveMonoid (Const r a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid c => PositiveMonoid (K1 i c p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid (f (g a)) => PositiveMonoid (Compose f g a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid (f (g p)) => PositiveMonoid ((:.:) f g p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null
PositiveMonoid (f p) => PositiveMonoid (M1 i c f p)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Null