• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Searching...
    Or go to: Standard Library API
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • refl

  • Documentation
  • refl lib
  • Refl .Visit .Make .V .Applicative Module
package refl
  • refl
    • Refl
      • Builtins
        • Refl
          • Delay
          • Delays
          • Kinds
          • Sequence
            • T
          • UnaryTypeS
      • Compare
        • Comparer
        • Comparers
      • Converter
      • Converters
      • Delay
      • Delays
      • Eq
        • Equaler
        • Equalers
      • Hash
        • Hasher
        • Hashers
          • T
      • Kinds
      • Lift
        • Exp
          • Lifter
          • Lifters
            • T
        • Make
          • Lifter
          • Lifters
            • T
          • Target
        • Pat
          • Lifter
          • Lifters
            • T
      • Mapper
      • Mappers
      • Ocaml_attributes
      • Printer
      • PrinterSequence
      • Printers
        • T
      • Sequence
        • T
      • StringMap
      • Tools
        • BinaryTypeS
        • BinaryVector
          • T
        • Constructor
          • Map
            • M
            • RecordMap
              • Tools
            • Tools
        • Desc_type
        • Desc_vector
          • T
        • Mapper
        • MapperTools
          • M
        • Object
          • Method
          • Methods
          • Object
          • Objects
        • ParameterizedVector
          • T
          • Unary
            • Item
            • U
            • Unary
              • T
        • Record
          • Field
          • Fields
          • Map
            • M
            • Tools
          • Record
          • Records
        • Section
        • SignedVector
          • T
        • Tuple
          • Item
          • Items
          • Tuple
          • Tuples
        • Variant
        • Vector
          • T
        • VectorS
          • T
      • UnaryTypeS
      • Visit
        • Make
          • V
            • Applicative
          • Visitor
          • Visitors
            • T
        • VisitS
          • Visitor
          • Visitors
            • T
        • VisitorS
          • Applicative
  • refl.ppx
    • Ppx_refl
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Traverse.Modules.Functor.S
type 'a t
val map : ('a -> 'b) -> 'a t -> 'b t
val pure : 'a -> 'a t
val apply : ('a -> 'b) t -> (unit -> 'a t) -> 'b t

The evaluation of the second argument is delayed so that it can be skipped if not necessary: it allows short-circuits with forall, exists, etc.

Footer

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About Us

  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Get Started
  • Language Manual
  • Standard Library API
  • Books
  • Releases

Community

  • Blog
  • Jobs

Policies

  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct