Module `Tacit`Source

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

Sourceval applicator : ('a -> 'b) -> 'a -> 'b

Sourceval apply : ('a -> 'b) -> 'a -> 'b

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

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

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

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

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

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

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

Sourceval becard : ('a -> 'b) -> ('c -> 'a) -> ('d -> 'c) -> 'd -> 'b

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

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

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

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

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

Sourceval c_ : ('a -> 'b -> 'c -> 'd) -> 'a -> 'c -> 'b -> 'd

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

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

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

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

Sourceval dove : ('a -> 'b -> 'c) -> 'a -> ('d -> 'b) -> 'd -> 'c

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

Source

val e'_ : 
  ('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

Source

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

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

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

Sourceval f_ : ('a -> 'b -> 'c -> 'd) -> 'c -> 'b -> 'a -> 'd

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

Sourceval g : ('a -> 'b -> 'c) -> ('d -> 'b) -> 'd -> 'a -> 'c

Sourceval goldfinch : ('a -> 'b -> 'c) -> ('d -> 'b) -> 'd -> 'a -> 'c

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

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

Sourceval i : 'a -> 'a

Sourceval id : 'a -> 'a

Sourceval idiot : 'a -> 'a

Sourceval i_ : ('a -> 'b) -> 'a -> 'b

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

Sourceval j : ('a -> 'b -> 'b) -> 'a -> 'b -> 'a -> 'b

Sourceval jay : ('a -> 'b -> 'b) -> 'a -> 'b -> 'a -> 'b

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

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

Sourceval joy' : ('a -> 'b -> 'c) -> 'a -> 'b -> 'd -> 'c

Sourceval jalt' : ('a -> 'b -> 'c) -> 'a -> 'b -> 'd -> 'c

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

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

Sourceval ki : 'a -> 'b -> 'b

Sourceval kite : 'a -> 'b -> 'b

Sourceval o : (('a -> 'b) -> 'a) -> ('a -> 'b) -> 'b

Sourceval owl : (('a -> 'b) -> 'a) -> ('a -> 'b) -> 'b

Sourceval phi : ('a -> 'b -> 'c) -> ('d -> 'a) -> ('d -> 'b) -> 'd -> 'c

Sourceval converge : ('a -> 'b -> 'c) -> ('d -> 'a) -> ('d -> 'b) -> 'd -> 'c

Sourceval fork : ('a -> 'b -> 'c) -> ('d -> 'a) -> ('d -> 'b) -> 'd -> 'c

Sourceval phoenix : ('a -> 'b -> 'c) -> ('d -> 'a) -> ('d -> 'b) -> 'd -> 'c

Source

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sourceval r_ : ('a -> 'b -> 'c -> 'd) -> 'c -> 'a -> 'b -> 'd

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

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

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

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

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

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

Sourceval sbi : ('a -> 'a) -> 'a -> 'a

Sourceval twice : ('a -> 'a) -> 'a -> 'a

Sourceval t : 'a -> ('a -> 'b) -> 'b

Sourceval thrush : 'a -> ('a -> 'b) -> 'b

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

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

Sourceval v_ : ('a -> 'b -> 'c -> 'd) -> 'b -> 'a -> 'c -> 'd

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

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

Sourceval commute : ('a -> 'a -> 'b) -> 'a -> 'b

Sourceval self : ('a -> 'a -> 'b) -> 'a -> 'b

Sourceval selfie : ('a -> 'a -> 'b) -> 'a -> 'b

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

Sourceval w1 : 'a -> ('a -> 'a -> 'b) -> 'b

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

Sourceval w__ : ('a -> 'b -> 'c -> 'c -> 'd) -> 'a -> 'b -> 'c -> 'd

Sourcemodule Infix : sig ... end

package tacit

Module TacitSource

Module `Tacit`Source