Module
Data.Reflection.Monoid
- Package
- purescript-reflection
- Repository
- paf31/purescript-reflection
#ReflectedMonoid Source
newtype ReflectedMonoid s a
Constructors
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
#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