Data.Container.Reusable

Documentation

data Reusable idx a

Constructors

Reusable [idx] !a

Instances

(IndexableQM (GetOpts ms) (GetOpts ps) m idx el a, (~) * idx idx') => IndexableQM_ ms ps m idx el (Reusable idx' a)

(TracksIxesQM (GetOpts ms) (GetOpts ps) m idx a, (~) * idx idx') => TracksIxesQM_ ms ps m idx (Reusable idx' a)

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

(InsertableQM (GetOpts ms) (GetOpts ps) m idx el a, ExpandableM m (Reusable idx a), (~) * (Result_ InsertableOp (IdxElInfo idx el (Container a)) (GetOpts ms)) (Result_ AddableOp (ElInfo el (Reusable idx a)) (GetOpts ms))) => AddableQM_ ms ps m el (Reusable idx a)

PrependableQM (GetOpts ms) (GetOpts ps) m el a => PrependableQM_ ms ps m el (Reusable idx a)

AppendableQM (GetOpts ms) (GetOpts ps) m el a => AppendableQM_ ms ps m el (Reusable idx a)

(SingletonQM ((:) * Ixed (GetOpts ms)) (GetOpts ps) m el a, (~) * idx (Index (Container a))) => SingletonQM_ ms ps m el (Reusable idx a)

(MaxBoundedQM (GetOpts ms) (GetOpts ps) m idx a, (~) * idx idx') => MaxBoundedQM_ ms ps m idx (Reusable idx' a)

(MinBoundedQM (GetOpts ms) (GetOpts ps) m idx a, (~) * idx idx') => MinBoundedQM_ ms ps m idx (Reusable idx' a)

(GrowableQM ((:) * Ixed (GetOpts ms)) (GetOpts ps) m a, (~) * idx (Index (Container a))) => GrowableQM_ ms ps m (Reusable idx a)

(ExpandableQM ((:) * Ixed (GetOpts ms)) (GetOpts ps) m a, (~) * idx (Index (Container a))) => ExpandableQM_ ms ps m (Reusable idx a)

(AllocableQM ((:) * Ixed (GetOpts ms)) (GetOpts ps) m a, (~) * idx (Index (Container a))) => AllocableQM_ ms ps m (Reusable idx a)

MeasurableQM (GetOpts ms) (GetOpts ps) m a => MeasurableQM_ ms ps m (Reusable idx a)

Monad m => LayeredM m (Reusable idx a)

Monad m => IsContainerM m (Reusable idx a)

Monad m => HasContainerM m (Reusable idx a)

(InsertableQM (GetOpts ms) (GetOpts ps) m idx el a, (~) * idx idx') => InsertableQM_ ms ((:) (Opt *) (P * Unchecked) ((:) (Opt *) (P * Inplace) ps)) m idx el (Reusable idx' a)

Functor (Reusable idx)

Foldable (Reusable idx)

Traversable (Reusable idx)

(TracksUsedIxes idx (Reusable idx a), Indexable idx el (Reusable idx a), Monad m) => TracksElemsQM_ ([] (Opt *)) ps m el (Reusable idx a)

(TracksIxes idx (Reusable idx a), TracksFreeIxes idx (Reusable idx a), (~) * idx idx', Monad m, Eq idx) => TracksUsedIxesQM_ ([] (Opt *)) ps m idx (Reusable idx' a)

(Monad m, (~) * idx idx') => TracksFreeIxesQM_ ([] (Opt *)) ps m idx (Reusable idx' a)

(Show (Item a), TracksElems (Item a) (Reusable idx a)) => Show (Reusable idx a)

Monoid a => Monoid (Reusable idx a)

Default a => Default (Reusable idx a)

Layered (Reusable idx a)

(ToList (Container a), HasContainer a) => ToList (Reusable idx a)

(IsContainer a, FromList (Container a)) => FromList (Reusable idx a)

(Monad m, (~) * idx (Index (Container a))) => ReservableQM_ ((:) (Opt *) (P * Ixed) ([] (Opt *))) ps m (Reusable idx a)

