package containers

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

Categorical Constructs

Attempt to copy some structures from Haskell and the likes. Disclaimer: I don't know much about category theory, only about type signatures ;).

Signatures

module type MONOID = sig ... end
module type FUNCTOR = sig ... end
module type APPLICATIVE = sig ... end
module type MONAD_BARE = sig ... end
module type MONAD = sig ... end
module type MONAD_TRANSFORMER = sig ... end
type 'a sequence = ('a -> unit) -> unit

Cheating: use an equivalent of "to List" with a sequence

module type FOLDABLE = sig ... end
module type TRAVERSE = functor (M : MONAD) -> sig ... end
module type FREE_MONAD = sig ... end

The free monad is built by nesting applications of a functor F.

Some Implementations

module WrapMonad (M : MONAD_BARE) : MONAD with type 'a t = 'a M.t

Implement the applicative and functor modules from only return and bind

module MakeFree (F : FUNCTOR) : FREE_MONAD with module F = F
module MakeFreeFold (FM : FREE_MONAD) (Fold : FOLDABLE with type 'a t = 'a FM.F.t) : FOLDABLE with type 'a t = 'a FM.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct