Function isKnownOperation

isKnownOperation<
    Type extends Types,
    SubType extends string | undefined = undefined,
>(
    val: BaseOperation,
    type: Type,
    subType?: SubType,
): val is SubType extends undefined
    ? (
        | Extract<Ask, { type: Type }>
        | Extract<BoundAggregate, { type: Type }>
        | Extract<Algebra.AggregateExpression, { type: Type }>
        | Extract<GroupConcatExpression, { type: Type }>
        | Extract<Algebra.ExistenceExpression, { type: Type }>
        | Extract<NamedExpression, { type: Type }>
        | Extract<Algebra.OperatorExpression, { type: Type }>
        | Extract<Algebra.TermExpression, { type: Type }>
        | Extract<WildcardExpression, { type: Type }>
        | Extract<Bgp, { type: Type }>
        | Extract<Construct, { type: Type }>
        | Extract<Algebra.Describe, { type: Type }>
        | Extract<Distinct, { type: Type }>
        | Extract<Extend, { type: Type }>
        | Extract<From, { type: Type }>
        | Extract<Filter, { type: Type }>
        | Extract<Graph, { type: Type }>
        | Extract<
            Patch<Opened<Group>, { aggregates: BoundAggregate[] }>,
            { type: Type },
        >
        | Extract<Join, { type: Type }>
        | Extract<LeftJoin, { type: Type }>
        | Extract<Minus, { type: Type }>
        | Extract<Nop, { type: Type }>
        | Extract<OrderBy, { type: Type }>
        | Extract<Path, { type: Type }>
        | Extract<Pattern, { type: Type }>
        | Extract<Project, { type: Type }>
        | Extract<Alt, { type: Type }>
        | Extract<Inv, { type: Type }>
        | Extract<Link, { type: Type }>
        | Extract<Nps, { type: Type }>
        | Extract<OneOrMorePath, { type: Type }>
        | Extract<Seq, { type: Type }>
        | Extract<ZeroOrMorePath, { type: Type }>
        | Extract<ZeroOrOnePath, { type: Type }>
        | Extract<Reduced, { type: Type }>
        | Extract<Service, { type: Type }>
        | Extract<Slice, { type: Type }>
        | Extract<Union, { type: Type }>
        | Extract<Values, { type: Type }>
        | Extract<DeleteInsert, { type: Type }>
        | Extract<Load, { type: Type }>
        | Extract<Clear, { type: Type }>
        | Extract<Create, { type: Type }>
        | Extract<Drop, { type: Type }>
        | Extract<Add, { type: Type }>
        | Extract<Move, { type: Type }>
        | Extract<Copy, { type: Type }>
        | Extract<CompositeUpdate, { type: Type }>
    ) extends object
        ?
            | Extract<Ask, { type: Type }>
            | Extract<BoundAggregate, { type: Type }>
            | Extract<Algebra.AggregateExpression, { type: Type }>
            | Extract<GroupConcatExpression, { type: Type }>
            | Extract<Algebra.ExistenceExpression, { type: Type }>
            | Extract<NamedExpression, { type: Type }>
            | Extract<Algebra.OperatorExpression, { type: Type }>
            | Extract<Algebra.TermExpression, { type: Type }>
            | Extract<WildcardExpression, { type: Type }>
            | Extract<Bgp, { type: Type }>
            | Extract<Construct, { type: Type }>
            | Extract<Algebra.Describe, { type: Type }>
            | Extract<Distinct, { type: Type }>
            | Extract<Extend, { type: Type }>
            | Extract<From, { type: Type }>
            | Extract<Filter, { type: Type }>
            | Extract<Graph, { type: Type }>
            | Extract<
                Patch<Opened<Group>, { aggregates: BoundAggregate[] }>,
                { type: Type },
            >
            | Extract<Join, { type: Type }>
            | Extract<LeftJoin, { type: Type }>
            | Extract<Minus, { type: Type }>
            | Extract<Nop, { type: Type }>
            | Extract<OrderBy, { type: Type }>
            | Extract<Path, { type: Type }>
            | Extract<Pattern, { type: Type }>
            | Extract<Project, { type: Type }>
            | Extract<Alt, { type: Type }>
            | Extract<Inv, { type: Type }>
            | Extract<Link, { type: Type }>
            | Extract<Nps, { type: Type }>
            | Extract<OneOrMorePath, { type: Type }>
            | Extract<Seq, { type: Type }>
            | Extract<ZeroOrMorePath, { type: Type }>
            | Extract<ZeroOrOnePath, { type: Type }>
            | Extract<Reduced, { type: Type }>
            | Extract<Service, { type: Type }>
            | Extract<Slice, { type: Type }>
            | Extract<Union, { type: Type }>
            | Extract<Values, { type: Type }>
            | Extract<DeleteInsert, { type: Type }>
            | Extract<Load, { type: Type }>
            | Extract<Clear, { type: Type }>
            | Extract<Create, { type: Type }>
            | Extract<Drop, { type: Type }>
            | Extract<Add, { type: Type }>
            | Extract<Move, { type: Type }>
            | Extract<Copy, { type: Type }>
            | Extract<CompositeUpdate, { type: Type }>
        : { type: Type }
    : (
        | Extract<BoundAggregate, { subType: SubType; type: Type }>
        | Extract<Algebra.AggregateExpression, { subType: SubType; type: Type }>
        | Extract<GroupConcatExpression, { subType: SubType; type: Type }>
        | Extract<Algebra.ExistenceExpression, { subType: SubType; type: Type }>
        | Extract<NamedExpression, { subType: SubType; type: Type }>
        | Extract<Algebra.OperatorExpression, { subType: SubType; type: Type }>
        | Extract<Algebra.TermExpression, { subType: SubType; type: Type }>
        | Extract<WildcardExpression, { subType: SubType; type: Type }>
    ) extends object
        ?
            | Extract<BoundAggregate, { subType: SubType; type: Type }>
            | Extract<Algebra.AggregateExpression, { subType: SubType; type: Type }>
            | Extract<GroupConcatExpression, { subType: SubType; type: Type }>
            | Extract<Algebra.ExistenceExpression, { subType: SubType; type: Type }>
            | Extract<NamedExpression, { subType: SubType; type: Type }>
            | Extract<Algebra.OperatorExpression, { subType: SubType; type: Type }>
            | Extract<Algebra.TermExpression, { subType: SubType; type: Type }>
            | Extract<WildcardExpression, { subType: SubType; type: Type }>
        : { subType: SubType; type: Type }
