Module

Type.Proxying.Boolean

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

#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

#GenericBProxying Source

class (Generic (f b) rep) <= GenericBProxying (rep :: Type) (f :: Boolean -> Type) (b :: Boolean)  where

Members

genericBProxy :: Proxy rep -> f b

Instances

(Generic (f b) (Constructor proxyName NoArguments)) => GenericBProxying (Constructor proxyName NoArguments) f b

#reflectBoolean Source

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

#reifyBoolean Source

reifyBoolean :: forall r. Boolean -> (forall f b. BProxying f b => IsBoolean b => f b -> 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