Module

Type.Proxying

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

Re-exports from Type.Proxying.Boolean

#BProxying Source

class BProxying (f :: Boolean -> Type) (b :: Boolean)  where

Members

Instances

#reifyBoolean Source

reifyBoolean :: forall r. Boolean -> (forall b f. BProxying f b => IsBoolean b => f b -> r) -> r

#reflectBoolean Source

reflectBoolean :: forall f b. BProxying f b => IsBoolean b => (f b) -> Boolean

Re-exports from Type.Proxying.Ordering

#OProxying Source

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

Members

Instances

#reifyOrdering Source

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

#reflectOrdering Source

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

Re-exports from Type.Proxying.Row

#RProxying Source

class RProxying (f :: # Type -> Type) (r :: # Type)  where

Members

Instances

Re-exports from Type.Proxying.RowList

#RLProxying Source

class RLProxying (f :: RowList -> Type) (l :: RowList)  where

Members

Instances

Re-exports from Type.Proxying.Symbol

#SProxying Source

class SProxying (f :: Symbol -> Type) (s :: Symbol)  where

Members

Instances

#reifySymbol Source

reifySymbol :: forall r. String -> (forall f s. IsSymbol s => SProxying f s => f s -> r) -> r

#reflectSymbol Source

reflectSymbol :: forall f s. IsSymbol s => SProxying f s => (f s) -> String

Re-exports from Type.Proxying.Type

#TProxying Source

class TProxying (f :: Type -> Type) (a :: Type)  where

Members

Instances

Re-exports from Type.Proxying.Type2

#T2Proxying Source

class T2Proxying (f :: (Type -> Type) -> Type) (a :: Type -> Type)  where

Members

Instances

Re-exports from Type.Proxying.Type3

#T3Proxying Source

class T3Proxying (f :: (Type -> Type -> Type) -> Type) (a :: Type -> Type -> Type)  where

Members

Instances