fgl-5.4.2.0: Martin Erwig's Functional Graph Library Source code Contents Index

Data.Graph.Inductive.Internal.FiniteMap

Contents Type Operations

Description

Simple Finite Maps. This implementation provides several useful methods that Data.FiniteMap does not.

Synopsis

data FiniteMap a b = Empty | Node Int (FiniteMap a b) (a, b) (FiniteMap a b) emptyFM :: Ord a => FiniteMap a b addToFM :: Ord a => FiniteMap a b -> a -> b -> FiniteMap a b delFromFM :: Ord a => FiniteMap a b -> a -> FiniteMap a b updFM :: Ord a => FiniteMap a b -> a -> (b -> b) -> FiniteMap a b accumFM :: Ord a => FiniteMap a b -> a -> (b -> b -> b) -> b -> FiniteMap a b splitFM :: Ord a => FiniteMap a b -> a -> Maybe (FiniteMap a b, (a, b)) isEmptyFM :: FiniteMap a b -> Bool sizeFM :: Ord a => FiniteMap a b -> Int lookupFM :: Ord a => FiniteMap a b -> a -> Maybe b elemFM :: Ord a => FiniteMap a b -> a -> Bool rangeFM :: Ord a => FiniteMap a b -> a -> a -> [b] minFM :: Ord a => FiniteMap a b -> Maybe (a, b) maxFM :: Ord a => FiniteMap a b -> Maybe (a, b) predFM :: Ord a => FiniteMap a b -> a -> Maybe (a, b) succFM :: Ord a => FiniteMap a b -> a -> Maybe (a, b) splitMinFM :: Ord a => FiniteMap a b -> Maybe (FiniteMap a b, (a, b)) fmToList :: Ord a => FiniteMap a b -> [(a, b)]

Type

data FiniteMap a b Source

Constructors Empty Node Int (FiniteMap a b) (a, b) (FiniteMap a b) Instances (Ord a, ??? a b) => Eq (FiniteMap a b) (Show a, Show b, Ord a) => Show (FiniteMap a b)

Operations

emptyFM :: Ord a => FiniteMap a b Source

addToFM :: Ord a => FiniteMap a b -> a -> b -> FiniteMap a b Source

delFromFM :: Ord a => FiniteMap a b -> a -> FiniteMap a b Source

updFM :: Ord a => FiniteMap a b -> a -> (b -> b) -> FiniteMap a b Source

applies function to stored entry

accumFM :: Ord a => FiniteMap a b -> a -> (b -> b -> b) -> b -> FiniteMap a b Source

defines or aggregates entries

splitFM :: Ord a => FiniteMap a b -> a -> Maybe (FiniteMap a b, (a, b)) Source

combines delFrom and lookup

isEmptyFM :: FiniteMap a b -> Bool Source

sizeFM :: Ord a => FiniteMap a b -> Int Source

lookupFM :: Ord a => FiniteMap a b -> a -> Maybe b Source

elemFM :: Ord a => FiniteMap a b -> a -> Bool Source

rangeFM :: Ord a => FiniteMap a b -> a -> a -> [b] Source

applies lookup to an interval

minFM :: Ord a => FiniteMap a b -> Maybe (a, b) Source

maxFM :: Ord a => FiniteMap a b -> Maybe (a, b) Source

predFM :: Ord a => FiniteMap a b -> a -> Maybe (a, b) Source

succFM :: Ord a => FiniteMap a b -> a -> Maybe (a, b) Source

splitMinFM :: Ord a => FiniteMap a b -> Maybe (FiniteMap a b, (a, b)) Source

combines splitFM and minFM

fmToList :: Ord a => FiniteMap a b -> [(a, b)] Source

Produced by Haddock version 0.9