alg_structs

Interfaces and module combinators for algebraic structures
IN THIS PACKAGE
Module Alg_structs . Functor . Law

Parameters

module F : S

Signature

val identity : 'a F.t -> bool

identity x is true when

F.map ~f:Fun.id x = Fun.id x
val composition : ( 'a -> 'b ) -> ( 'c -> 'a ) -> 'c F.t -> bool

composition f g x is true when

F.map ~f:(f % g) x = (F.map ~f % F.map ~f:g) x

where % is composition.