Module

Data.Reflection.Ord

Package
purescript-reflection
Repository
paf31/purescript-reflection

#ReflectedOrd Source

newtype ReflectedOrd s a

Constructors

Instances

#runReflectedOrd Source

runReflectedOrd :: forall a s. ReflectedOrd s a -> a

#ReifiedOrd Source

data ReifiedOrd a

Constructors

#reifiedEq Source

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

#reifiedCompare Source

reifiedCompare :: forall a. ReifiedOrd a -> a -> a -> Ordering

#reifyOrd Source

reifyOrd :: forall r a. (a -> a -> Ordering) -> (forall s. Reifies s (ReifiedOrd a) => Proxy s -> r) -> r