Merge pull request #1472 from mpickering/master
Shared: Added function insertMedia which is an alias for M.insert
This commit is contained in:
commit
76031f01c1
1 changed files with 8 additions and 1 deletions
|
@ -50,6 +50,7 @@ module Text.Pandoc.Shared (
|
||||||
tabFilter,
|
tabFilter,
|
||||||
-- * Media Handling
|
-- * Media Handling
|
||||||
MediaBag,
|
MediaBag,
|
||||||
|
insertMedia,
|
||||||
-- * Date/time
|
-- * Date/time
|
||||||
normalizeDate,
|
normalizeDate,
|
||||||
-- * Pandoc block and inline list processing
|
-- * Pandoc block and inline list processing
|
||||||
|
@ -292,9 +293,15 @@ tabFilter tabStop =
|
||||||
---
|
---
|
||||||
|
|
||||||
-- | A map of media paths to their binary representations.
|
-- | A map of media paths to their binary representations.
|
||||||
|
|
||||||
type MediaBag = M.Map String BL.ByteString
|
type MediaBag = M.Map String BL.ByteString
|
||||||
|
|
||||||
|
-- | Insert a media item into a `MediaBag`
|
||||||
|
insertMedia :: FilePath
|
||||||
|
-> BL.ByteString
|
||||||
|
-> MediaBag
|
||||||
|
-> MediaBag
|
||||||
|
insertMedia = M.insert
|
||||||
|
|
||||||
--
|
--
|
||||||
-- Date/time
|
-- Date/time
|
||||||
--
|
--
|
||||||
|
|
Loading…
Reference in a new issue