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

bProxy :: f b

Instances

BProxying BProxy b
(Generic (f b) (Constructor proxyName NoArguments)) => BProxying f b

#reifyBoolean Source

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

#reflectBoolean Source

reflectBoolean :: forall b f. 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

oProxy :: f o

Instances

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

#reifyOrdering Source

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

#reflectOrdering Source

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

Re-exports from Type.Proxying.Row

#RProxying Source

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

Members

rProxy :: f r

Instances

RProxying RProxy r
RProxying RProxy r
(Generic (f r) (Constructor proxyName NoArguments)) => RProxying f r

Re-exports from Type.Proxying.RowList

#RLProxying Source

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

Members

rlProxy :: f l

Instances

RLProxying RLProxy l
RLProxying RLProxy l
(Generic (f l) (Constructor proxyName NoArguments)) => RLProxying f l

Re-exports from Type.Proxying.Symbol

#SProxying Source

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

Members

sProxy :: f s

Instances

SProxying SProxy s
(Generic (f s) (Constructor proxyName NoArguments)) => SProxying f s

#reifySymbol Source

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

#reflectSymbol Source

reflectSymbol :: forall s f. 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

tProxy :: f a

Instances

TProxying Proxy a
(Generic (f t) (Constructor proxyName NoArguments)) => TProxying f t

Re-exports from Type.Proxying.Type2

#T2Proxying Source

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

Members

t2Proxy :: f a

Instances

T2Proxying Proxy2 a
(Generic (f t) (Constructor proxyName NoArguments)) => T2Proxying f t

Re-exports from Type.Proxying.Type3

#T3Proxying Source

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

Members

t3Proxy :: f a

Instances

T3Proxying Proxy3 a
(Generic (f t) (Constructor proxyName NoArguments)) => T3Proxying f t

Modules: Type.Proxying; Type.Proxying.Boolean; Type.Proxying.Ordering; Type.Proxying.Row; Type.Proxying.RowList; Type.Proxying.Symbol; Type.Proxying.Type; Type.Proxying.Type2; Type.Proxying.Type3