Module

Data.Reflection.Monoid

Package: purescript-reflection
Repository: paf31/purescript-reflection

#ReflectedMonoid Source

newtype ReflectedMonoid s a

Constructors

ReflectedMonoid a

Instances

(Reifies s (ReifiedMonoid a)) => Semigroup (ReflectedMonoid s a)
(Reifies s (ReifiedMonoid a)) => Monoid (ReflectedMonoid s a)

#runReflectedMonoid Source

runReflectedMonoid :: forall a s. ReflectedMonoid s a -> a

#ReifiedMonoid Source

data ReifiedMonoid a

Constructors

ReifiedMonoid a (a -> a -> a)

#reifiedMempty Source

reifiedMempty :: forall a. ReifiedMonoid a -> a

#reifiedMappend Source

reifiedMappend :: forall a. ReifiedMonoid a -> a -> a -> a

#reifyMonoid Source

reifyMonoid :: forall r a. a -> (a -> a -> a) -> (forall s. Reifies s (ReifiedMonoid a) => Proxy s -> r) -> r

#reifyMonoid' Source

reifyMonoid' :: forall a. a -> (a -> a -> a) -> (forall x. Monoid x => (a -> x) -> x) -> a

Modules: Data.Reflection; Data.Reflection.Eq; Data.Reflection.Monoid; Data.Reflection.Ord; Data.Reflection.Semigroup