package travesty

You can search for identifiers within the package.

in-package search v0.2.0

Monadically traversable containers

Install

sha256=64b136dadb5d7628dbdf5db18d4cae813a69f670979b028e5ce36db41c714064

sha512=086dbe8603047b549a0b97d9e8c3252ba71db0bd30bcb03eed24a86ad39ea52ee8118a29003bd20aea06d52b39e930e263d9a53215bfa58ea4bab7f856928add

Simultaneous mapping and filtering.

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

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

module Make0
  (F : Filter_mappable_types.Basic0) : 
  Filter_mappable_types.S0 with type t := F.t and type elt := F.elt

Make0 makes an S0 from a Basic0.

module Make1
  (F : Filter_mappable_types.Basic1) : 
  Filter_mappable_types.S1 with type 'a t := 'a F.t

Make0 makes an S1 from a Basic1.

module To_mappable0
  (F : Filter_mappable_types.Basic0) : 
  Mappable_types.S0 with type t := F.t and type elt := F.elt

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

module To_mappable1
  (F : Filter_mappable_types.Basic1) : 
  Mappable_types.S1 with type 'a t := 'a F.t

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

On This Page