├── .gitignore ├── .merlin ├── Makefile ├── README.md ├── _tags ├── cats.mllib ├── cats.mlpack ├── cats.mltop ├── cats_top.ml ├── myocamlbuild.ml ├── notes.md ├── opam └── src ├── .merlin ├── _tags ├── s0.mlpack ├── s0 ├── .merlin ├── _tags ├── group.ml ├── monoid.ml └── semigroup.ml ├── s1.mlpack ├── s1 ├── .merlin ├── _tags ├── applicative.ml ├── comonad.ml ├── contravariant.ml ├── covariant.ml ├── divisible.ml ├── group.ml ├── monad.ml ├── monoid.ml └── semigroup.ml ├── s2.mlpack ├── s2 ├── .merlin ├── _tags ├── applicative.ml ├── bicontravariant.ml ├── bicovariant.ml ├── category.ml ├── comonad.ml ├── covariant.ml ├── monad.ml └── profunctor.ml ├── types.mlpack └── types ├── .merlin ├── _tags ├── product.ml ├── product.mli ├── sum.ml ├── sum.mli ├── void.ml └── void.mli /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/.gitignore -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/.merlin -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/README.md -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/_tags -------------------------------------------------------------------------------- /cats.mllib: -------------------------------------------------------------------------------- 1 | Cats -------------------------------------------------------------------------------- /cats.mlpack: -------------------------------------------------------------------------------- 1 | S0 2 | S1 3 | S2 4 | Types -------------------------------------------------------------------------------- /cats.mltop: -------------------------------------------------------------------------------- 1 | Cats_top 2 | -------------------------------------------------------------------------------- /cats_top.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/cats_top.ml -------------------------------------------------------------------------------- /myocamlbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/myocamlbuild.ml -------------------------------------------------------------------------------- /notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/notes.md -------------------------------------------------------------------------------- /opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/opam -------------------------------------------------------------------------------- /src/.merlin: -------------------------------------------------------------------------------- 1 | REC -------------------------------------------------------------------------------- /src/_tags: -------------------------------------------------------------------------------- 1 | <*.cmx>: for-pack(Cats) -------------------------------------------------------------------------------- /src/s0.mlpack: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s0.mlpack -------------------------------------------------------------------------------- /src/s0/.merlin: -------------------------------------------------------------------------------- 1 | REC -------------------------------------------------------------------------------- /src/s0/_tags: -------------------------------------------------------------------------------- 1 | <*.cmx>: for-pack(Cats.S0) -------------------------------------------------------------------------------- /src/s0/group.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s0/group.ml -------------------------------------------------------------------------------- /src/s0/monoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s0/monoid.ml -------------------------------------------------------------------------------- /src/s0/semigroup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s0/semigroup.ml -------------------------------------------------------------------------------- /src/s1.mlpack: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s1.mlpack -------------------------------------------------------------------------------- /src/s1/.merlin: -------------------------------------------------------------------------------- 1 | REC -------------------------------------------------------------------------------- /src/s1/_tags: -------------------------------------------------------------------------------- 1 | <*.cmx>: for-pack(Cats.S1) -------------------------------------------------------------------------------- /src/s1/applicative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s1/applicative.ml -------------------------------------------------------------------------------- /src/s1/comonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s1/comonad.ml -------------------------------------------------------------------------------- /src/s1/contravariant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s1/contravariant.ml -------------------------------------------------------------------------------- /src/s1/covariant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s1/covariant.ml -------------------------------------------------------------------------------- /src/s1/divisible.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s1/divisible.ml -------------------------------------------------------------------------------- /src/s1/group.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s1/group.ml -------------------------------------------------------------------------------- /src/s1/monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s1/monad.ml -------------------------------------------------------------------------------- /src/s1/monoid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s1/monoid.ml -------------------------------------------------------------------------------- /src/s1/semigroup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s1/semigroup.ml -------------------------------------------------------------------------------- /src/s2.mlpack: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s2.mlpack -------------------------------------------------------------------------------- /src/s2/.merlin: -------------------------------------------------------------------------------- 1 | REC -------------------------------------------------------------------------------- /src/s2/_tags: -------------------------------------------------------------------------------- 1 | <*.cmx>: for-pack(Cats.S2) -------------------------------------------------------------------------------- /src/s2/applicative.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s2/applicative.ml -------------------------------------------------------------------------------- /src/s2/bicontravariant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s2/bicontravariant.ml -------------------------------------------------------------------------------- /src/s2/bicovariant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s2/bicovariant.ml -------------------------------------------------------------------------------- /src/s2/category.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s2/category.ml -------------------------------------------------------------------------------- /src/s2/comonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s2/comonad.ml -------------------------------------------------------------------------------- /src/s2/covariant.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s2/covariant.ml -------------------------------------------------------------------------------- /src/s2/monad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s2/monad.ml -------------------------------------------------------------------------------- /src/s2/profunctor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/s2/profunctor.ml -------------------------------------------------------------------------------- /src/types.mlpack: -------------------------------------------------------------------------------- 1 | Sum 2 | Product -------------------------------------------------------------------------------- /src/types/.merlin: -------------------------------------------------------------------------------- 1 | REC -------------------------------------------------------------------------------- /src/types/_tags: -------------------------------------------------------------------------------- 1 | <*.cmx>: for-pack(Cats.Types) -------------------------------------------------------------------------------- /src/types/product.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/types/product.ml -------------------------------------------------------------------------------- /src/types/product.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/types/product.mli -------------------------------------------------------------------------------- /src/types/sum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/types/sum.ml -------------------------------------------------------------------------------- /src/types/sum.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/types/sum.mli -------------------------------------------------------------------------------- /src/types/void.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/types/void.ml -------------------------------------------------------------------------------- /src/types/void.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tel/ocaml-cats/HEAD/src/types/void.mli --------------------------------------------------------------------------------