Module `Mode.Axis`

type ('p, 'r) t =

| Areality : ('a Mode.comonadic_with, 'a) Mode.Axis.t
| Forkable : ('areality Mode.comonadic_with, Mode.Forkable.Const.t) Mode.Axis.t
| Yielding : ('areality Mode.comonadic_with, Mode.Yielding.Const.t) Mode.Axis.t
| Linearity : ('areality Mode.comonadic_with, Mode.Linearity.Const.t) Mode.Axis.t
| Statefulness : ('areality Mode.comonadic_with, Mode.Statefulness.Const.t) Mode.Axis.t
| Portability : ('areality Mode.comonadic_with, Mode.Portability.Const.t) Mode.Axis.t
| Uniqueness : (Mode.monadic, Mode.Uniqueness.Const.t) Mode.Axis.t
| Visibility : (Mode.monadic, Mode.Visibility.Const.t) Mode.Axis.t
| Contention : (Mode.monadic, Mode.Contention.Const.t) Mode.Axis.t
| Staticity : (Mode.monadic, Mode.Staticity.Const.t) Mode.Axis.t

('p, 'r) t represents a projection from a product of type 'p to an element of type 'r.

NB: must listed in the order of axis implication. See typemode.ml.

val print : Stdlib.Format.formatter -> ('p, 'r) Mode.Axis.t -> unit

val eq : 
  ('p, 'r0) Mode.Axis.t ->
  ('p, 'r1) Mode.Axis.t ->
  ('r0, 'r1) Misc.eq option