Searched refs:reifiedMempty (Results 1 – 6 of 6) sorted by relevance
575 data ReifiedMonoid a = ReifiedMonoid { reifiedMappend :: a -> a -> a, reifiedMempty :: a } function584 mempty = reflectResult (\m -> ReflectedMonoid (reifiedMempty m ))
587 data ReifiedMonoid a = ReifiedMonoid { reifiedMappend :: a -> a -> a, reifiedMempty :: a } function596 mempty = reflectResult (\m -> ReflectedMonoid (reifiedMempty m ))