Module

Data.Reflection.Eq

Package
purescript-reflection
Repository
paf31/purescript-reflection

#ReflectedEq Source

newtype ReflectedEq s a

Constructors

Instances

#runReflectedEq Source

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

#ReifiedEq Source

newtype ReifiedEq a

Constructors

#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