package higher

You can search for identifiers within the package.

in-package search v0.2.0

Module `Higher`Source

Operations on newtypes

Sourcetype ('p, 'f) app

Type expression application.

Sourcemodule type Newtype0 = sig ... end

Construct a newtype for a type constructor with no parameters.

Sourcemodule Newtype0 (T : sig ... end) : Newtype0 with type s = T.t

Sourcemodule type Newtype1 = sig ... end

Construct a newtype for a type constructor with one parameter.

Sourcemodule Newtype1 (T : sig ... end) : Newtype1 with type 'a s = 'a T.t

Sourcemodule type Newtype2 = sig ... end

Construct a newtype for a type constructor with two parameters.

module Newtype2
  (T : sig ... end) : 
  Newtype2 with type ('a, 'b) s = ('a, 'b) T.t

Sourcemodule type Newtype3 = sig ... end

Construct a newtype for a type constructor with three parameters.

module Newtype3
  (T : sig ... end) : 
  Newtype3 with type ('a, 'b, 'c) s = ('a, 'b, 'c) T.t

Sourcemodule type Newtype4 = sig ... end

Construct a newtype for a type constructor with four parameters.

module Newtype4
  (T : sig ... end) : 
  Newtype4 with type ('a, 'b, 'c, 'd) s = ('a, 'b, 'c, 'd) T.t

Sourcemodule type Newtype5 = sig ... end

Construct a newtype for a type constructor with five parameters.

module Newtype5
  (T : sig ... end) : 
  Newtype5 with type ('a, 'b, 'c, 'd, 'e) s = ('a, 'b, 'c, 'd, 'e) T.t

Sourcemodule type Newtype6 = sig ... end

Construct a newtype for a type constructor with six parameters.

module Newtype6
  (T : sig ... end) : 
  Newtype6 with type ('a, 'b, 'c, 'd, 'e, 'f) s = ('a, 'b, 'c, 'd, 'e, 'f) T.t