links

The Links Programming Language
IN THIS PACKAGE

Functional combinators

val (-<-) : ( 'a -> 'b ) -> ( 'c -> 'd ) -> 'e -> 'f

"compose" operators (arrow indicates direction of composition)

val (->-) : ( 'a -> 'b ) -> ( 'c -> 'd ) -> 'e -> 'f
val curry : ( ('a * 'b) -> 'c ) -> 'd -> 'e -> 'f
val uncurry : ( 'a -> 'b -> 'c ) -> ('d * 'e) -> 'f
val identity : 'a -> 'b
val flip : ( 'a -> 'b -> 'c ) -> 'd -> 'e -> 'f
val const : 'a -> 'b -> 'c
val cross : ( 'a -> 'b ) -> ( 'c -> 'd ) -> ('e * 'f) -> 'g * 'h