import type { Algebra } from '@comunica/utils-algebra';
import type * as RDF from '@rdfjs/types';
import type { LRUCache } from 'lru-cache';
import type { ComunicaDataFactory } from './ComunicaDataFactory';
import type { IActionContext } from './IActionContext';
export interface ITimeZoneRepresentation {
    zoneHours: number;
    zoneMinutes: number;
}
export interface IDateRepresentation extends Partial<ITimeZoneRepresentation> {
    year: number;
    month: number;
    day: number;
}
export interface ITimeRepresentation extends Partial<ITimeZoneRepresentation> {
    hours: number;
    minutes: number;
    seconds: number;
}
export interface IDayTimeDurationRepresentation {
    hours: number;
    minutes: number;
    seconds: number;
    day: number;
}
export interface IYearMonthDurationRepresentation {
    year: number;
    month: number;
}
export type IDurationRepresentation = IYearMonthDurationRepresentation & IDayTimeDurationRepresentation;
export type IDateTimeRepresentation = IDateRepresentation & ITimeRepresentation;
export type AsyncExtensionFunction = (args: RDF.Term[]) => Promise<RDF.Term>;
export type AsyncExtensionFunctionCreator = (functionNamedNode: RDF.NamedNode) => Promise<AsyncExtensionFunction | undefined>;
/**
 * The key 'term' is not included in these keys. Something that is just a term will map to number 0.
 */
export type GeneralSuperTypeDict = Record<string, number> & {
    __depth: number;
};
export type TypeCache = LRUCache<string, GeneralSuperTypeDict>;
export type SuperTypeCallback = (unknownType: string) => string;
export interface ISuperTypeProvider {
    cache: TypeCache;
    discoverer: SuperTypeCallback;
}
/**
 * An evaluator for RDF expressions.
 */
export interface IExpressionEvaluator extends IInternalEvaluator {
    /**
     * Evaluates the provided bindings in terms of the context the evaluator was created.
     * @param mapping the RDF bindings to evaluate against.
     */
    evaluate: (mapping: RDF.Bindings) => Promise<RDF.Term>;
    /**
     * Evaluates the provided bindings in terms of the context the evaluator was created,
     * returning the effective boolean value.
     * @param mapping the RDF bindings to evaluate against.
     */
    evaluateAsEBV: (mapping: RDF.Bindings) => Promise<boolean>;
    evaluateAsEvaluatorExpression: (mapping: RDF.Bindings) => Promise<TermExpression>;
}
export interface IInternalEvaluator {
    evaluatorExpressionEvaluation: (expr: Expression, mapping: RDF.Bindings) => Promise<TermExpression>;
    context: IActionContext;
}
export declare enum ExpressionType {
    Aggregate = "aggregate",
    Existence = "existence",
    Operator = "operator",
    Term = "term",
    Variable = "variable"
}
export type TermType = 'namedNode' | 'literal' | 'blankNode' | 'quad' | 'defaultGraph';
export type TermExpression = IExpressionProps & {
    expressionType: ExpressionType.Term;
    termType: TermType;
    str: () => string;
    coerceEBV: () => boolean;
    toRDF: (dataFactory: ComunicaDataFactory) => RDF.Term;
};
export type Expression = AggregateExpression | ExistenceExpression | OperatorExpression | TermExpression | VariableExpression;
export interface IExpressionProps {
    expressionType: ExpressionType;
}
export type AggregateExpression = IExpressionProps & {
    expressionType: ExpressionType.Aggregate;
    name: string;
    expression: Algebra.AggregateExpression;
};
export type ExistenceExpression = IExpressionProps & {
    expressionType: ExpressionType.Existence;
    expression: Algebra.ExistenceExpression;
};
export type OperatorExpression = IExpressionProps & {
    expressionType: ExpressionType.Operator;
    name: string;
    args: Expression[];
    apply: FunctionApplication;
};
export type VariableExpression = IExpressionProps & {
    expressionType: ExpressionType.Variable;
    name: string;
};
export type SimpleApplication = (args: TermExpression[]) => TermExpression;
export type SimpleApplicationTuple<T> = (args: T) => TermExpression;
export type FunctionApplication = (evalContext: IEvalContext) => Promise<TermExpression>;
export type ImplementationFunction = (expressionEvaluator: IInternalEvaluator) => SimpleApplication;
export type ImplementationFunctionTuple<T> = (expressionEvaluator: IInternalEvaluator) => SimpleApplicationTuple<T>;
export interface IFunctionArgumentsCacheObj {
    func?: ImplementationFunction;
    cache?: FunctionArgumentsCache;
}
export type FunctionArgumentsCache = Record<string, IFunctionArgumentsCacheObj>;
export interface IEvalContext {
    args: Expression[];
    mapping: RDF.Bindings;
    exprEval: IInternalEvaluator;
}