issues
search
sanctuary-js
/
sanctuary-def
Run-time type system for JavaScript
MIT License
294
stars
23
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
circle: housekeeping
#278
davidchambers
closed
4 years ago
0
remove bower.json
#277
davidchambers
closed
4 years ago
0
add FUNDING.yml
#276
davidchambers
closed
4 years ago
0
record types do not behave correctly as supertypes
#275
davidchambers
opened
4 years ago
1
Wish there was even more detailed error handling in sanctuary-def
#274
voxbono
opened
4 years ago
4
fix underlining of higher-order functions
#273
davidchambers
closed
4 years ago
0
sanctuary-maybe@1.2.0
#272
davidchambers
closed
5 years ago
0
sanctuary-either@1.2.0
#271
davidchambers
closed
5 years ago
0
sanctuary-pair@1.2.0
#270
davidchambers
closed
5 years ago
0
sanctuary-identity@1.2.0
#269
davidchambers
closed
5 years ago
0
sanctuary-descending@1.2.0
#268
davidchambers
closed
5 years ago
0
env: add ‘Array2 ??? ???’, ‘Type’, and ‘TypeClass’
#267
davidchambers
closed
5 years ago
0
types: define Fn type constructor
#266
davidchambers
closed
5 years ago
0
track type arity explicitly rather than inferring it from ‘keys’
#265
davidchambers
closed
5 years ago
0
simplify code for formatting type signatures
#264
davidchambers
closed
5 years ago
0
types: update type of Function type constructor
#263
davidchambers
closed
5 years ago
0
test: add missing ‘supertypes’ assertions
#262
davidchambers
closed
5 years ago
0
types: define Identity type constructor
#261
davidchambers
closed
5 years ago
0
types: define Descending type constructor
#260
davidchambers
closed
5 years ago
0
sanctuary-type-classes@11.0.x
#259
davidchambers
closed
5 years ago
0
improve performance of NullaryType
#258
davidchambers
closed
5 years ago
0
sanctuary-scripts@3.2.x
#257
davidchambers
closed
5 years ago
0
allow extractors to return any foldable structure
#256
davidchambers
closed
5 years ago
0
provide keys, extractors, and types to ‘_Type’ as one data structure
#255
davidchambers
closed
5 years ago
0
documentation: RecordType does not take supertypes
#254
davidchambers
closed
5 years ago
0
types: define RegexFlags as a subtype of String
#253
davidchambers
closed
5 years ago
0
use ‘Z.lift2’ in place of ‘xprod’
#252
davidchambers
closed
5 years ago
0
use ‘fromUnaryType’ and ‘fromBinaryType’ to reduce code duplication
#251
davidchambers
closed
5 years ago
0
fix error message for unmatched parameterized type variable
#250
davidchambers
closed
5 years ago
0
test: perform membership tests in empty environment
#249
davidchambers
closed
5 years ago
0
remove type namespaces
#248
davidchambers
closed
5 years ago
0
remove special case that permitted environment to include ‘Nullable ???’
#247
davidchambers
closed
5 years ago
0
types: define Either, Maybe, and Pair type constructors
#246
davidchambers
closed
5 years ago
0
improve various type signatures
#245
davidchambers
closed
5 years ago
0
dramatically improve performance of UnaryType and BinaryType
#244
davidchambers
closed
5 years ago
0
types: exclude null and undefined from empty record types
#243
davidchambers
closed
5 years ago
0
documentation: remove vestigial reference to ‘concatS’
#242
davidchambers
closed
5 years ago
0
documentation: use “that” rather than “which” in defining clauses
#241
davidchambers
closed
5 years ago
0
types: require records to be object-like
#240
davidchambers
closed
5 years ago
0
test: demonstrate semantics of empty record types
#239
davidchambers
closed
5 years ago
0
types: define NamedRecordType type constructor
#238
davidchambers
closed
5 years ago
0
test: provide thunks to ‘throws’
#237
davidchambers
closed
5 years ago
0
support explicit subtyping
#236
davidchambers
closed
5 years ago
5
make ‘_Type’ a regular function
#235
davidchambers
closed
5 years ago
0
simplify definitions of *WithUrl functions
#234
davidchambers
closed
5 years ago
0
types: define related types in dependency order
#233
davidchambers
closed
5 years ago
0
replace ‘id’ with ‘I’
#232
davidchambers
closed
5 years ago
0
replace ‘compose’ with ‘B’
#231
davidchambers
closed
5 years ago
0
style: use ‘!(p (x))’ rather than ‘!p (x)’
#230
davidchambers
closed
5 years ago
0
unify environment detection
#229
davidchambers
closed
5 years ago
0
Previous
Next