Data.Container.Weak

Documentation

data Weak f a

Constructors

Weak !(Maybe f) !a

Instances

(FreeableQM (GetOpts ms) (GetOpts ps) m idx a, (~) * idx idx') => FreeableQM_ ms ps m idx (Weak (IdxFinalizer idx) a)

(AddableQM ((:) * Ixed (GetOpts ms)) (GetOpts ps) m (Weak el) a, (~) * (Result_ AddableOp (ElInfo (Weak el) (Container a)) (GetOpts ms)) (Result_ AddableOp (ElInfo el (Weak (IdxFinalizer idx) a)) (GetOpts ms)), (~) * idx (Index (Container a)), MonadIO m, MonadFix m) => AddableQM_ ms ps m el (Weak (IdxFinalizer idx) a)

(PrependableQM ((:) * Ixed (GetOpts ms)) (GetOpts ps) m (Weak el) a, (~) * (Result_ PrependableOp (ElInfo (Weak el) (Container a)) (GetOpts ms)) (Result_ PrependableOp (ElInfo el (Weak (IdxFinalizer idx) a)) (GetOpts ms)), (~) * idx (Index (Container a)), MonadIO m, MonadFix m) => PrependableQM_ ms ps m el (Weak (IdxFinalizer idx) a)

(AppendableQM ((:) * Ixed (GetOpts ms)) (GetOpts ps) m (Weak el) a, (~) * (Result_ AppendableOp (ElInfo (Weak el) (Container a)) (GetOpts ms)) (Result_ AppendableOp (ElInfo el (Weak (IdxFinalizer idx) a)) (GetOpts ms)), (~) * idx (Index (Container a)), MonadIO m, MonadFix m) => AppendableQM_ ms ps m el (Weak (IdxFinalizer idx) a)

(MonadIO m, SingletonQM (GetOpts ms) (GetOpts ps) m (Weak el) a, (~) * (Result_ SingletonOp (ElInfo (Weak el) (Container a)) (GetOpts ms)) (Result_ SingletonOp (ElInfo el (Weak f a)) (GetOpts ms))) => SingletonQM_ ms ps m el (Weak f a)

MaxBoundedQM (GetOpts ms) (GetOpts ps) m idx a => MaxBoundedQM_ ms ps m idx (Weak f a)

MinBoundedQM (GetOpts ms) (GetOpts ps) m idx a => MinBoundedQM_ ms ps m idx (Weak f a)

GrowableQM (GetOpts ms) (GetOpts ps) m a => GrowableQM_ ms ps m (Weak f a)

ExpandableQM (GetOpts ms) (GetOpts ps) m a => ExpandableQM_ ms ps m (Weak f a)

AllocableQM (GetOpts ms) (GetOpts ps) m a => AllocableQM_ ms ps m (Weak f a)

MeasurableQM (GetOpts ms) (GetOpts ps) m a => MeasurableQM_ ms ps m (Weak f a)

Monad m => IsContainerM m (Weak f a)

Monad m => HasContainerM m (Weak f a)

Functor (Weak f)

Foldable (Weak f)

Traversable (Weak f)

(Monoid f, Monoid a) => Monoid (Weak f a)

Default a => Default (Weak f a)

Layered (Weak f a)

(WeakItemAxiom a, IsContainer a, FromList (Container a)) => FromList (Weak f a)

HasFinalizer (Weak f a)

Monad m => HasFinalizerM (Weak f a) m f

type ModsOf FreeableOp (Weak f a) = ModsOf FreeableOp (Container a)

type ModsOf AddableOp (Weak f a) = ModsOf AddableOp (Container a)

type ModsOf PrependableOp (Weak f a) = ModsOf PrependableOp (Container a)

type ModsOf AppendableOp (Weak f a) = ModsOf AppendableOp (Container a)

type ModsOf GrowableOp (Weak f a) = ModsOf GrowableOp (Container a)

type ModsOf ExpandableOp (Weak f a) = ModsOf GrowableOp (Container a)

type ModsOf AllocableOp (Weak f a) = ModsOf AllocableOp (Container a)

type ModsOf SingletonOp (Weak f a) = ModsOf SingletonOp (Container a)

type ModsOf MaxBoundedOp (Weak f a) = ModsOf MaxBoundedOp (Container a)

type ModsOf MinBoundedOp (Weak f a) = ModsOf MinBoundedOp (Container a)

type ModsOf MeasurableOp (Weak f a) = ModsOf MeasurableOp (Container a)

type ParamsOf FreeableOp (Weak f a) = ParamsOf FreeableOp (Container a)

type ParamsOf AddableOp (Weak f a) = ParamsOf AddableOp (Container a)

type ParamsOf PrependableOp (Weak f a) = ParamsOf PrependableOp (Container a)

type ParamsOf AppendableOp (Weak f a) = ParamsOf AppendableOp (Container a)

type ParamsOf GrowableOp (Weak f a) = ParamsOf GrowableOp (Container a)

type ParamsOf ExpandableOp (Weak f a) = ParamsOf GrowableOp (Container a)

type ParamsOf AllocableOp (Weak f a) = ParamsOf AllocableOp (Container a)

type ParamsOf SingletonOp (Weak f a) = ParamsOf SingletonOp (Container a)

type ParamsOf MaxBoundedOp (Weak f a) = ParamsOf MaxBoundedOp (Container a)

type ParamsOf MinBoundedOp (Weak f a) = ParamsOf MinBoundedOp (Container a)

type ParamsOf MeasurableOp (Weak f a) = ParamsOf MeasurableOp (Container a)

type Unlayered (Weak f a) = a

type Index (Weak f a) = Index (Container a)

type DataStore (Weak f a) = Container a

type Item (Weak f a) = WeakData (Item (Container a))

type Container (Weak f a) = Weak f a

type Finalizer (Weak f a) = Maybe f

type Weak' a = Weak (IdxFinalizer (Index a)) a

newtype IdxFinalizer idx

Constructors

IdxFinalizer (idx -> IO ())

Instances

(FreeableQM (GetOpts ms) (GetOpts ps) m idx a, (~) * idx idx') => FreeableQM_ ms ps m idx (Weak (IdxFinalizer idx) a)

(AddableQM ((:) * Ixed (GetOpts ms)) (GetOpts ps) m (Weak el) a, (~) * (Result_ AddableOp (ElInfo (Weak el) (Container a)) (GetOpts ms)) (Result_ AddableOp (ElInfo el (Weak (IdxFinalizer idx) a)) (GetOpts ms)), (~) * idx (Index (Container a)), MonadIO m, MonadFix m) => AddableQM_ ms ps m el (Weak (IdxFinalizer idx) a)

(PrependableQM ((:) * Ixed (GetOpts ms)) (GetOpts ps) m (Weak el) a, (~) * (Result_ PrependableOp (ElInfo (Weak el) (Container a)) (GetOpts ms)) (Result_ PrependableOp (ElInfo el (Weak (IdxFinalizer idx) a)) (GetOpts ms)), (~) * idx (Index (Container a)), MonadIO m, MonadFix m) => PrependableQM_ ms ps m el (Weak (IdxFinalizer idx) a)

(AppendableQM ((:) * Ixed (GetOpts ms)) (GetOpts ps) m (Weak el) a, (~) * (Result_ AppendableOp (ElInfo (Weak el) (Container a)) (GetOpts ms)) (Result_ AppendableOp (ElInfo el (Weak (IdxFinalizer idx) a)) (GetOpts ms)), (~) * idx (Index (Container a)), MonadIO m, MonadFix m) => AppendableQM_ ms ps m el (Weak (IdxFinalizer idx) a)

Monoid (IdxFinalizer idx)

Wrapped (IdxFinalizer idx)

Rewrapped (IdxFinalizer idx) (IdxFinalizer idx')

type Unwrapped (IdxFinalizer idx) = idx -> IO ()

type family Finalizer a

Instances

type Finalizer (Weak f a) = Maybe f

class HasFinalizer a where

Methods

finalizer :: Lens' a (Finalizer a)

Instances

((~) * (Finalizer (Unlayered a)) (Finalizer a), HasFinalizer (Unlayered a), Layered a) => HasFinalizer a

HasFinalizer (Weak f a)

class HasFinalizerM a m f | a -> f where

Methods

viewFinalizerM :: a -> m (Maybe f)

setFinalizerM :: Maybe f -> a -> m a

Instances

(Monad m, HasFinalizerM (Container (Unlayered a)) m f, HasContainerM m (Unlayered a), LayeredM m a) => HasFinalizerM a m f

Monad m => HasFinalizerM (Weak f a) m f

type family WeakData a

Equations

WeakData (Weak a) = a

type WeakItemAxiom t = Item (Container t) ~ Weak (WeakData (Item (Container t)))

mkWeakPtr :: MonadIO m => k -> Maybe (IO ()) -> m (Weak k)