Interface DataConstructor.Case<R>

  • Enclosing class:
    DataConstructor

    public static interface DataConstructor.Case<R>
    • Method Detail

      • constructor

        R constructor​(java.lang.String name,
                      int index,
                      java.util.List<javax.lang.model.type.TypeVariable> typeVariables,
                      java.util.List<DataArgument> arguments,
                      java.util.List<TypeRestriction> typeRestrictions,
                      javax.lang.model.type.DeclaredType returnedType,
                      DataDeconstructor deconstructor)