import { Lens } from '../types' ; export type PipeLenses = { < A , B , C > ( lens1 , lens2 ) : Lens < A , C > ; < A , B , C , D > ( lens1 , lens2 , lens3 ) : Lens < A , D > ; < A , B , C , D , E > ( lens1 , lens2 , lens3 , lens4 ) : Lens < A , E > ; < A , B , C , D , E , F > ( lens1 , lens2 , lens3 , lens4 , lens5 ) : Lens < A , F > ; < A , B , C , D , E , F , G > ( lens1 , lens2 , lens3 , lens4 , lens5 , lens6 ) : Lens < A , G > ; < A , B , C , D , E , F , G , H > ( lens1 , lens2 , lens3 , lens4 , lens5 , lens6 , lens7 ) : Lens < A , H > ; < A , B , C , D , E , F , G , H , I > ( lens1 , lens2 , lens3 , lens4 , lens5 , lens6 , lens7 , lens8 ) : Lens < A , I > ; < A , B , C , D , E , F , G , H , I , J > ( lens1 , lens2 , lens3 , lens4 , lens5 , lens6 , lens7 , lens8 , lens9 ) : Lens < A , J > ; < A , B , C , D , E , F , G , H , I , J , K > ( lens1 , lens2 , lens3 , lens4 , lens5 , lens6 , lens7 , lens8 , lens9 , lens10 ) : Lens < A , K > ; < A , B > ( ... lenses ) : Lens < A , B > ; } ;