Module

Data.Reflection.Monoid

Package
purescript-reflection
Repository
paf31/purescript-reflection

#ReflectedMonoid Source

#runReflectedMonoid Source

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

#ReifiedMonoid Source

data ReifiedMonoid a

Constructors

#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