Up
Module
Args
Signature
type
('f, 'r) t
val
nil : ('r, 'r)
t
val
cons : 'a
t
-> ('f, 'r)
t
-> ('a -> 'f, 'r)
t
val
(@>) : 'a
t
-> ('f, 'r)
t
-> ('a -> 'f, 'r)
t
val
step : ('f1, 'r)
t
-> f:('f2 -> 'f1) -> ('f2, 'r)
t
val
mapN : f:'f -> ('f, 'r)
t
-> 'r
t
val
applyN : 'f
t
-> ('f, 'r)
t
-> 'r
t