package elpi

  1. Overview
  2. Docs
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type

Adaptors for standard HO functions

type 'a pred1
type ('a, 'b) pred2
type ('a, 'b, 'c) pred3
val pred1 : 'a Conversion.t -> 'a pred1 Conversion.t
val pred2 : 'a Conversion.t -> 'b Conversion.t -> ('a, 'b) pred2 Conversion.t
val pred3 : 'a Conversion.t -> 'b Conversion.t -> 'c Conversion.t -> ('a, 'b, 'c) pred3 Conversion.t
val filter1 : once:once -> depth:int -> filter:(('a -> bool) -> 's -> 's) -> 'a pred1 -> 's -> Data.state -> Data.state * 's * Conversion.extra_goals
val filter2 : once:once -> depth:int -> filter:(('a -> 'b -> bool) -> 's -> 's) -> ('a, 'b) pred2 -> 's -> Data.state -> Data.state * 's * Conversion.extra_goals
val map1 : once:once -> depth:int -> map:(('a -> 'c) -> 's -> 's) -> ('a, 'c) pred2 -> 's -> Data.state -> Data.state * 's * Conversion.extra_goals
val map2 : once:once -> depth:int -> map:(('a -> 'b -> 'c) -> 's -> 's) -> ('a, 'b, 'c) pred3 -> 's -> Data.state -> Data.state * 's * Conversion.extra_goals