Module `LangUtils.Lens`Source

Sourcetype ('a, 'b) lens = {

get : 'a -> 'b;
set : 'b -> 'a -> 'a;

}

Sourcetype ('a, 'b) prism = {

preview : 'a -> 'b option;
review : 'b -> 'a;

}

Sourceval option : ('a option, 'a) Odoc_xref_test.Common.LangUtils.Lens.prism

val compose : 
  ('a, 'b) Odoc_xref_test.Common.LangUtils.Lens.lens ->
  ('b, 'c) Odoc_xref_test.Common.LangUtils.Lens.lens ->
  ('a, 'c) Odoc_xref_test.Common.LangUtils.Lens.lens

Source

val compose_prism : 
  ('a, 'b) Odoc_xref_test.Common.LangUtils.Lens.lens ->
  ('b, 'c) Odoc_xref_test.Common.LangUtils.Lens.prism ->
  ('a, 'c) Odoc_xref_test.Common.LangUtils.Lens.lens

Sourceval fst : ('a * 'b, 'a) Odoc_xref_test.Common.LangUtils.Lens.lens

Sourceval snd : ('a * 'b, 'b) Odoc_xref_test.Common.LangUtils.Lens.lens

Sourceval hd : ('a list, 'a) Odoc_xref_test.Common.LangUtils.Lens.prism

Sourceval nth : int -> ('a list, 'a) Odoc_xref_test.Common.LangUtils.Lens.prism

Source

val (|--) : 
  ('a, 'b) Odoc_xref_test.Common.LangUtils.Lens.lens ->
  ('b, 'c) Odoc_xref_test.Common.LangUtils.Lens.lens ->
  ('a, 'c) Odoc_xref_test.Common.LangUtils.Lens.lens

Source

val (|-~) : 
  ('a, 'b) Odoc_xref_test.Common.LangUtils.Lens.lens ->
  ('b, 'c) Odoc_xref_test.Common.LangUtils.Lens.prism ->
  ('a, 'c) Odoc_xref_test.Common.LangUtils.Lens.lens

Sourceval get : ('a, 'b) Odoc_xref_test.Common.LangUtils.Lens.lens -> 'a -> 'b

Sourceval set : ('a, 'b) Odoc_xref_test.Common.LangUtils.Lens.lens -> 'b -> 'a -> 'a

Source

val name_of_id : 
  [< Odoc_model.Paths.Identifier.t_pv ] Odoc_model.Paths.Identifier.id ->
  string

Sourcemodule Signature : sig ... end

Sourcemodule Module : sig ... end

Sourcemodule Include : sig ... end

Sourcemodule ModuleType : sig ... end

Sourcemodule FunctorParameter : sig ... end

Sourcemodule TypeDecl : sig ... end

Sourcemodule TypeExpr : sig ... end

Module LangUtils.LensSource

Module `LangUtils.Lens`Source