package base

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

Parameters

module X : Args

Signature

type ('a, 'e) arg = 'a X.arg
type ('f, 'r, 'e) t = ('f, 'r) X.t
val nil : ('r, 'r, _) t
val cons : ('a, 'e) arg -> ('f, 'r, 'e) t -> ('a -> 'f, 'r, 'e) t
val (@>) : ('a, 'e) arg -> ('f, 'r, 'e) t -> ('a -> 'f, 'r, 'e) t
val step : ('f1, 'r, 'e) t -> f:('f2 -> 'f1) -> ('f2, 'r, 'e) t
val mapN : f:'f -> ('f, 'r, 'e) t -> ('r, 'e) arg
val applyN : ('f, 'e) arg -> ('f, 'r, 'e) t -> ('r, 'e) arg