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

Instances

#SProxying Source

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

Members

Instances

#reflectSymbol Source

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

#reifySymbol Source

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