Type.Proxying.Ordering

class (Generic (f o) rep) <= GenericOProxying (rep :: Type) (f :: Ordering -> Type) (o :: Ordering)  where

Members

• genericOProxy :: Proxy rep -> f o

Instances

• (Generic (f o) (Constructor proxyName NoArguments)) => GenericOProxying (Constructor proxyName NoArguments) f o

class OProxying (f :: Ordering -> Type) (o :: Ordering)  where

Members

• oProxy :: f o

Instances

• OProxying OProxy o
• (Generic (f o) (Constructor proxyName NoArguments)) => OProxying f o

reflectOrdering :: forall o f. OProxying f o => IsOrdering o => (f o) -> Ordering

reifyOrdering :: forall r. Ordering -> (forall f o. OProxying f o => IsOrdering o => f o -> r) -> r