ModularPrelude.Module.Map

This module provides a first-class version of the Data.Map module.

Module interface

data MapModule

Constructors

Map

Fields

map :: forall k a b. (a -> b) -> Map k a -> Map k b

filter :: forall k a. Ord k => (k -> a -> Bool) -> Map k a -> Map k a

length :: forall k a. Map k a -> Int

singleton :: forall k a. k -> a -> Map k a

null :: forall k a. Map k a -> Bool

pack :: forall k a. Ord k => [(k, a)] -> Map k a

unpack :: forall k a. Map k a -> [(k, a)]

fromList :: forall k a. Ord k => [(k, a)] -> Map k a

toList :: forall k a. Map k a -> [(k, a)]

lookup :: forall k a. Ord k => k -> Map k a -> Maybe a

empty :: forall k a. Map k a

insert :: forall k a. Ord k => k -> a -> Map k a -> Map k a

delete :: forall k a. Ord k => k -> Map k a -> Map k a

member :: forall k a. Ord k => k -> Map k a -> Bool

Instances

Default MapModule

MapImplements MapModule

Module contents

class MapImplements interface where

Methods

_Data_Map_ :: interface

Instances

MapImplements MapModule