package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module E : Interface.EQ2 with type ('a, 'b) t = ('a, 'b) P.t

Signature

val id : ('a, 'a) Function.Category.t
val (<.) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
val (>.) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c
val identity : ('a, 'b) P.t -> bool
val composition : ('a -> 'b) -> ('c -> 'd) -> ('e -> 'a) -> ('d -> 'f) -> ('b, 'c) P.t -> bool