package preface

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Category.Operation`

module Core : Preface_specs.Category.CORE

type ('a, 'b) t = ('a, 'b) Core.t

The type held by the Category.

val compose_right_to_left : ('b, 'c) t -> ('a, 'b) t -> ('a, 'c) t

An alias of CORE.compose.

val compose_left_to_right : ('a, 'b) t -> ('b, 'c) t -> ('a, 'c) t

An alias of CORE.compose with flipped argument.