A class that describes (on the type level) how a box can be nested into other boxes (see Boxes).

Describes how many times a box should be present in a container.

Convert type level box types to values

Types that go into a box. A box content is a piece of data that can be reused in different instances of IsBox. It has no BoxType and hence defines no box.

Box content composed of box contents a and b.

Create a Box with a StdType FourCc type.

An empty box. This is for boxes without fields. All these boxes contain is their obligatory BoxHeader possibly nested boxes.

A type that wraps the contents of a box and the box type.

The size of the box. If the size is limited to a (fixed) value, it can be provided as a Word64 which will be represented as either a 32bit compact size or as 64 bit largesize. If UnlimitedSize is used, the box extends to the end of the file.

The BoxSize can be > 2^32 in which case an BoxSizeExtension must be added after the type field.

A box has a type, this is the value level representation for the box type.

A type containin a printable four letter character code.

When using custom types extra data must be written after the extra size information. Since the box type and the optional custom box type are not guaranteed to be consequtive, this type handles the second part seperately.

A ParentBox is a Box but without it's children. It has no IsBoxContent instance, and it must be converted to a real Box using boxes. This is to prevent creation of boxes with invalid children.

A parent box. Similar to box but for ParentBoxes.

An empty parent box. This is for boxes without fields. All these boxes contain is their obligatory BoxHeader possibly nested boxes.

A box that may contain nested boxes. The nested boxes are type checked to be valid in the container box. This results in a container-box with only valid and all required child boxes. This is checked by the type system. It accept a ParentBox and the nested Boxes and returns a Box, if the type checker is convinced that the parent box and the nested boxes are valid.

An operator for starting a Boxes from the parent box.

Example: > xxx :: Box "moov" > xxx = movieBox > ^- Nested (movieHeaderBox (MovieHeader ...)) > :- (trackBox > ^- Nested (trackHeaderBox (TrackHeader ...)) > :- trackReferenceBox (TrackReference ...) > :- trackGroupingIndication (TrackGroupingInd ...))

A heterogenous collection of child boxes for a parent box wiht type cont.

An internal wrapper type around Boxes for the IsBoxContent instance. Since the IsBoxContent instance recursivly deconstructs a Boxes the constraints for the validity ValidBoxes cannot be asserted. To circumvent this the IsBoxContent instance for Boxes delegates to the instance of UnverifiedBoxes, which has no ValidBoxes constraint in the instance head.

A type-level check that uses BoxRules to check that the contained boxes are standard conform.

A type function to check that all nested boxes are allowed in the container.

The custom (type-) error message for AllAllowedIn.

Check that all required boxes have been nested.

The custom (type-) error message for HasAllRequiredBoxes.

Check that the box may appear top-level.

The custom (type-) error message indicating that a box may not appear top-level.

A Box with version and branding information

Create a FullBox from a FourCc StdType and the nested box content.

The additional header with version and branding information

The box version (in a FullBox) is a single byte

In addition to a BoxVersion there can be 24 bits for custom flags etc in a FullBox.

Internal function that creates a bit mask with all bits in a BoxFlags set to 1.

Internal function that masks-out all bits higher than bits.