Safe Haskell	Safe-Inferred
Language	Haskell2010

Downhill.Internal.Graph.OpenMap

Contents

Synopsis

data OpenMap (f :: Type -> Type)
data OpenKey x
data SomeOpenItem f = forall x. SomeOpenItem (OpenKey x) (f x)
makeOpenKey :: f v -> IO (OpenKey v)
empty :: OpenMap f
insert :: forall f dx. OpenKey dx -> f dx -> OpenMap f -> OpenMap f
lookup :: OpenMap f -> OpenKey x -> Maybe (f x)
toList :: OpenMap f -> [SomeOpenItem f]
elems :: OpenMap (Const b) -> [b]
map :: forall f g. (forall x. f x -> g x) -> OpenMap f -> OpenMap g
mapWithKey :: forall f g. (forall d. OpenKey d -> f d -> g d) -> OpenMap f -> OpenMap g
mapMaybe :: forall f g. (forall x. f x -> Maybe (g x)) -> OpenMap f -> OpenMap g
adjust :: forall f x. (f x -> f x) -> OpenKey x -> OpenMap f -> OpenMap f
intersectionWith :: forall f g h. (forall x. f x -> g x -> h x) -> OpenMap f -> OpenMap g -> OpenMap h

OpenMap

Heterogeneous map with StableName as a key.

A key of OpenMap.

Key and value.

Constructors

forall x. SomeOpenItem (OpenKey x) (f x)

Construction

insert :: forall f dx. OpenKey dx -> f dx -> OpenMap f -> OpenMap f Source #

map :: forall f g. (forall x. f x -> g x) -> OpenMap f -> OpenMap g Source #

mapWithKey :: forall f g. (forall d. OpenKey d -> f d -> g d) -> OpenMap f -> OpenMap g Source #

mapMaybe :: forall f g. (forall x. f x -> Maybe (g x)) -> OpenMap f -> OpenMap g Source #

adjust :: forall f x. (f x -> f x) -> OpenKey x -> OpenMap f -> OpenMap f Source #

intersectionWith :: forall f g h. (forall x. f x -> g x -> h x) -> OpenMap f -> OpenMap g -> OpenMap h Source #