path: root/lib/concepts/Mode.ml

type attribute = string
type attributes = BatSet.String.t
type affordance = Decides | Generates of Cardinality.t
type mode = {bound: attributes; affords: affordance}
type t = mode list

let attributes_of_list = BatSet.String.of_list
let attributes_of_map map = BatMap.String.keys map |> BatSet.String.of_enum
let decides_when bound = {bound= attributes_of_list bound; affords= Decides}

let generates_when bound cardinality =
  {bound= attributes_of_list bound; affords= Generates cardinality}

let enumerable cardinality = {bound= BatSet.String.empty; affords= Generates cardinality}
let of_list modes = modes

let generation declaration bound =
  List.fold_left
    (fun tightest {bound= declared; affords} ->
      match affords with
      | Generates cardinality when BatSet.String.subset declared bound ->
          Some (Option.fold ~none:cardinality ~some:(Cardinality.meet cardinality) tightest)
      | Generates _ | Decides -> tightest )
    None declaration

let exhaustible declaration bound =
  Option.fold ~none:false ~some:Cardinality.exhaustible (generation declaration bound)

let decision declaration bound =
  exhaustible declaration bound
  || List.exists
       (fun {bound= declared; affords} ->
         match affords with Decides -> BatSet.String.equal declared bound | Generates _ -> false )
       declaration