Type guard that checks if an operation is of a certain type and subType known by Comunica. In case the type and subtype matches one known by Comunica, the type guard will conclude the operation contains all member Comunica expects from this operation-type and subtype.
Type Parameters
- Type extends Types
- SubType extends string | undefined = undefined
Parameters
- val: BaseOperation
  the operation that should be type checked
- type: Type
  the type we want to test against
- OptionalsubType: SubType
  the potential subtype we want to test against - when provided and not matching, we do not fall back to just checking the type.
Returns val is SubType extends undefined
    ? (
        | Extract<Ask, { type: Type }>
        | Extract<BoundAggregate, { type: Type }>
        | Extract<Algebra.AggregateExpression, { type: Type }>
        | Extract<GroupConcatExpression, { type: Type }>
        | Extract<Algebra.ExistenceExpression, { type: Type }>
        | Extract<NamedExpression, { type: Type }>
        | Extract<Algebra.OperatorExpression, { type: Type }>
        | Extract<Algebra.TermExpression, { type: Type }>
        | Extract<WildcardExpression, { type: Type }>
        | Extract<Bgp, { type: Type }>
        | Extract<Construct, { type: Type }>
        | Extract<Algebra.Describe, { type: Type }>
        | Extract<Distinct, { type: Type }>
        | Extract<Extend, { type: Type }>
        | Extract<From, { type: Type }>
        | Extract<Filter, { type: Type }>
        | Extract<Graph, { type: Type }>
        | Extract<
            Patch<Opened<Group>, { aggregates: BoundAggregate[] }>,
            { type: Type },
        >
        | Extract<Join, { type: Type }>
        | Extract<LeftJoin, { type: Type }>
        | Extract<Minus, { type: Type }>
        | Extract<Nop, { type: Type }>
        | Extract<OrderBy, { type: Type }>
        | Extract<Path, { type: Type }>
        | Extract<Pattern, { type: Type }>
        | Extract<Project, { type: Type }>
        | Extract<Alt, { type: Type }>
        | Extract<Inv, { type: Type }>
        | Extract<Link, { type: Type }>
        | Extract<Nps, { type: Type }>
        | Extract<OneOrMorePath, { type: Type }>
        | Extract<Seq, { type: Type }>
        | Extract<ZeroOrMorePath, { type: Type }>
        | Extract<ZeroOrOnePath, { type: Type }>
        | Extract<Reduced, { type: Type }>
        | Extract<Service, { type: Type }>
        | Extract<Slice, { type: Type }>
        | Extract<Union, { type: Type }>
        | Extract<Values, { type: Type }>
        | Extract<DeleteInsert, { type: Type }>
        | Extract<Load, { type: Type }>
        | Extract<Clear, { type: Type }>
        | Extract<Create, { type: Type }>
        | Extract<Drop, { type: Type }>
        | Extract<Add, { type: Type }>
        | Extract<Move, { type: Type }>
        | Extract<Copy, { type: Type }>
        | Extract<CompositeUpdate, { type: Type }>
    ) extends object
        ?
            | Extract<Ask, { type: Type }>
            | Extract<BoundAggregate, { type: Type }>
            | Extract<Algebra.AggregateExpression, { type: Type }>
            | Extract<GroupConcatExpression, { type: Type }>
            | Extract<Algebra.ExistenceExpression, { type: Type }>
            | Extract<NamedExpression, { type: Type }>
            | Extract<Algebra.OperatorExpression, { type: Type }>
            | Extract<Algebra.TermExpression, { type: Type }>
            | Extract<WildcardExpression, { type: Type }>
            | Extract<Bgp, { type: Type }>
            | Extract<Construct, { type: Type }>
            | Extract<Algebra.Describe, { type: Type }>
            | Extract<Distinct, { type: Type }>
            | Extract<Extend, { type: Type }>
            | Extract<From, { type: Type }>
            | Extract<Filter, { type: Type }>
            | Extract<Graph, { type: Type }>
            | Extract<
                Patch<Opened<Group>, { aggregates: BoundAggregate[] }>,
                { type: Type },
            >
            | Extract<Join, { type: Type }>
            | Extract<LeftJoin, { type: Type }>
            | Extract<Minus, { type: Type }>
            | Extract<Nop, { type: Type }>
            | Extract<OrderBy, { type: Type }>
            | Extract<Path, { type: Type }>
            | Extract<Pattern, { type: Type }>
            | Extract<Project, { type: Type }>
            | Extract<Alt, { type: Type }>
            | Extract<Inv, { type: Type }>
            | Extract<Link, { type: Type }>
            | Extract<Nps, { type: Type }>
            | Extract<OneOrMorePath, { type: Type }>
            | Extract<Seq, { type: Type }>
            | Extract<ZeroOrMorePath, { type: Type }>
            | Extract<ZeroOrOnePath, { type: Type }>
            | Extract<Reduced, { type: Type }>
            | Extract<Service, { type: Type }>
            | Extract<Slice, { type: Type }>
            | Extract<Union, { type: Type }>
            | Extract<Values, { type: Type }>
            | Extract<DeleteInsert, { type: Type }>
            | Extract<Load, { type: Type }>
            | Extract<Clear, { type: Type }>
            | Extract<Create, { type: Type }>
            | Extract<Drop, { type: Type }>
            | Extract<Add, { type: Type }>
            | Extract<Move, { type: Type }>
            | Extract<Copy, { type: Type }>
            | Extract<CompositeUpdate, { type: Type }>
        : { type: Type }
    : (
        | Extract<BoundAggregate, { subType: SubType; type: Type }>
        | Extract<Algebra.AggregateExpression, { subType: SubType; type: Type }>
        | Extract<GroupConcatExpression, { subType: SubType; type: Type }>
        | Extract<Algebra.ExistenceExpression, { subType: SubType; type: Type }>
        | Extract<NamedExpression, { subType: SubType; type: Type }>
        | Extract<Algebra.OperatorExpression, { subType: SubType; type: Type }>
        | Extract<Algebra.TermExpression, { subType: SubType; type: Type }>
        | Extract<WildcardExpression, { subType: SubType; type: Type }>
    ) extends object
        ?
            | Extract<BoundAggregate, { subType: SubType; type: Type }>
            | Extract<Algebra.AggregateExpression, { subType: SubType; type: Type }>
            | Extract<GroupConcatExpression, { subType: SubType; type: Type }>
            | Extract<Algebra.ExistenceExpression, { subType: SubType; type: Type }>
            | Extract<NamedExpression, { subType: SubType; type: Type }>
            | Extract<Algebra.OperatorExpression, { subType: SubType; type: Type }>
            | Extract<Algebra.TermExpression, { subType: SubType; type: Type }>
            | Extract<WildcardExpression, { subType: SubType; type: Type }>
        : { subType: SubType; type: Type }
a boolean indicating whether the type and subtype are equal to the expected type and subtype. Only checking the subtype when a string is provided.
- Defined in packages/utils-algebra/lib/utils.ts:24

Function isKnownOperation

Type Parameters

Parameters

Settings