Module `Crossing.Comonadic`

module Atom : sig ... end

type t

The mode crossing capability on the whole comonadic fragment.

include Mode_intf.Lattice with type t := Mode.Crossing.Comonadic.t

val min : Mode.Crossing.Comonadic.t

val max : Mode.Crossing.Comonadic.t

val le : Mode.Crossing.Comonadic.t -> Mode.Crossing.Comonadic.t -> bool

val equal : Mode.Crossing.Comonadic.t -> Mode.Crossing.Comonadic.t -> bool

equal a b is equivalent to le a b && le b a, but defined separately for performance reasons

val join : 
  Mode.Crossing.Comonadic.t ->
  Mode.Crossing.Comonadic.t ->
  Mode.Crossing.Comonadic.t

val meet : 
  Mode.Crossing.Comonadic.t ->
  Mode.Crossing.Comonadic.t ->
  Mode.Crossing.Comonadic.t

val print : Stdlib.Format.formatter -> Mode.Crossing.Comonadic.t -> unit

val create : 
  regionality:Mode.Regionality.Const.t Mode.Crossing.Comonadic.Atom.t ->
  linearity:Mode.Linearity.Const.t Mode.Crossing.Comonadic.Atom.t ->
  portability:Mode.Portability.Const.t Mode.Crossing.Comonadic.Atom.t ->
  forkable:Mode.Forkable.Const.t Mode.Crossing.Comonadic.Atom.t ->
  yielding:Mode.Yielding.Const.t Mode.Crossing.Comonadic.Atom.t ->
  statefulness:Mode.Statefulness.Const.t Mode.Crossing.Comonadic.Atom.t ->
  Mode.Crossing.Comonadic.t

Create a mode crossing on the comonadic fragment from the collection of mode crossings on each comonadic axes.

val always_constructed_at : 
  Mode.Value.Comonadic.Const.t ->
  Mode.Crossing.Comonadic.t

Create the mode crossing for a type whose values are always constructed at the given mode.

Module Crossing.Comonadic

Module `Crossing.Comonadic`