Rob Rix
1eacd39c0c
Reformat the Carrier signature a little more.
2018-10-29 11:19:31 -04:00
Rob Rix
65b7707f46
Define diffing as an effect.
2018-10-29 11:01:41 -04:00
Rob Rix
a66788c682
Only re-export Generic/Generic1.
2018-10-12 17:54:57 -04:00
Timothy Clem
a6ad3f7f59
Reduce usage of DiffAnnotation
2018-09-25 16:52:40 -05:00
Timothy Clem
0a837dfb97
Expose stripDiff
2018-09-25 11:18:10 -05:00
Timothy Clem
9b641b4a4a
The end of Record fields
2018-09-24 17:14:52 -05:00
Timothy Clem
38a4bb38f2
WIP - replace Record across the project
...
Not quiet there with Diff and decorators yet
2018-09-21 13:46:25 -07:00
Patrick Thomson
bdd75e6e7c
Add export lists to modules missing them.
2018-07-19 14:45:04 -04:00
Rick Winfrey
7e9847489c
Unicode NBSP characters ruffle tree-sitter's leaves
2018-06-20 14:31:27 -07:00
Rob Rix
c7e8419e29
Placate hlint.
2018-05-30 18:56:50 -04:00
Rob Rix
54150552b3
Merge branch 'master' into 🔥 -galign
2018-05-29 08:53:37 -04:00
Rob Rix
f38d2520e5
Define an Ord instance for Label.
2018-05-16 16:17:57 -04:00
Rob Rix
067b354cb3
Define an Eq instance for Label.
2018-05-16 16:17:26 -04:00
Rob Rix
90b81d5ae9
Define a Show instance for Label.
2018-05-16 16:16:50 -04:00
Rob Rix
62175f9da6
Use Hashable1 instances for the syntax for RWS.
2018-05-16 16:02:13 -04:00
Rob Rix
367c450502
Define a Label type abstracting over Hashable1 syntax.
2018-05-16 15:59:11 -04:00
Rob Rix
f362f28049
Derive the Hashable instance for Gram.
2018-05-16 15:58:35 -04:00
Rob Rix
79e044154e
Rename some more type parameters.
2018-05-16 14:38:13 -04:00
Rob Rix
e6c75a3c2c
Reformat the signature for pqGramDecorator.
2018-05-16 14:37:23 -04:00
Rob Rix
d2742a25ae
Rename a bunch more type parameters to spell out the syntax type.
2018-05-16 14:37:06 -04:00
Rob Rix
6baaadcc17
Compute labels over the syntax alone.
2018-05-16 14:36:33 -04:00
Rob Rix
867f133000
Reformat the signature for defaultFeatureVectorDecorator.
2018-05-16 14:32:14 -04:00
Rob Rix
e2923ae537
Spell out the syntax type parameter.
2018-05-16 14:30:37 -04:00
Rob Rix
0d86e6a64e
Define diffTermPair using these.
2018-05-15 18:29:04 -04:00
Rob Rix
cf756afc4a
Move diffTermPair into Diffing.Interpreter.
2018-05-14 13:30:35 -04:00
Rob Rix
44c250bcf3
Use type applications instead of proxies when calling apply.
2018-05-02 12:13:01 -04:00
Rob Rix
ebc8e01cc4
Use our own local definition of Sum.
2018-05-02 12:00:15 -04:00
Rob Rix
4459b26b0b
Tidy up the language extensions.
2018-04-09 16:22:24 -04:00
Rob Rix
0a282c63a0
We know this can’t happen but ghc does not.
2018-04-09 16:21:44 -04:00
Rob Rix
1dafdb27c4
🔥 some redundant GAlign constraints.
2018-04-09 16:13:46 -04:00
Rob Rix
f30460d36d
Use tryAlignWith in the interpreter.
2018-04-09 16:12:38 -04:00
Rob Rix
a5f9cef5be
Use tryAlignWith in RWS.
2018-04-09 16:12:10 -04:00
Rob Rix
bd17eaa282
Define tryAlignWith in Diffable.
2018-04-09 16:11:55 -04:00
Patrick Thomson
9d5ace795b
Take a pass at fixing/silencing linter hints.
...
Since @charliesome was expressing trouble with keeping custom infix
operator precedence straight (a very fair complaint, and one that I
have trouble with too), I thought it best to make sure that master
builds with clean hlints. I propose we make CI check that `hlint src`
executes cleanly.
2018-03-20 10:41:53 -04:00
Timothy Clem
247b13831c
We should fix these, but I'm not confident about how to do that...
2018-03-16 13:22:49 -07:00
Timothy Clem
fa0c72fb14
Remove some more redundant constraints
2018-03-16 10:56:15 -07:00
Josh Vera
786c92d94a
Merge branch 'master' into prologue
2018-02-28 12:36:29 -05:00
Patrick Thomson
7652d2f4a0
Keep the => on the subsequent line.
2018-02-28 09:07:56 -08:00
Patrick Thomson
7df92c2828
Comment fixes to ensure stack haddock works.
...
There were a couple of typeclasses that were bamboozling the Haddock
parser. I was able to fix `subalgorithmFor`, but the vaguaries of
per-argument comments in type families appear to have escaped me—if
you can figure out how to get them picked up in the definition of
AssignmentParser, shout. I tried it all the ways I could think of and
came up empty.
But now we have nice Haddocks, which are intensely helpful!
2018-02-28 09:03:41 -08:00
joshvera
9963f4a2b0
expose Monoid typeclass
2018-02-28 11:27:25 -05:00
joshvera
766f960e91
Add some more modules
...
Control.Exception
Don't import all of Data.Monoid newtypes
2018-02-27 18:13:25 -05:00
joshvera
dec2f2b22e
Add more modules
...
MonadError
GHC.Stack
Data.Hashable
Data.These
Data.Functor.Classes.Generic
Data.Traversable
Control.Arrow
Both
GAlign
Mergeable
Bifoldable
Bitraversable
2018-02-27 17:43:50 -05:00
Rob Rix
a112fca6f3
Merge branch 'master' into 🔥 -monolithic-syntax
2017-12-18 15:07:00 -05:00
Rob Rix
96c94e7672
iterFreer’s algebra takes the continuation & instruction in the opposite order.
2017-12-13 09:18:42 -08:00
Rob Rix
d2cb077ddc
Don’t assign parent labels to grams.
2017-12-01 17:07:03 -05:00
Rob Rix
99f3633060
Generalize featureVectorDecorator to accept any Hashable label.
2017-12-01 17:00:40 -05:00
Rob Rix
f1c4b58797
Merge branch 'musical-modules' into 🔥 -monolithic-syntax
2017-11-28 11:59:38 -05:00
Rob Rix
2102ab41cf
Rename Decorating to Analysis.
2017-11-27 14:32:13 -05:00
Rob Rix
fd31babd62
Rename Decorator to Decorating.Decorator.
2017-11-27 13:36:00 -05:00
Rob Rix
bb21a24a93
Rename RWS to Diffing.Algorithm.RWS.
2017-11-27 11:51:39 -05:00
