Safe Haskell | None |
---|---|
Language | Haskell2010 |
Brand/Box-validation
Synopsis
- class IsMediaFileFormat brand where
- type BoxLayout brand
- mediaBuilder :: forall t proxy. (IsBoxContent t, IsRuleConform t (BoxLayout brand) ~ True) => proxy brand -> t -> Builder
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).
Nothing
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 #
Instances
IsMediaFileFormat (Dash v :: Type) Source # | A |
Defined in Data.ByteString.IsoBaseFileFormat.Brands.Dash mediaBuilder :: (IsBoxContent t, IsRuleConform t (BoxLayout (Dash v)) ~ True) => proxy (Dash v) -> t -> Builder Source # |