Documentation

data PropertyAccessEnum Source #

type family PropertyAccess (t :: Type) (m :: Type) :: PropertyAccessEnum Source #

class PropertyI t m Source #

class PropertyI (t :: Type) (m :: Type) => PropertyGetI t m where Source #

class PropertyI (t :: Type) (m :: Type) => PropertySetI t m where Source #

class PropertyS t m Source #

class PropertyS (t :: Type) (m :: Type) => PropertyGetS t m where Source #

class PropertyS (t :: Type) (m :: Type) => PropertySetS t m where Source #

getPropI :: forall ms propertyBridge propertyHask m tBase tDerived. (MakeT ms ~ m, ResolveBaseType tDerived m ~ tBase, (tDerived `Implements` tBase) ~ True, PropertyI tBase m, PropertyGetI tBase m, BridgeType (PropertyTypeI tBase m) ~ propertyBridge, Marshal (Object tBase) (BridgeType tBase), Unmarshal propertyBridge propertyHask) => Object tDerived -> IO propertyHask Source #

setPropI :: forall ms propertyBridge propertyHask m tBase tDerived. (MakeT ms ~ m, ResolveBaseType tDerived m ~ tBase, (tDerived `Implements` tBase) ~ True, PropertyI tBase m, PropertySetI tBase m, BridgeType (PropertyTypeI tBase m) ~ propertyBridge, Marshal (Object tBase) (BridgeType tBase), Marshal propertyHask propertyBridge) => Object tDerived -> propertyHask -> IO () Source #

getPropS :: forall ms ts propertyBridge propertyHask m t. (MakeT ms ~ m, MakeT ts ~ t, PropertyS t m, PropertyGetS t m, BridgeType (PropertyTypeS t m) ~ propertyBridge, Unmarshal propertyBridge propertyHask) => IO propertyHask Source #

setPropS :: forall ms ts propertyBridge propertyHask m t. (MakeT ms ~ m, MakeT ts ~ t, PropertyS t m, PropertySetS t m, BridgeType (PropertyTypeS t m) ~ propertyBridge, Marshal propertyHask propertyBridge) => propertyHask -> IO () Source #