Search results

[discussion] Flexible serialization/deserialization for types and predicates

Status: Open.

#21 In KitApps/schema-refined;

· kachayev opened on Jul 8, 2018

[discussion] Define and prove invariants of the function

enhancementNew feature or requestNew feature or request

feature

Status: Open.

#20 In KitApps/schema-refined;

· serzh opened on Jun 30, 2018

Function predicate to ensure that the function given supports 1-arity

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In KitApps/schema-refined;

· kachayev opened on Jun 27, 2018

[discussion] Catch contradictory predicates when declaring refined type

feature

Status: Open.

#14 In KitApps/schema-refined;

· kachayev opened on Jun 21, 2018

Tools for generative testing

feature

Status: Open.

#13 In KitApps/schema-refined;

· kachayev opened on Jun 21, 2018

Target ClojureScript

Status: Open.

#11 In KitApps/schema-refined;

· kachayev opened on Jun 21, 2018

Multi-line schemas and printing of #Refined

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In KitApps/schema-refined;

· kachayev opened on Jun 17, 2018

Improve Schema error messages for RefinedSchema

feature

Status: Open.

#3 In KitApps/schema-refined;

· kachayev opened on Jun 17, 2018

Consider predicates rerooting for RefinedSchema

questionFurther information is requestedFurther information is requested

Status: Open.

#1 In KitApps/schema-refined;

· kachayev opened on Jun 17, 2018