F #이 확장 된 튜플로 활성 패턴과 일치합니다.

Question

하위 세트에서 빨간색 squiggle이있는 diff에서 다음 오류가 발생합니다.
Type mismatch. Expecting a Range -> Choice but given a Range * Range -> Choice

내가 fst와 snd를 사용할 필요가 없도록 일종의 특수 효과 주석을 추가 할 수 있습니까? 그렇지 않다면이 구문을 지원할 의사가 있습니까?

| (x,y) & SubSet -> if xe.MoveNext() then useOldx x xe ye 

또는 당신이 할 수 있습니다 : :

type Range = {min : int64; max : int64} 

let (|Before|After|BeforeOverlap|AfterOverlap|SuperSet|SubSet|) (x, y) = 
    if x.min > y.max then After 
    elif x.min >= y.min then 
     if x.max <= y.max then SubSet 
     else AfterOverlap 
    elif x.max < y.min then Before 
    elif x.max <= y.max then BeforeOverlap 
    else SuperSet 

let useOldx x xe ye =() 

let diff (xe:IEnumerator<Range>) (ye:IEnumerator<Range>) = 
    match xe.Current, ye.Current with 
    | After as tuple ->() 
    | Before as t -> if xe.MoveNext() then useOldx (fst t) xe ye 
    | SuperSet as t -> 
     let x, y = t 
     if xe.MoveNext() then useOldx x xe ye 
    | SubSet as x, y -> if xe.MoveNext() then useOldx x xe ye 
    | _ ->() 

Answer 1

이 작업을 수행 할 수

open System.Collections.Generic 

type Range = {min : int64; max : int64} 

let (|Before|After|BeforeOverlap|AfterOverlap|SuperSet|SubSet|) (x, y) = 
    if x.min > y.max then After 
    elif x.min >= y.min then 
     if x.max <= y.max then SubSet(x,y) 
     else AfterOverlap 
    elif x.max < y.min then Before 
    elif x.max <= y.max then BeforeOverlap 
    else SuperSet 

let useOldx x xe ye =() 

let diff (xe:IEnumerator<Range>) (ye:IEnumerator<Range>) = 
    match xe.Current, ye.Current with 
    | After as tuple ->() 
    | Before as t -> if xe.MoveNext() then useOldx (fst t) xe ye 
    | SuperSet as t -> 
     let x, y = t 
     if xe.MoveNext() then useOldx x xe ye 
    | SubSet(x, y) -> if xe.MoveNext() then useOldx x xe ye 
    | _ ->()