Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
Construction
makeOpenKey :: f v -> IO (OpenKey v) Source #
Query
toList :: OpenMap f -> [SomeOpenItem f] Source #