Contract - Prismatic Platform

Contract

code-quality Intermediate Updated recently
Back to Glossary

Definition

A behavioral specification that defines the expected interface, types, and invariants of a module or function, enforced at compile-time by Dialyzer or at runtime by contract tests

Term Analytics

Usage Trends

Complexity Distribution

Interconnections Network

Interactive network showing relationships between terms. Click nodes to explore connected concepts.

Platform Integration

References & Citations

  1. [1]
    API Reference - contract

    JSON API endpoint for this glossary term

Quick Stats

Domain code-quality
Complexity Intermediate
Related Terms 5
Tags 3

Share This Term