Data.Graph.Inductive.Internal.FiniteMap

Type

data FiniteMap a b

Operations

emptyFM

addToFM

delFromFM

updFM

accumFM

splitFM

isEmptyFM

sizeFM

lookupFM

elemFM

rangeFM

minFM

maxFM

predFM

succFM

splitMinFM

fmToList