Module

Type.Proxying.Boolean

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

#BProxying Source

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

Members

Instances

#GenericBProxying Source

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

Members

Instances

#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