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