Measured a is a wrapper around the FactorialMonoid a that memoizes the monoid's length so it becomes a
constant-time operation. The parameter is restricted to the StableFactorial class, which guarantees that
length (a <> b) == length a + length b.
Instances17Eq, Data, Ord, Show, IsString, Semigroup, …
Eq a => Eq (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.MeasuredData a => Data (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.MeasuredOrd a => Ord (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.MeasuredShow a => Show (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured(FactorialMonoid a, IsString a) => IsString (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.MeasuredStableFactorial a => Semigroup (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured(StableFactorial a, Monoid a) => Monoid (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured(LeftGCDMonoid a, StableFactorial a) => LeftGCDMonoid (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured(RightGCDMonoid a, StableFactorial a) => RightGCDMonoid (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured(LeftReductive a, StableFactorial a) => LeftReductive (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured(RightReductive a, StableFactorial a) => RightReductive (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured(StableFactorial a, FactorialMonoid a) => FactorialMonoid (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured(StableFactorial a, MonoidNull a) => Factorial (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured(StableFactorial a, MonoidNull a) => StableFactorial (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured(StableFactorial a, Monoid a) => MonoidNull (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured(StableFactorial a, Monoid a) => PositiveMonoid (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured(Eq a, StableFactorial a, TextualMonoid a) => TextualMonoid (Measured a)Defined in monoid-subclasses-1.2.5.1 · Data.Monoid.Instances.Measured