Links_core.TemporalQuery.TemporalJoin · links 0.9.6

links

The Links Programming Language

Version

Overview Documentation

IN THIS PACKAGE

library links.core
- module Links_core
  - module Backend
  - module Basicsettings
    
    module Handlers
    
    module Sessions
    
    module System
    
    module Types
  - module BuildTables
    
    module ClosureTable
    
    visitor
    
    module FreeVars
    
    visitor
    
    module FunDefs
    
    module ScopesAndContDefs
    
    visitor
  - module ChannelVarUtils
  - module Chaser
  - module CheckXmlQuasiquotes
    
    module Untyped
  - module Closures
    
    module ClosureConvert
    
    visitor
    
    module ClosureVars
    
    visitor
    
    module Globalise
  - module CommonTypes
    
    module Constant
    
    module DateTime
    
    module DeclaredLinearity
    
    module ForeignLanguage
    
    module Freedom
    
    module Kind
    
    module Label
    
    module Linearity
    
    module Location
    
    module Name
    
    module PrimaryKind
    
    module Primitive
    
    module Quantifier
    
    module QueryPolicy
    
    module Restriction
    
    module Subkind
    
    module TemporalField
    
    module Temporality
    
    module Timestamp
  - module CompilePatterns
    
    module type CONSTSET
    
    module CompileEq
    
    module CompileLists
    
    module ConstMap
    
    module ConstSet
    
    module Pattern
  - module Context
  - module Database
    
    db_args
  - module DatabaseDriver
  - module Debug
  - module DefaultAliases
  - module Delateralize
  - module DesugarAlienBlocks
  - module DesugarCP
    
    module Typeable
  - module DesugarDatatypes
    
    module Untyped
  - module DesugarEffects
    
    module Untyped
  - module DesugarFormlets
    
    module Typeable
  - module DesugarFors
    
    module Typeable
  - module DesugarFuns
    
    module Typeable
  - module DesugarInners
    
    module Typeable
  - module DesugarLAttributes
    
    module Untyped
  - module DesugarModules
    
    module Untyped
  - module DesugarPages
    
    module Typeable
  - module DesugarProcesses
    
    module Typeable
  - module DesugarRegexes
    
    module Typeable
  - module DesugarSessionExceptions
    
    module Typeable
    
    module Untyped
  - module DesugarSwitchFuns
    
    module Untyped
  - module DesugarTypeVariables
    
    module Untyped
  - module Env
    
    module Int
    
    module Make
    
    argument 1-Ord
    
    module type S
    
    module Dom
    
    module String
  - module Errors
  - module EvalMixingQuery
  - module EvalNestedQuery
    
    module FlattenRecords
    
    module LetInsertion
    
    module Shred
    
    module Split
    
    module Stitch
  - module EvalQuery
  - module Evalir
    
    module type EVAL
    
    argument 1-Webs
    
    module type EVALUATOR
    
    module Eval
    
    argument 1-Webs
    
    module Evaluator
    
    argument 1-ContEval
    
    argument 2-Webs
    
    module K
    
    module Evaluation
    
    argument 1-E
    
    module Frame
    
    module Handler
    
    module Inspection
    
    module Exceptions
  - module EventHandlers
  - module Frontend
  - module Generalise
  - module Graph
  - module Instantiate
  - module Ir
  - module IrCheck
    
    module Typecheck
  - module IrTransform
    
    module Make
    
    argument 1-T
    
    module type S
    
    ir_transformer
  - module IrTraversals
    
    module CheckForCycles
    
    module ElimBodiesFromMetaTypeVars
    
    module ElimDeadDefs
    
    module ElimTypeAliases
    
    module type IR_VISITOR
    
    visitor
    
    module Inline
    
    module InstantiateTypes
    
    module Transform
    
    visitor
  - module Irtojs
    
    module Compiler
    
    module type JS_CODEGEN
    
    module type JS_PAGE_COMPILER
    
    module Js_CodeGen
  - module Js
    
    module Symbols
  - module Json
    
    module JsonState
  - module Lens
    
    module Eval
    
    module Classic
    
    module Error
    
    module Incremental
    
    module MapBoolList
    
    module OrderedBoolList
    
    module Phrase
    
    module Constant
    
    module Grouped_variables
    
    module Error
    
    module List
    
    module O
    
    module Option
    
    module Record
    
    module Sugar
    
    module Type
    
    module Typesugar
    
    module Value
    
    module Record
    
    module Unbox_error
    
    module Utility
    
    module Exn_converter
    
    module For_unit_tests_only
    
    module Format
    
    module Int
    
    module Int
    
    module Map
    
    module Set
    
    module List
    
    module Seq
    
    module O
    
    module Option
    
    module Result
    
    module O
    
    module Seq
    
    module Set
    
    module Make
    
    argument 1-Ord
    
    module type OrderedShow
    
    module type S
    
    module String
    
    module Map
    
    module Set
  - module Lens_database_conv
  - module Lens_errors
  - module Lens_ir_conv
    
    module Env
    
    module IrValue
    
    module Of_ir_error
    
    module Primitives
  - module Lens_sugar_conv
    
    module Error
  - module Lens_type_conv
  - module Lens_value_conv
  - module Lexer
  - module Lib
  - module LiftRecursive
    
    module Untyped
  - module Linksregex
    
    module type Links_type
    
    module Regex
    
    module Repeat
  - module Loader
  - module MixingQuery
    
    module Eval
  - module ModuleUtils
  - module Module_hacks
    
    module Name
  - module Multipart
  - module Notfound
    
    module Buffer
    
    module Hashtbl
    
    module type HashedType
    
    module Make
    
    argument 1-H
    
    module MakeSeeded
    
    argument 1-H
    
    module type S
    
    module type SeededHashedType
    
    module type SeededS
    
    module List
    
    module ListLabels
    
    module Map
    
    module Make
    
    argument 1-Ord
    
    module MoreLabels
    
    module Hashtbl
    
    module type HashedType
    
    module Make
    
    argument 1-H
    
    module MakeSeeded
    
    argument 1-H
    
    module type S
    
    module type SeededHashedType
    
    module type SeededS
    
    module Map
    
    module Make
    
    argument 1-Ord
    
    module Set
    
    module Make
    
    argument 1-Ord
    
    module Printexc
    
    module Slot
    
    module Set
    
    module Make
    
    argument 1-Ord
    
    module Str
    
    module String
    
    module StringLabels
    
    module Sys
    
    module Immediate64
    
    module type Immediate
    
    module Make
    
    argument 1-Immediate
    
    argument 2-Non_immediate
    
    module type Non_immediate
    
    module Unix
    
    module UnixLabels
  - module Operators
    
    module Associativity
    
    module BinaryOp
    
    module Section
    
    module UnaryOp
  - module PP
  - module Page
    
    module Make_RealPage
    
    argument 1-C
    
    argument 2-G
    
    module RealPage
  - module Parse
    
    module LinksLexer
    
    module Readline
  - module ParseXml
  - module Parser
    
    module Incremental
    
    module MenhirInterpreter
  - module Performance
  - module Proc
    
    module type MAILBOX
    
    module Mailbox
    
    module Proc
    
    module type SESSION
    
    module Session
    
    module type WEBSOCKETS
    
    module Websockets
  - module ProcessTypes
    
    module type ACCESSPOINTIDMAP
    
    module type ACCESSPOINTIDSET
    
    module AccessPointID
    
    module AccessPointIDMap
    
    module AccessPointIDSet
    
    module type CHANNELIDMAP
    
    module type CHANNELIDSET
    
    module type CLIENTIDMAP
    
    module type CLIENTIDSET
    
    module ChannelID
    
    module ChannelIDMap
    
    module ChannelIDSet
    
    module ClientID
    
    module ClientIDMap
    
    module ClientIDSet
    
    module type NAME
    
    module type PIDMAP
    
    module type PIDSET
    
    module PidMap
    
    module PidSet
    
    module ProcessID
  - module Query
    
    module Eval
  - module QueryLang
    
    module type QUERY_VISITOR
    
    visitor
    
    module Transform
    
    visitor
  - module Regex
  - module Renamer
  - module RequestData
    
    module DecodeRequestHeaders
  - module ResolveJsonState
  - module ResolvePositions
    
    module Untyped
  - module Scanner
    
    module type LexerSig
    
    module Scanner
    
    argument 1-Lex
  - module Serialisation
    
    module Continuation
    
    module MarshalSerialiser
    
    module Continuation
    
    module Value
    
    module type SERIALISER
    
    module Continuation
    
    module Value
    
    module UnsafeJsonSerialiser
    
    module Continuation
    
    module Value
    
    module Value
    
    module YojsonSerialiser
    
    module Continuation
    
    module Value
  - module Settings
    
    module CLI
    
    module Reflection
  - module Shunting
    
    module Optable
    
    module Untyped
    
    reorder
    
    shunt
  - module SourceCode
    
    module Lexpos
    
    module Position
    
    module Resolved
    
    module WithPos
    
    source_code
  - module Sql
    
    module Arithmetic
    
    module SqlFuns
    
    printer
  - module SugarConstructors
    
    module DummyPositions
    
    module SugarConstructors
    
    argument 1-Position
    
    module SugartypesPositions
  - module SugarConstructorsIntf
    
    module type Pos
    
    module type SugarConstructorsSig
  - module SugarTraversals
    
    fold
    
    fold_map
    
    map
    
    predicate
  - module Sugartoir
  - module Sugartypes
    
    module Alien
    
    module Binder
    
    module Datatype
    
    module Freevars
    
    module Pattern
    
    module SugarQuantifier
    
    module SugarTypeVar
  - module Tables
  - module TemporalQuery
    
    module OpHelpers
    
    module TemporalJoin
    
    visitor
    
    module TransactionTime
    
    module ValidTime
    
    module Delete
    
    module Insert
    
    module Update
  - module TimestampLexer
  - module TimestampParser
    
    module Incremental
    
    module MenhirInterpreter
  - module Transform
    
    module type INTERFACE
    
    module Identity
    
    module Typeable
    
    module Untyped
    
    module type TYPEABLE
    
    module Make
    
    argument 1-T
    
    module type S
    
    module Typeable
    
    sugar_transformer
    
    module Typeable
    
    module Make
    
    argument 1-T
    
    module type S
    
    module Typeable
    
    sugar_transformer
    
    module type UNTYPED
    
    module Make
    
    module Transformer
    
    argument 1-T
    
    module type S
    
    module Untyped
    
    module Untyped
    
    module Make
    
    module Transformer
    
    argument 1-T
    
    module type S
    
    module Untyped
  - module TransformSugar
    
    transform
  - module TypeSugar
    
    module Check
  - module TypeUtils
  - module Types
    
    module Abstype
    
    module Base
    
    module type Constraint
    
    module ElimRecursiveTypeCyclesTransform
    
    visitor
    
    module Mono
    
    module Policy
    
    module EffectSugar
    
    module type RECIDMAP
    
    module type RECIDSET
    
    module RecIdMap
    
    module RecIdSet
    
    module Session
    
    module type TYPE_VISITOR
    
    visitor
    
    module Transform
    
    visitor
    
    module TypeVarMap
    
    module TypeVarSet
    
    module Unl
    
    module Vars
    
    type_predicate
  - module Typevarcheck
  - module Unify
  - module Unionfind
  - module Utility
    
    module AList
    
    module type CHARSET
    
    module CalendarShow
    
    module Char
    
    module CharMap
    
    module CharSet
    
    module DefaultPolicy
    
    module Disk
    
    module Directory
    
    module File
    
    module Iterator
    
    module Link
    
    module Functional
    
    module type GLOB_POLICY
    
    module Glob
    
    module Make
    
    argument 1-P
    
    module type S
    
    module type INTMAP
    
    module type INTSET
    
    module Int
    
    module IntMap
    
    module IntPair
    
    module IntPairMap
    
    module IntSet
    
    module ListUtils
    
    module LwtHelpers
    
    module Map
    
    module Make
    
    argument 1-Ord
    
    module OptionUtils
    
    module type OrderedShow
    
    module PolyBuffer
    
    module Queue
    
    module type STRINGMAP
    
    module Set
    
    module Make
    
    argument 1-Ord
    
    module String
    
    module StringMap
    
    module StringSet
    
    module StringUtils
    
    module UnixTimestamp
  - module Value
    
    module type CONTINUATION
    
    module Evaluation
    
    argument 1-E
    
    module Frame
    
    module Handler
    
    module Inspection
    
    module type CONTINUATION_EVALUATOR
    
    module Continuation
    
    module Evaluation
    
    argument 1-E
    
    module Frame
    
    module Handler
    
    module Inspection
    
    module type ENV
    
    module Env
    
    module type FRAME
    
    module Table
    
    module Trap
    
    database
    
    dbvalue
    
    otherfield
  - module Var
    
    module Scope
  - module Webif
    
    module WebIf
    
    argument 1-Webs
  - module Webserver
    
    module Webserver
  - module Webserver_types
    
    module type WEBSERVER
  - module WebsocketMessages
  - module XmlLexer
    
    lexer_context
  - module XmlParser
    
    module Incremental
    
    module MenhirInterpreter
