Data.ClassSharing · dictionary-sharing-0.1.0.0

newtypenewtype Shared (f :: Type -> Type) a

#

newtypenewtype Shareable (f :: Type -> Type) a

#

Constructors

Shareable
- run :: Ref -> f a

Instances3Functor, Applicative, Alternative

Functor f => Functor (Shareable f)Defined in dictionary-sharing-0.1.0.0 · Data.ClassSharing
Applicative f => Applicative (Shareable f)Defined in dictionary-sharing-0.1.0.0 · Data.ClassSharing
Alternative f => Alternative (Shareable f)Defined in dictionary-sharing-0.1.0.0 · Data.ClassSharing

valueshare :: (Typeable a, Typeable f) => Shareable f a -> Shared f a

#

Share/memoize a class member of type f a.

valueunsafeAccess :: Shared f a -> Shareable f a

#

Should only be used to access class members. A safe wrapper should be defined for every shared class member. Direct access can lead to overriding class member definitions.