Safe Haskell | None |
---|---|
Language | Haskell2010 |
Brand/Box-validation
- class IsMediaFileFormat brand where
- type BoxLayout brand
Documentation
class IsMediaFileFormat brand where Source #
A class that describes (on the type level) how a box can be nested into other boxes (see 'Boxes).
The layout that an IsBoxContent instance has to have, before packMedia
accepts it
mediaBuilder :: forall t proxy. (IsBoxContent t, IsRuleConform t (BoxLayout brand) ~ True) => proxy brand -> t -> Builder Source #