library links.lens
- module Links_lens
  - module Alias
    
    module Map
    
    module Set
    
    module List
    
    module Set
  - module Column
    
    module List
    
    module Set
  - module Database
    
    module Change
    
    module Delete
    
    module Insert
    
    module Select
    
    module Table
    
    module Update
  - module Debug
  - module Eval
    
    module Classic
    
    module Error
    
    module Incremental
    
    module MapBoolList
    
    module OrderedBoolList
  - module Fun_dep
    
    module Check_error
    
    module Compare
    
    module Remove_defines_error
    
    module Set
    
    module Tree
    
    module Tree_form_error
  - module Operators
    
    module Binary
    
    module Operator_not_found_exception
    
    module Unary
  - module Phrase
    
    module Constant
    
    module Grouped_variables
    
    module Error
    
    module List
    
    module O
    
    module Option
    
    module Record
    
    module Sugar
    
    module Type
    
    module Typesugar
    
    module Value
    
    module Record
    
    module Unbox_error
  - module Sort
    
    module Drop_sort_error
    
    module Join_sort_error
    
    module Lens_sort_error
    
    module Select_sort_error
  - module Sorted_records
    
    module Inconsistent_columns_error
    
    module Join_error
    
    module Reorder_error
    
    module Simple_record
  - module Statistics
  - module Type
    
    module Drop_lens_error
    
    module Join_lens_error
    
    module Select_lens_error
    
    module Unchecked_lens_error
  - module Utility
    
    module Exn_converter
    
    module For_unit_tests_only
    
    module Format
    
    module Int
    
    module Int
    
    module Map
    
    module Set
    
    module List
    
    module Seq
    
    module O
    
    module Option
    
    module Result
    
    module O
    
    module Seq
    
    module Set
    
    module Make
    
    argument 1-Ord
    
    module type OrderedShow
    
    module type S
    
    module String
    
    module Map
    
    module Set
  - module Value

Module Links_core . TemporalQuery . TemporalJoin

inherit Links_core.QueryLang.Transform.visitor

val tables : (Q.t * string * string) list

method private set_tables : visitor -> (Q.t * string * string) list -> 'b

method start_time : 'b -> Q.t

method end_time : 'b -> Q.t

method query : 'b -> Links_core__QueryLang.t -> 'b * Q.t