Ship
Home
Book
Lexicon
Old Docs
Lexicon · GADT
Lexicon
Ship Lexicon
Behavior dictionary
Coercion
Cram test
Effect row
Exception channel
Exception row
GADT
Golden / expect test
Higher-rank polymorphism
HM inference
Kind
lacks('row, :tag)
Field mode (modality)
Named adapter
Open binder
Open variant
Persistent collection
Primary type
provide
Row extension
Row subtraction
Row
Schema type
Service
`.shc` contract
ship db
Tag
Typed SQL
Uniqueness / multiplicity
Variant
Wire shape
GADT
Generalized ADT; index types by construction. Advanced; annotations usually required.