Data.Container.Proxy

type family ConstrainCls op ms ps info m :: * -> Constraint

type OpAxioms op info ms t

type ResultAxioms op info ms t

runOp

class MeasurableQM_ ms ps m cont

class MinBoundedQM_ ms ps m idx cont

class MaxBoundedQM_ ms ps m idx cont

class SingletonQM_ ms ps m el cont

class AllocableQM_ ms ps m cont

class ExpandableQM_ ms ps m cont

class GrowableQM_ ms ps m cont

class AppendableQM_ ms ps m el cont

class PrependableQM_ ms ps m el cont

class AddableQM_ ms ps m el cont

class RemovableQM_ ms ps m el cont

class InsertableQM_ ms ps m idx el cont

class FreeableQM_ ms ps m idx cont

class ReservableQM_ ms ps m cont

class IndexableQM_ ms ps m idx el cont

class TracksFreeIxesQM_ ms ps m idx cont

class TracksUsedIxesQM_ ms ps m idx cont

class TracksIxesQM_ ms ps m idx cont

class TracksElemsQM_ ms ps m el cont