drops
v0.1.0

View Source Drops.Types (drops v0.1.0)

Drops.Types is a module that provides functions for creating type structs from DSL's type specs represented by plain tuples.

Summary

Functions

from_spec(type, opts)
infer_constraints(arg, opts)
infer_primitive(arg, opts)
predicate(name)
predicate(name, args)

Functions

Link to this function

from_spec(type, opts)

View Source
Link to this function

infer_constraints(arg, opts)

View Source
Link to this function

infer_primitive(arg, opts)

View Source
Link to this function

predicate(name)

View Source
Link to this function

predicate(name, args)

View Source