1
1
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
semantic/src/Data
Patrick Thomson f9f0dd5e79 Use a hand-written integer parser.
Rather than relying on the `Read` instance for `Integer`, let's make
our assumptions about the format explicit. This was mostly a matter of
extracting internal functions from the `Scientific` parser.
2018-06-25 11:55:32 -04:00
..
Abstract Missed another ++. 2018-06-19 09:34:17 -04:00
Functor Missed a ++. 2018-06-19 09:33:33 -04:00
JSON Merge remote-tracking branch 'origin/master' into text-names 2018-06-04 11:46:54 -04:00
Map Re-export Lower in Prologue. 2018-06-15 11:41:15 -04:00
Scientific Use a hand-written integer parser. 2018-06-25 11:55:32 -04:00
Semigroup 📝 AppMerge is a Monoid too. 2018-03-21 17:29:48 -04:00
Syntax Use a hand-written integer parser. 2018-06-25 11:55:32 -04:00
Algebra.hs rename subtermValue to subtermRef 2018-05-15 10:38:16 -07:00
AST.hs last few ByteString excisions 2018-06-04 10:59:31 -04:00
Blob.hs Fix tests. 2018-06-11 13:36:15 -04:00
Diff.hs Weaken the constraints on beforeTerm/afterTerm to Foldable. 2018-05-29 12:52:00 -04:00
Error.hs change fromBytes to fromUTF8 2018-06-04 10:18:32 -04:00
Graph.hs Re-export Lower in Prologue. 2018-06-15 11:41:15 -04:00
Language.hs Revert "gRPC import graph" 2018-06-13 12:34:35 -04:00
Mergeable.hs Merge branch 'master' into 🔥-galign 2018-05-29 08:53:37 -04:00
Options.hs Stub in a module for the Options. 2018-05-24 08:49:30 -04:00
Patch.hs Extra langauge pragma 2018-03-16 12:48:05 -07:00
Project.hs Revert "gRPC import graph" 2018-06-13 12:34:35 -04:00
Range.hs Re-export Lower in Prologue. 2018-06-15 11:41:15 -04:00
Record.hs Restrict head/tail/init/last. 2018-06-19 09:26:36 -04:00
Source.hs Fix tests. 2018-06-11 13:36:15 -04:00
Span.hs Re-export Lower in Prologue. 2018-06-15 11:41:15 -04:00
SplitDiff.hs Remove some more redundant constraints 2018-03-16 10:56:15 -07:00
Syntax.hs Correct the method name. 2018-06-19 10:06:22 -04:00
Term.hs Merge branch 'master' into protobuf-instances 2018-05-31 11:33:19 -04:00