Module

Data.Reflection.Semigroup

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

#ReflectedSemigroup Source

newtype ReflectedSemigroup s a

Constructors

ReflectedSemigroup a

Instances

(Reifies s (ReifiedSemigroup a)) => Semigroup (ReflectedSemigroup s a)

#runReflectedSemigroup Source

runReflectedSemigroup :: forall a s. ReflectedSemigroup s a -> a

#ReifiedSemigroup Source

newtype ReifiedSemigroup a

Constructors

ReifiedSemigroup (a -> a -> a)

#reifiedAppend Source

reifiedAppend :: forall a. ReifiedSemigroup a -> a -> a -> a

#reifySemigroup Source

reifySemigroup :: forall r a. (a -> a -> a) -> (forall s. Reifies s (ReifiedSemigroup a) => Proxy s -> r) -> r

#reifySemigroup' Source

reifySemigroup' :: forall a. (a -> a -> a) -> (forall x. Semigroup x => (a -> x) -> x) -> a

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