package elpi

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

Module API.BuiltInDataSource

Conversion for Elpi's built-in data types

Sourceval int : int Conversion.t

See Elpi.Builtin for a few more

Sourceval float : float Conversion.t
Sourceval string : string Conversion.t
Sourceval list : 'a Conversion.t -> 'a list Conversion.t
Sourceval poly : string -> Data.term Conversion.t
Sourceval closed : string -> (Data.term * int) Conversion.t
Sourceval intC : (int, 'c, 'csts) ContextualConversion.t
Sourceval floatC : (float, 'c, 'csts) ContextualConversion.t
Sourceval stringC : (string, 'c, 'csts) ContextualConversion.t
Sourceval listC : ('a, 'h, 'cst) ContextualConversion.t -> ('a list, 'h, 'cst) ContextualConversion.t
Sourceval locC : (Ast.Loc.t, 'c, 'csts) ContextualConversion.t
Sourceval polyC : string -> (Data.term, 'c, 'csts) ContextualConversion.t
Sourceval anyC : (Data.term, 'c, 'csts) ContextualConversion.t