Up
Module
Args_to_Args2
(
X
:
Args
) :
Args2
with
type
('a, 'e)
arg
= 'a
X.arg
with
type
('f, 'r, 'e)
t
= ('f, 'r)
X.t
Parameters
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