Module
Data.Reflection.Ord
- Package
- purescript-reflection
- Repository
- paf31/purescript-reflection
#ReflectedOrd Source
newtype ReflectedOrd s a
Constructors
Instances
(Reifies s (ReifiedOrd a)) => Eq (ReflectedOrd s a)
(Reifies s (ReifiedOrd a)) => Ord (ReflectedOrd s a)
#runReflectedOrd Source
runReflectedOrd :: forall a s. ReflectedOrd s a -> a
#reifiedEq Source
reifiedEq :: forall a. ReifiedOrd a -> a -> a -> Boolean
#reifiedCompare Source
reifiedCompare :: forall a. ReifiedOrd a -> a -> a -> Ordering