-
An effect type must be provided, e.g.
```
(Eff A { log })
= (-> (Object (log (-> String Void))) A)
```
This equation defines the type `Eff`, but we cannot simply use `define-type` because need …
-
I there, I'm doing an integration with Lagom Framework.
I already being able to generate OpenAPI definition, and it is working very well:
*Swagger definition*
```yaml
openapi: 3.0.1
info:
ti…
-
### What is the problem this feature would solve?
Our API is using the discriminators feature from the open API and Kubb does not support that making a possible migration to this tool impossible.
S…
-
This:
```
assume val ty : Type
```pulse
fn test (x : ty)
requires emp
returns x:int
ensures emp
{
1
}
```
Fails with
```
Could not infer implicit arguments in x: ty -> stt in…
-
~~~coq
Inductive F : SProp := .
Polymorphic Definition foo@{q|u|} (A:Type@{q|u}) (x:F) : A := match x with end.
Definition baz := Eval lazy in foo@{Type|Set}.
(* Error: Bad case inversion. *)
…
-
Swagger specifications allow models to be polymorphic via a `discriminator` field ([doc](https://github.com/OAI/OpenAPI-Specification/blob/master/versions/2.0.md#composition-and-inheritance-polymorphi…
-
##### Description
When using polymorphism, the JsonSubType is duplicated, like on this example:
``` java
@JsonIgnoreProperties(
value = "type", // ignore manually set type, it will be aut…
-
I am working on it!
I've got rudimentary field inheritance working, but I haven't attempted anything which touches the database yet :P
I'll post a link to the branch once I've got something worth sha…
leth updated
13 years ago
-
Add Polymorphism Code in Java
-
The attached simple example has two classes, parent in static library and child in application
Unfortunately CEREAL_REGISTER_POLYMORPHIC_RELATION(Parent, Child) does not trigger registration for ch…