package links

  1. Overview
  2. Docs
module Backend : sig ... end
module Basicsettings : sig ... end
module BuildTables : sig ... end
module ChannelVarUtils : sig ... end
module Chaser : sig ... end
module CheckXmlQuasiquotes : sig ... end
module Closures : sig ... end
module CommonTypes : sig ... end
module CompilePatterns : sig ... end
module Context : sig ... end
module Database : sig ... end

A generic interface for SQL-style databases. Vendor-specific implementations are elsewhere

module DatabaseDriver : sig ... end
module Debug : sig ... end

Facilities for optional debugging messages.

module DefaultAliases : sig ... end
module Delateralize : sig ... end
module DesugarAlienBlocks : sig ... end
module DesugarCP : sig ... end
module DesugarDatatypes : sig ... end
module DesugarEffects : sig ... end
module DesugarFormlets : sig ... end
module DesugarFors : sig ... end
module DesugarFuns : sig ... end
module DesugarInners : sig ... end
module DesugarLAttributes : sig ... end
module DesugarModules : sig ... end
module DesugarPages : sig ... end
module DesugarProcesses : sig ... end
module DesugarRegexes : sig ... end
module DesugarSessionExceptions : sig ... end
module DesugarSwitchFuns : sig ... end
module DesugarTypeVariables : sig ... end
module Env : sig ... end

Environments.

module Errors : sig ... end
module EvalMixingQuery : sig ... end
module EvalNestedQuery : sig ... end
module EvalQuery : sig ... end
module Evalir : sig ... end
module EventHandlers : sig ... end
module Frontend : sig ... end
module Generalise : sig ... end
module Graph : sig ... end

A few graph algorithms. Pure interfaces, but impure implementations. A graph is represented as node lists + adjacency list.

module Instantiate : sig ... end
module Ir : sig ... end
module IrCheck : sig ... end
module IrTransform : sig ... end
module IrTraversals : sig ... end
module Irtojs : sig ... end
module Js : sig ... end
module Json : sig ... end
module Lens : sig ... end
module Lens_database_conv : sig ... end
module Lens_errors : sig ... end
module Lens_ir_conv : sig ... end
module Lens_sugar_conv : sig ... end

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

module Lens_type_conv : sig ... end
module Lens_value_conv : sig ... end
module Lexer : sig ... end
module Lib : sig ... end
module LiftRecursive : sig ... end
module Linkspath : sig ... end
module Linksregex : sig ... end
module Loader : sig ... end
module MixingQuery : sig ... end
module ModuleUtils : sig ... end
module Module_hacks : sig ... end
module Multipart : sig ... end
module Notfound : sig ... end
module Operators : sig ... end
module PP : sig ... end
module Page : sig ... end
module Parse : sig ... end
module ParseXml : sig ... end
module Parser : sig ... end
module Performance : sig ... end
module Proc : sig ... end
module ProcessTypes : sig ... end
module Query : sig ... end
module QueryLang : sig ... end
module Regex : sig ... end
module Renamer : sig ... end
module RequestData : sig ... end
module ResolveJsonState : sig ... end
module ResolvePositions : sig ... end
module Scanner : sig ... end
module Serialisation : sig ... end
module Settings : sig ... end
module Shunting : sig ... end
module SourceCode : sig ... end
module Sparql : sig ... end
module Sql : sig ... end
module SugarConstructors : sig ... end
module SugarConstructorsIntf : sig ... end
module SugarTraversals : sig ... end
module Sugartoir : sig ... end

Converts the tree returned by the parser into our internal representation

module Sugartypes : sig ... end

The syntax tree created by the parser.

module Tables : sig ... end
module TemporalQuery : sig ... end
module TimestampLexer : sig ... end
module TimestampParser : sig ... end
module Transform : sig ... end
module TransformSugar : sig ... end
module TypeSugar : sig ... end
module TypeUtils : sig ... end
module Types : sig ... end
module Typevarcheck : sig ... end
module Unify : sig ... end
module Unionfind : sig ... end
module Utility : sig ... end
module Value : sig ... end
module Var : sig ... end
module Webif : sig ... end

Web interface

module Webserver : sig ... end
module Webserver_types : sig ... end
module WebsocketMessages : sig ... end
module XmlLexer : sig ... end
module XmlParser : sig ... end
OCaml

Innovation. Community. Security.