-
Notifications
You must be signed in to change notification settings - Fork 3
/
InterfaceDsl.scala
79 lines (67 loc) · 2.92 KB
/
InterfaceDsl.scala
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
/*
* Copyright 2023 Valdemar Grange
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package gql.dsl
import gql.ast._
import cats.data._
import cats._
trait InterfaceDsl[F[_]] {
def interfaceNel[A](
name: String,
fields: AnyFields[F, A]
): Interface[F, A] = InterfaceDsl.interfaceNel(name, fields)
def interface[F[_], A](
name: String,
hd: (String, AnyField[F, A, ?]),
tl: (String, AnyField[F, A, ?])*
): Interface[F, A] = InterfaceDsl.interface(name, hd, tl: _*)
implicit def interfaceDslInterfaceOps[F[_], A](tpe: Interface[F, A]): InterfaceDsl.InterfaceOps[F, A] =
InterfaceDsl.interfaceDslFullInterfaceOps[F, A](tpe)
}
trait InterfaceDslFull {
def interfaceNel[F[_], A](
name: String,
fields: AnyFields[F, A]
): Interface[F, A] = Interface[F, A](name, fields, Nil)
def interface[F[_], A](
name: String,
hd: (String, AnyField[F, A, ?]),
tl: (String, AnyField[F, A, ?])*
): Interface[F, A] = interfaceNel[F, A](name, NonEmptyList(hd, tl.toList))
implicit def interfaceDslFullInterfaceOps[F[_], A](tpe: Interface[F, A]): InterfaceDsl.InterfaceOps[F, A] =
new InterfaceDsl.InterfaceOps[F, A](tpe)
}
object InterfaceDsl extends InterfaceDslFull {
def apply[F[_]]: InterfaceDsl[F] = new InterfaceDsl[F] {}
final class InterfaceOps[F[_], A](private val tpe: Interface[F, A]) extends AnyVal {
def implements[B](implicit interface: => Interface[F, B]): Interface[F, A] =
tpe.copy(implementations = Eval.later(interface) :: tpe.implementations)
def subtypeImpl[B](implicit ev: A <:< B, interface: => Interface[F, B]): Interface[F, A] = {
val existingConcretes = tpe.fields.collect { case (k, _: gql.ast.Field[F, A, ?]) => k }.toSet
val existingAbstracts = tpe.fields.collect { case (k, _: gql.ast.AbstractField[F, ?]) => k }.toSet
val news = interface.fields.collect {
case (k, f: gql.ast.Field[F, B, x]) if !existingConcretes.contains(k) =>
(k, f.contramap[F, A](ev(_)))
case (k, f: gql.ast.AbstractField[F, x]) if !existingAbstracts.contains(k) && !existingConcretes.contains(k) =>
(k, f)
}
implements[B](interface).addFields(news.toList: _*)
}
def addFields(xs: (String, AnyField[F, A, ?])*): Interface[F, A] =
tpe.copy(fields = tpe.fields ++ xs.toList)
def addFieldsNel(xs: NonEmptyList[(String, AnyField[F, A, ?])]): Interface[F, A] =
addFields(xs.toList: _*)
}
}