Module

Type.Proxying.Ordering

Package
purescript-proxying
Repository
matthew-hilty/purescript-proxying

#GenericOProxying Source

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

Members

Instances

#OProxying Source

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

Members

Instances

#reflectOrdering Source

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

#reifyOrdering Source

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