Module

Type.Proxying.Symbol

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

#GenericSProxying Source

class (Generic (f s) rep) <= GenericSProxying (rep :: Type) (f :: Symbol -> Type) (s :: Symbol)  where

Members

genericSProxy :: Proxy rep -> f s

Instances

(Generic (f s) (Constructor proxyName NoArguments)) => GenericSProxying (Constructor proxyName NoArguments) f s

#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

#reflectSymbol Source

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

#reifySymbol Source

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

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