Idris2Doc
: containers
Index
Default
Alternative
Black & White
Package containers - Namespaces
Data.BoundedQueue.Unsized
Bounded Queues
Data.BoundedQueue.Unsized.Internal
Bounded Queue Internals
Data.BoundedQueue1.Unsized
Linear Bounded Queues
Data.BoundedQueue1.Unsized.Internal
Linear Bounded Queue Internals
Data.FVect
Fin-based vects encode not just their current size but also their largest size. See also Data.FVect.Capacity for a view that is useful when determining if you want to add to an FVect depending on whether or not it is full.
Data.FVect.Capacity
Data.HashPSQ
Hash Priority Search Queue
Data.HashPSQ.Internal
Hash Priority Search Queue Internals
Data.LRUCache
Least Recently Used (LRU) Cache
Data.LRUCache.Internal
Least Recently Used (LRU) Cache Internals
Data.LRUCache1
Linear Least Recently Used (LRU) Cache
Data.LRUCache1.Internal
Linear Least Recently Used (LRU) Cache Internals
Data.Map
Finite Maps
Data.Map.Internal
Map Internals
Data.NatPSQ
Ordered Nat Priority Search Queue
Data.NatPSQ.Internal
Ordered Nat Priority Search Queue Internals
Data.OrdPSQ
Ordered Priority Search Queue
Data.OrdPSQ.Internal
Ordered Priority Search Queue Internals
Data.Queue
Immutable FIFO Queues
Data.RRBVector.Unsized
Relaxed Radix Balanced Vectors (RRBVector)
Data.RRBVector.Unsized.Internal
RRB Vector Internals
Data.RRBVector1.Unsized
Linear Relaxed Radix Balanced Vectors (RRBVector1)
Data.RRBVector1.Unsized.Internal
Linear RRB Vector Internals
Data.Seq.Internal
This module is not intended to be imported directly. Please use Data.Seq or Data.Seq.Seq' instead.
Data.Seq.Sized
General purpose two-end finite sequences, with length in its type.
Data.Seq.Unsized
General purpose two-end finite sequences.
Data.Seq1.Unsized
General purpose linear two-end finite sequences.
Data.Set
Finite Sets
Data.Set.Internal
Set Internals
Data.SnocVect
Data.SnocVect.Elem
Data.Tree
Finite Rose Trees