package higher
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Higher
Operations on newtypes
module type Newtype0 = sig ... end
Construct a newtype for a type constructor with no parameters.
module type Newtype1 = sig ... end
Construct a newtype for a type constructor with one parameter.
module type Newtype2 = sig ... end
Construct a newtype for a type constructor with two parameters.
module type Newtype3 = sig ... end
Construct a newtype for a type constructor with three parameters.
module type Newtype4 = sig ... end
Construct a newtype for a type constructor with four parameters.
module type Newtype5 = sig ... end
Construct a newtype for a type constructor with five parameters.
module type Newtype6 = sig ... end
Construct a newtype for a type constructor with six parameters.