package travesty

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

Non-monadic mapping.

Mappable contains signatures and extensions for types that can be (non-monadically) mapped over. It resembles the Haskell (but not the OCaml!) notion of a functor, though we call the mapping function map.

Signatures

For input and output module signatures for this module's functors, see Mappable_types.

Extending mappable containers

We define several derived functions for mappable containers in Mappable_types---here, we define functors to generate them.

Extend1 implements Extensions1 for an arity-1 mappable container.