Module

Data.Monoid.Always

Package: purescript-monoid-extras
Repository: mikesol/purescript-monoid-extras

#Always Source

class (Monoid b) <= Always a b  where

Always is guaranteed to produce a value and may produce the input if it is equal to the type of the output.

Members

always :: a -> b

Instances

(Monoid a) => Always a a
(Monoid b) => Always a b

Modules: Data.Monoid.Action; Data.Monoid.Always; Data.Monoid.Coproduct; Data.Monoid.Cut; Data.Monoid.Deletable; Data.Monoid.Inf; Data.Monoid.MList; Data.Monoid.Recommend; Data.Monoid.SemiDirectProduct; Data.Monoid.Split