Travesty.Mappable
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
.
For input and output module signatures for this module's functors, see Mappable_types
.
We define several derived functions for mappable containers in Mappable_types
---here, we define functors to generate them.
module Extend1
(S : Mappable_types.S1_container) :
Mappable_types.Extensions1 with type 'a t := 'a S.t
Extend1
implements Extensions1 for an arity-1 mappable container.