package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Q = Query

module QL = QueryLang

val tag_query : QL.t -> QL.t

val tuple : QL.t list -> QL.t

val pair : QL.t -> QL.t -> QL.t

module Shred : sig ... end

module Split : sig ... end

module LetInsertion : sig ... end

module FlattenRecords : sig ... end

module Stitch : sig ... end

val unordered_query_package : 
  Types.datatype ->
  QL.t ->
  (Sql.query * Shred.flat_type) Shred.package

val compile_shredded : 
  Value.env ->
  Ir.computation ->
  (Value.database * (Sql.query * Shred.flat_type) Shred.package) option

val compile_temporal_join : 
  CommonTypes.Temporality.t ->
  Value.env ->
  Ir.computation ->
  Value.database * (Sql.query * Shred.flat_type) Shred.package