package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

This is the module for converting / handling links surface syntax to ensure compatability with the relational lenses module.

module Error : sig ... end

val unary_of_sugartype_op : 
  Operators.UnaryOp.t ->
  Links_core.Lens.Operators.Unary.t option

Convert a Links unary operator to a Relational Lenses unary operator.

val binary_of_sugartype_op : 
  Operators.BinaryOp.t ->
  Links_core.Lens.Operators.Binary.t option

Convert a Links binary operator to a Relational Lenses binary operator.

val cols_of_phrase : Sugartypes.phrase -> string list

Extract a columns from a sugar syntax phrase. This is used in the join case where the user specifies the join columns in the Links syntax, which results in an expression of the form (a, b, c), which is parsed to a TupleLit of Var elements.

val is_static : Lens.Phrase.Type.t -> Sugartypes.phrase -> bool

Determine if the predicate should dynamically be checked or not.

val lens_sugar_phrase_of_sugar : 
  Sugartypes.phrase ->
  SourceCode.Position.t Lens.Phrase.Sugar.phrase