type Schema

bend-schema-lib@0.4.1.0 · core.bend:100

import Base

100type Schema is Data:
101  SNat{}
102  SNatIn{lo: Nat, hi: Nat}
103  SStr{}
104  SStrLen{lo: Nat, hi: Nat, s: Schema}
105  SOpt{inner: Schema}
106  SList{elem: Schema}
107  SField{name: String, s: Schema, rest: Schema}
108  SEnd{}
109  SRule{s: Schema, tag: Nat}
110  SStrict{s: Schema}
111  STagged{key: String, name: String, s: Schema, rest: Schema}
112  STagEnd{key: String}
113  SBool{}
114  STrue{}
115  SEnum{names: List<&2, String>}
116  SVariant{name: String, s: Schema, rest: Schema}
117  SVEnd{}
118  STuple{s: Schema, rest: Schema}
119  STEnd{}
120  SOptional{inner: Schema}
121  SListLen{lo: Nat, hi: Nat, s: Schema}
122  SJson{}
123  SInt{}
124  SIntIn{lo: Int, hi: Int}
125  SEither{l: Schema, r: Schema}