variable-media-field: Simple type for representing one of several media types.

Simple type for representing one of several media types.

[Skip to Readme]

Modules

For package maintainers and hackage trustees

Candidates

Versions [RSS]	0.1.0.0
Change log	ChangeLog.md
Dependencies	base (>=4.7 && <5), text (>=1.0 && <1.3) [details]
License	MIT
Copyright	dan.firth@homotopic.tech
Author	Daniel Firth
Maintainer	dan.firth@homotopic.tech
Category	Media
Source repo	head: git clone https://gitlab.com/homotopic-tech/variable-media-field
Uploaded	by locallycompact at 2021-07-25T09:07:21Z
Distributions
Reverse Dependencies	2 direct, 0 indirect [details]
Downloads	375 total (4 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2021-07-29 [all 1 reports]

Variable media field is a simple GADT for representing a media element. It is defined:

data VF u where
  Blank :: VF u
  RawText :: Text -> VF u
  Image :: u -> VF u
  Audio :: u -> VF u
  Video :: u -> VF u

You can specify u as the mechanism for including media elements in your type. Either by paths, uris or some other method.

Also defined is a collection of media elements.

data VFC u = VFC { unVFC :: [VF u] }