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