std.category

Implementation of the Category type

Types

type Category cat = {
    id : forall a . cat a a,
    compose : forall a b c . cat b c -> cat a b -> cat a c
}

Values

let id ?cat : forall a a0 . [std.category.Category a] -> a a0 a0

let compose ?cat : forall a a0 a1 a2 . [std.category.Category a] -> a a0 a1 -> a a2 a0 -> a a2 a1

let << : forall a a0 a1 a2 . [std.category.Category a] -> a a0 a1 -> a a2 a0 -> a a2 a1

Right-to-left composition. Alias for compose.

let >> f g : forall a a0 a1 a2 . [std.category.Category a] -> a a0 a1 -> a a1 a2 -> a a0 a2

Left-to-right composition. Alias for compose, but with the arguments flipped.