Data.Moldy

class Moldable t e | t -> e where

A Moldable type t is a monomorphic foldable structure with elements of type e.

Members

• moldMap :: forall m. Monoid m => (e -> m) -> t -> m
• moldl :: forall m. (m -> e -> m) -> m -> t -> m
• moldr :: forall m. (e -> m -> m) -> m -> t -> m

Instances

• (Foldable t) => Moldable (Molded t e) e
• Moldable String CodePoint

moldMapDefaultR :: forall m e t. Moldable t e => Monoid m => (e -> m) -> t -> m

A default implementation of moldMap based on moldr

moldMapDefaultL :: forall m e t. Moldable t e => Monoid m => (e -> m) -> t -> m

moldlDefault :: forall m e t. Moldable t e => (m -> e -> m) -> m -> t -> m

A default implementation of moldl based on moldMap

moldrDefault :: forall m e t. Moldable t e => (e -> m -> m) -> m -> t -> m

A default implementation of moldr based on moldMap

mold :: forall e t. Moldable t e => Monoid e => t -> e

Combine all the elements in the moldable type using the action of the monoid

newtype Molded t e

Every Foldable is Moldable

Constructors

• Molded (t e)

Instances

• Newtype (Molded t e) _
• (Foldable t) => Foldable (Molded t)
• (Functor t) => Functor (Molded t)
• (Traversable t) => Traversable (Molded t)
• (Foldable t) => Moldable (Molded t e) e

data Moldy t e a

For any Moldable t e, Mold t e is Foldable

Constructors

• Moldy (e -> a) t

Instances

• Functor (Moldy t e)
• (Moldable t e) => Foldable (Moldy t e)

moldy :: forall e t. t -> Moldy t e e

Construct a Moldy