linear-maps-0.6: Finite maps for linear use Source code Contents Index

Data.IdSequence

Documentation

data Seq k a Source

previous :: Seq k a -> Id k -> Maybe (Id k) Source

next :: Seq k a -> Id k -> Maybe (Id k) Source

value :: Seq k a -> Id k -> Maybe a Source

member :: Id k -> Seq k a -> Bool Source

update :: Id k -> a -> Seq k a -> Seq k a Source

delete :: Id k -> Seq k a -> Seq k a Source

insertBefore :: forall k a e. Id k -> a -> Seq k a -> (forall k'. Seq (k :|: k') a -> e) -> e Source

fromList :: forall a e. [a] -> (forall k. Id k -> Id k -> Seq k a -> e) -> e Source

Produced by Haddock version 2.4.2