Module `Media.Constraints`Source

Property constraints specifications.

Sourcetype t

The type for constraints.

Sourceval empty : unit -> Brr_io.Media.Constraints.t

empty () is an empty set of constraints.

val find : 
  ('a, 'b, 'c) Brr_io.Media.Prop.t ->
  Brr_io.Media.Constraints.t ->
  'c option

find p s is the constraint for p in c (if any).

val set : 
  ('a, 'b, 'c) Brr_io.Media.Prop.t ->
  'c ->
  Brr_io.Media.Constraints.t ->
  unit

set p v c sets the constraint for p to v in c.

val delete : 
  ('a, 'b, 'c) Brr_io.Media.Prop.t ->
  Brr_io.Media.Constraints.t ->
  unit

delete p c deletes the constraint for p from c.

Sourceval to_jv : Brr_io.Media.Constraints.t -> Jv.jv

Sourceval of_jv : Jv.jv -> Brr_io.Media.Constraints.t

Module Media.ConstraintsSource