Safe Haskell	None
Language	Haskell2010

Data.ClassSharing

Synopsis

Documentation

data Shared f a Source

newtype Shareable f a Source

Constructors

Shareable
Fields run :: Ref -> f a

Instances

Functor f => Functor (Shareable f) Source
Applicative f => Applicative (Shareable f) Source
Alternative f => Alternative (Shareable f) Source

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

Share/memoize a class member of type f a.

unsafeAccess :: Shared f a -> Shareable f a Source

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.

runShared :: Shared f a -> Ref -> f a Source

type Ref = IORef DynMap Source

data DynMap Source

A dynamic map with type safe insertion and lookup.

Instances

Show DynMap Source

newRef :: IO Ref Source

unsafeNewRef :: () -> Ref Source

class Typeable a

The class Typeable allows a concrete representation of a type to be calculated.

Minimal complete definition

typeRep#