Module

Data.Reflection.Eq

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

#ReflectedEq Source

newtype ReflectedEq s a

Constructors

ReflectedEq a

Instances

(Reifies s (ReifiedEq a)) => Eq (ReflectedEq s a)

#runReflectedEq Source

runReflectedEq :: forall a s. ReflectedEq s a -> a

#ReifiedEq Source

newtype ReifiedEq a

Constructors

ReifiedEq (a -> a -> Boolean)

#reifiedEq Source

reifiedEq :: forall a. ReifiedEq a -> a -> a -> Boolean

#reifyEq Source

reifyEq :: forall r a. (a -> a -> Boolean) -> (forall s. Reifies s (ReifiedEq a) => Proxy s -> r) -> r

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