package combic

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

Module CombicSource

Sourceval i : 'a -> 'a
Sourceval identity : 'a -> 'a
Sourceval k : 'a -> 'b -> 'a

Return first argument, ignoring second

Sourceval kestrel : 'a -> 'b -> 'a
Sourceval pi : 'a -> 'b -> 'b

Return second argument, ignoring first

Sourceval penguin : 'a -> 'b -> 'b
Sourceval w : ('a -> 'a -> 'b) -> 'a -> 'b

Passes a single value to both arguments of binary function. eg: let double = warbler (+)

Sourceval warbler : ('a -> 'a -> 'b) -> 'a -> 'b
Sourceval c : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c

Can be used to flip the arguments of a binary function. eg: cardinal String.concat "a";"b" ","

String.concat: string -> string list -> string, but by using cardinal it changes to string list -> string -> string

Sourceval cardinal : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
Sourceval b : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b

Composition eg: bluebird f g = f . g

Sourceval bluebird : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
Sourceval b1 : ('a -> 'b) -> ('c -> 'd -> 'a) -> 'c -> 'd -> 'b

Composition where b takes two arguments eg: blackbird add1 ( * )

Sourceval blackbird : ('a -> 'b) -> ('c -> 'd -> 'a) -> 'c -> 'd -> 'b
Sourceval b2 : ('a -> 'b) -> ('c -> 'd -> 'e -> 'a) -> 'c -> 'd -> 'e -> 'b

Composition where b takes three arguments eg: blunting add1 ( fun x y z -> x * y *z )

Sourceval blunting : ('a -> 'b) -> ('c -> 'd -> 'e -> 'a) -> 'c -> 'd -> 'e -> 'b
Sourceval b3 : ('a -> 'b) -> ('c -> 'a) -> ('d -> 'c) -> 'd -> 'b

Composition with 3 functions eg: becard add1 add1 add1

Sourceval becard : ('a -> 'b) -> ('c -> 'a) -> ('d -> 'c) -> 'd -> 'b
Sourceval s : ('a -> 'b -> 'c) -> ('a -> 'b) -> 'a -> 'c
Sourceval starling : ('a -> 'b -> 'c) -> ('a -> 'b) -> 'a -> 'c
Sourceval sigma : ('a -> 'b -> 'c) -> ('b -> 'a) -> 'b -> 'c
Sourceval violetstarling : ('a -> 'b -> 'c) -> ('b -> 'a) -> 'b -> 'c
Sourceval d : ('a -> 'b -> 'c) -> 'a -> ('d -> 'b) -> 'd -> 'c
Sourceval dove : ('a -> 'b -> 'c) -> 'a -> ('d -> 'b) -> 'd -> 'c
Sourceval delta : ('a -> 'b -> 'c) -> ('d -> 'a) -> 'd -> 'b -> 'c
Sourceval zebradove : ('a -> 'b -> 'c) -> ('d -> 'a) -> 'd -> 'b -> 'c
Sourceval fi : ('a -> 'a -> 'b) -> ('c -> 'a) -> 'c -> 'c -> 'b
Sourceval phoenix : ('a -> 'a -> 'b) -> ('c -> 'a) -> 'c -> 'c -> 'b
Sourceval psi : ('a -> 'a -> 'b) -> ('c -> 'a) -> 'c -> 'c -> 'b
Sourceval d1 : ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> ('e -> 'c) -> 'e -> 'd
Sourceval dickcissel : ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> ('e -> 'c) -> 'e -> 'd
Sourceval d2 : ('a -> 'b -> 'c) -> ('d -> 'a) -> 'd -> ('e -> 'b) -> 'e -> 'c
Sourceval dovekie : ('a -> 'b -> 'c) -> ('d -> 'a) -> 'd -> ('e -> 'b) -> 'e -> 'c
Sourceval e : ('a -> 'b -> 'c) -> 'a -> ('d -> 'e -> 'b) -> 'd -> 'e -> 'c
Sourceval eagle : ('a -> 'b -> 'c) -> 'a -> ('d -> 'e -> 'b) -> 'd -> 'e -> 'c
Sourceval epsilon : ('a -> 'b -> 'c) -> ('d -> 'e -> 'a) -> 'd -> 'e -> 'b -> 'c
Sourceval goldeneagle : ('a -> 'b -> 'c) -> ('d -> 'e -> 'a) -> 'd -> 'e -> 'b -> 'c
Sourceval fi1 : ('a -> 'b -> 'c) -> ('d -> 'e -> 'a) -> ('d -> 'e -> 'b) -> 'd -> 'e -> 'c
Sourceval pheasant : ('a -> 'b -> 'c) -> ('d -> 'e -> 'a) -> ('d -> 'e -> 'b) -> 'd -> 'e -> 'c
Sourceval ehat : ('a -> 'b -> 'c) -> ('d -> 'e -> 'a) -> 'd -> 'e -> ('f -> 'g -> 'b) -> 'f -> 'g -> 'c
Sourceval baldeagle : ('a -> 'b -> 'c) -> ('d -> 'e -> 'a) -> 'd -> 'e -> ('f -> 'g -> 'b) -> 'f -> 'g -> 'c
OCaml

Innovation. Community. Security.