container-1.0.2: Containers abstraction and utilities.

Safe HaskellNone
LanguageHaskell2010

Data.Container.Resizable

Documentation

data Resizable style a Source

Constructors

Resizable !style !a 

Instances

IndexableQM (GetOpts ms) (GetOpts ps) m idx el a => IndexableQM_ ms ps m idx el (Resizable s a) Source 
InsertableQM (GetOpts ms) (GetOpts ps) m idx el a => InsertableQM_ ms ps m idx el (Resizable s a) Source 
TracksElemsQM (GetOpts ms) (GetOpts ps) m el a => TracksElemsQM_ ms ps m el (Resizable s a) Source 
TracksIxesQM (GetOpts ms) (GetOpts ps) m idx a => TracksIxesQM_ ms ps m idx (Resizable s a) Source 
TracksUsedIxesQM (GetOpts ms) (GetOpts ps) m idx a => TracksUsedIxesQM_ ms ps m idx (Resizable s a) Source 
TracksFreeIxesQM (GetOpts ms) (GetOpts ps) m idx a => TracksFreeIxesQM_ ms ps m idx (Resizable s a) Source 
FreeableQM (GetOpts ms) (GetOpts ps) m idx a => FreeableQM_ ms ps m idx (Resizable s a) Source 
RemovableQM (GetOpts ms) (GetOpts ps) m el a => RemovableQM_ ms ps m el (Resizable s a) Source 
AddableQM (GetOpts ms) (GetOpts ps) m el a => AddableQM_ ms ps m el (Resizable s a) Source 
PrependableQM (GetOpts ms) (GetOpts ps) m el a => PrependableQM_ ms ps m el (Resizable s a) Source 
AppendableQM (GetOpts ms) (GetOpts ps) m el a => AppendableQM_ ms ps m el (Resizable s a) Source 
(SingletonQM (GetOpts ms) (GetOpts ps) m el a, Default s) => SingletonQM_ ms ps m el (Resizable s a) Source 
MaxBoundedQM (GetOpts ms) (GetOpts ps) m idx a => MaxBoundedQM_ ms ps m idx (Resizable s a) Source 
MinBoundedQM (GetOpts ms) (GetOpts ps) m idx a => MinBoundedQM_ ms ps m idx (Resizable s a) Source 
(GrowableQM (GetOpts ms) (GetOpts ps) m a, ResizeStep s a, (~) * (Result_ GrowableOp (PrimInfo (Container a)) (GetOpts ms)) (Result_ ExpandableOp (PrimInfo (Resizable s a)) (GetOpts ms))) => ExpandableQM_ ms ps m (Resizable s a) Source 
(AllocableQM (GetOpts ms) (GetOpts ps) m a, Default s) => AllocableQM_ ms ps m (Resizable s a) Source 
MeasurableQM (GetOpts ms) (GetOpts ps) m a => MeasurableQM_ ms ps m (Resizable s a) Source 
Monad m => LayeredM m (Resizable s a) Source 
Monad m => IsContainerM m (Resizable s a) Source 
Monad m => HasContainerM m (Resizable s a) Source 
Functor (Resizable style) Source 
Foldable (Resizable style) Source 
Traversable (Resizable style) Source 
(Show style, Show a) => Show (Resizable style a) Source 
(Monoid style, Monoid a) => Monoid (Resizable style a) Source 
(Default s, Default a) => Default (Resizable s a) Source 
Layered (Resizable s a) Source 
(ToList (Container a), HasContainer a) => ToList (Resizable s a) Source 
(IsContainer a, FromList (Container a), Default s) => FromList (Resizable s a) Source 
type ModsOf TracksElemsOp (Resizable s a) = ModsOf TracksElemsOp (Container a) Source 
type ModsOf TracksIxesOp (Resizable s a) = ModsOf TracksIxesOp (Container a) Source 
type ModsOf TracksUsedIxesOp (Resizable s a) = ModsOf TracksUsedIxesOp (Container a) Source 
type ModsOf TracksFreeIxesOp (Resizable s a) = ModsOf TracksFreeIxesOp (Container a) Source 
type ModsOf IndexableOp (Resizable s a) = ModsOf IndexableOp (Container a) Source 
type ModsOf FreeableOp (Resizable s a) = ModsOf FreeableOp (Container a) Source 
type ModsOf InsertableOp (Resizable s a) = ModsOf InsertableOp (Container a) Source 
type ModsOf RemovableOp (Resizable s a) = ModsOf RemovableOp (Container a) Source 
type ModsOf AddableOp (Resizable s a) = ModsOf AddableOp (Container a) Source 
type ModsOf PrependableOp (Resizable s a) = ModsOf PrependableOp (Container a) Source 
type ModsOf AppendableOp (Resizable s a) = ModsOf AppendableOp (Container a) Source 
type ModsOf GrowableOp (Resizable s a) = ModsOf GrowableOp (Container a) Source 
type ModsOf ExpandableOp (Resizable s a) = ModsOf GrowableOp (Container a) Source 
type ModsOf AllocableOp (Resizable s a) = ModsOf AllocableOp (Container a) Source 
type ModsOf SingletonOp (Resizable s a) = ModsOf SingletonOp (Container a) Source 
type ModsOf MaxBoundedOp (Resizable s a) = ModsOf MaxBoundedOp (Container a) Source 
type ModsOf MinBoundedOp (Resizable s a) = ModsOf MinBoundedOp (Container a) Source 
type ModsOf MeasurableOp (Resizable s a) = ModsOf MeasurableOp (Container a) Source 
type ParamsOf TracksElemsOp (Resizable s a) = ParamsOf TracksElemsOp (Container a) Source 
type ParamsOf TracksIxesOp (Resizable s a) = ParamsOf TracksIxesOp (Container a) Source 
type ParamsOf TracksUsedIxesOp (Resizable s a) = ParamsOf TracksUsedIxesOp (Container a) Source 
type ParamsOf TracksFreeIxesOp (Resizable s a) = ParamsOf TracksFreeIxesOp (Container a) Source 
type ParamsOf IndexableOp (Resizable s a) = ParamsOf IndexableOp (Container a) Source 
type ParamsOf FreeableOp (Resizable s a) = ParamsOf FreeableOp (Container a) Source 
type ParamsOf InsertableOp (Resizable s a) = ParamsOf InsertableOp (Container a) Source 
type ParamsOf RemovableOp (Resizable s a) = ParamsOf RemovableOp (Container a) Source 
type ParamsOf AddableOp (Resizable s a) = ParamsOf AddableOp (Container a) Source 
type ParamsOf PrependableOp (Resizable s a) = ParamsOf PrependableOp (Container a) Source 
type ParamsOf AppendableOp (Resizable s a) = ParamsOf AppendableOp (Container a) Source 
type ParamsOf GrowableOp (Resizable s a) = ParamsOf GrowableOp (Container a) Source 
type ParamsOf ExpandableOp (Resizable s a) = ParamsOf GrowableOp (Container a) Source 
type ParamsOf AllocableOp (Resizable s a) = ParamsOf AllocableOp (Container a) Source 
type ParamsOf SingletonOp (Resizable s a) = ParamsOf SingletonOp (Container a) Source 
type ParamsOf MaxBoundedOp (Resizable s a) = ParamsOf MaxBoundedOp (Container a) Source 
type ParamsOf MinBoundedOp (Resizable s a) = ParamsOf MinBoundedOp (Container a) Source 
type ParamsOf MeasurableOp (Resizable s a) = ParamsOf MeasurableOp (Container a) Source 
type Unlayered (Resizable s a) = a Source 
type Index (Resizable s a) = Index (Container a) Source 
type DataStore (Resizable s a) = Container a Source 
type Item (Resizable s a) = Item (Container a) Source 
type Container (Resizable s a) = Resizable s a Source 

checkZeroSize :: (Num a, Eq a) => a -> a Source