package travesty

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

Simultaneous mapping and filtering.

Filter_mappable contains signatures and extensions for types that can be non-monadically mapped over, while simultaneously removing values.

Signatures

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

Making full instances from basic ones

Make0 makes an S0 from a Basic0.

Make0 makes an S1 from a Basic1.

Deriving Mappable

To_mappable0 lowers a filter-mappable arity-0 type to a mappable one.

To_mappable1 lowers a filter-mappable arity-1 type to a mappable one.