package learn-ocaml

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type ('arrow, 'uarrow, 'ret) args

val last : 'a -> ('a -> 'ret, 'a -> unit, 'ret) args

val arg : 
  'a ->
  ('ar -> 'row, 'ar -> 'urow, 'ret) args ->
  ('a -> 'ar -> 'row, 'a -> 'ar -> 'urow, 'ret) args

val (!!) : 'a -> ('a -> 'ret, 'a -> unit, 'ret) args

val (@:) : 
  'a ->
  ('ar -> 'row, 'ar -> 'urow, 'ret) args ->
  ('a -> 'ar -> 'row, 'a -> 'ar -> 'urow, 'ret) args

val (@:!!) : 'a -> 'b -> ('a -> 'b -> 'ret, 'a -> 'b -> unit, 'ret) args

val apply : ('ar -> 'row) -> ('ar -> 'row, 'ar -> 'urow, 'ret) args -> 'ret

type ('arrow, 'uarrow, 'ret) fun_ty

val last_ty : 
  'a Ty.ty ->
  'ret Ty.ty ->
  (('a -> 'ret) Ty.ty, 'a -> unit, 'ret) fun_ty

val arg_ty : 
  'a Ty.ty ->
  (('ar -> 'row) Ty.ty, 'ar -> 'urow, 'ret) fun_ty ->
  (('a -> 'ar -> 'row) Ty.ty, 'a -> 'ar -> 'urow, 'ret) fun_ty

val ty_of_fun_ty : 
  (('ar -> 'row) Ty.ty, 'ar -> 'urow, 'ret) fun_ty ->
  ('ar -> 'row) Ty.ty

val get_ret_ty : 
  ('ar -> 'row) Ty.ty ->
  ('ar -> 'row, 'ar -> 'urow, 'ret) args ->
  'ret Ty.ty

module type S = sig ... end

module Make (_ : S) : sig ... end

val apply_args_1 : ('a -> 'b) -> ('a -> 'c, 'a -> unit, 'c) args -> 'b

val apply_args_2 : 
  ('a -> 'b -> 'c) ->
  ('a -> 'b -> 'd, 'a -> 'b -> unit, 'd) args ->
  'c

val apply_args_3 : 
  ('a -> 'b -> 'c -> 'd) ->
  ('a -> 'b -> 'c -> 'e, 'a -> 'b -> 'c -> unit, 'e) args ->
  'd

val apply_args_4 : 
  ('a -> 'b -> 'c -> 'd -> 'e) ->
  ('a -> 'b -> 'c -> 'd -> 'f, 'a -> 'b -> 'c -> 'd -> unit, 'f) args ->
  'e