Combic (p.combic.1.0.0.doc.combic.Combic)

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

Source

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

Source

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

Source

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

Source

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