type ModsOf TracksElemsOp (Reusable idx a) = [] *

type ModsOf TracksIxesOp (Reusable idx a) = ModsOf TracksIxesOp (Container a)

type ModsOf TracksUsedIxesOp (Reusable idx a) = [] *

type ModsOf TracksFreeIxesOp (Reusable idx a) = [] *

type ModsOf IndexableOp (Reusable idx a) = ModsOf IndexableOp (Container a)

type ModsOf ReservableOp (Reusable idx a) = (:) * Ixed ([] *)

type ModsOf FreeableOp (Reusable idx a) = ModsOf FreeableOp (Container a)

type ModsOf InsertableOp (Reusable idx a) = ModsOf InsertableOp (Container a)

type ModsOf AddableOp (Reusable idx a) = ModsOf AddableOp (Container a)

type ModsOf PrependableOp (Reusable idx a) = ModsOf PrependableOp (Container a)

type ModsOf AppendableOp (Reusable idx a) = ModsOf AppendableOp (Container a)

type ModsOf GrowableOp (Reusable idx a) = ModsOf GrowableOp (Container a)

type ModsOf ExpandableOp (Reusable idx a) = ModsOf ExpandableOp (Container a)

type ModsOf AllocableOp (Reusable idx a) = ModsOf AllocableOp (Container a)

type ModsOf SingletonOp (Reusable idx a) = ModsOf SingletonOp (Container a)

type ModsOf MaxBoundedOp (Reusable idx a) = ModsOf MaxBoundedOp (Container a)

type ModsOf MinBoundedOp (Reusable idx a) = ModsOf MinBoundedOp (Container a)

type ModsOf MeasurableOp (Reusable idx a) = ModsOf MeasurableOp (Container a)

type ParamsOf TracksElemsOp (Reusable idx a) = [] *

type ParamsOf TracksIxesOp (Reusable idx a) = ParamsOf TracksIxesOp (Container a)

type ParamsOf TracksUsedIxesOp (Reusable idx a) = [] *

type ParamsOf TracksFreeIxesOp (Reusable idx a) = [] *

type ParamsOf IndexableOp (Reusable idx a) = ParamsOf IndexableOp (Container a)

type ParamsOf ReservableOp (Reusable idx a) = [] *

type ParamsOf FreeableOp (Reusable idx a) = ParamsOf FreeableOp (Container a)

type ParamsOf InsertableOp (Reusable idx a) = (:) * Unchecked ((:) * Inplace (ParamsOf InsertableOp (Container a)))

type ParamsOf AddableOp (Reusable idx a) = ParamsOf AddableOp (Container a)

type ParamsOf PrependableOp (Reusable idx a) = ParamsOf PrependableOp (Container a)

type ParamsOf AppendableOp (Reusable idx a) = ParamsOf AppendableOp (Container a)

type ParamsOf GrowableOp (Reusable idx a) = ParamsOf GrowableOp (Container a)

type ParamsOf ExpandableOp (Reusable idx a) = ParamsOf ExpandableOp (Container a)

type ParamsOf AllocableOp (Reusable idx a) = ParamsOf AllocableOp (Container a)

type ParamsOf SingletonOp (Reusable idx a) = ParamsOf SingletonOp (Container a)

type ParamsOf MaxBoundedOp (Reusable idx a) = ParamsOf MaxBoundedOp (Container a)

type ParamsOf MinBoundedOp (Reusable idx a) = ParamsOf MinBoundedOp (Container a)

type ParamsOf MeasurableOp (Reusable idx a) = ParamsOf MeasurableOp (Container a)

type Unlayered (Reusable idx a) = a

type Index (Reusable idx a) = Index (Container a)

type DataStore (Reusable idx a) = Container a

type Item (Reusable idx a) = Item (Container a)

type Container (Reusable idx a) = Reusable idx a

type Reusable' a = Reusable (Index a) a

_indexes :: Lens' (Reusable idx a) [idx]