linear-maps-0.6.1: Finite maps for linear use

Data.IdSequence

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 aSource

member :: Id k -> Seq k a -> BoolSource

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

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

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

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