Moduledictionary-sharing-0.1.0.0Haskell2010

Data.ClassSharing

Synopsis

newtype Shared
newtype Shareable
value share
value unsafeAccess
value runShared
type Ref
newtype DynMap
value newRef
value unsafeNewRef
class Typeable

Packagedictionary-sharing-0.1.0.0
Exports10
LanguageHaskell2010
LicenceBSD-3-Clause
SourceClassSharing.hs

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

valueunsafeAccess :: 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.

valuerunShared :: Shared f a -> Ref -> f a

typetype Ref = IORef DynMap

newtypenewtype DynMap

Source#

A dynamic map with type safe insertion and lookup.

Instances1Show

Show DynMapDefined in dictionary-sharing-0.1.0.0 · Data.ClassSharing

valuenewRef :: IO Ref

valueunsafeNewRef :: () -> Ref

classclass Typeable (a :: k) where

Source#

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