Rob Rix
ecd81878fc
Rename Control.Monad.Effect.Addressable to Control.Abstract.Addressable.
2018-03-01 11:50:38 -05:00
Rob Rix
b9b90f28fa
Give separate headings for general Data.* and Data.Abstract.*.
2018-03-01 11:47:21 -05:00
Rob Rix
b41a9d9d2b
Rename Analysis.Abstract.Evaluator to Control.Abstract.Evaluator.
2018-03-01 11:46:32 -05:00
Josh Vera
aa79af7b8c
Merge branch 'master' into rename-semantic
2018-03-01 11:41:07 -05:00
Rob Rix
4c79afece2
Correct some indentation.
2018-03-01 11:36:02 -05:00
Rob Rix
1aff7df28a
Inline the allocPrecise binding.
2018-03-01 11:35:44 -05:00
Rob Rix
f18f63019a
Abstract require over the evaluator type.
2018-03-01 11:33:53 -05:00
Rob Rix
3effc5df07
Abstract load over the evaluator type.
2018-03-01 11:33:32 -05:00
Rob Rix
c3ee31c4fc
Generalize the MonadFunctionAbstraction instance for Value over the evaluator type.
2018-03-01 11:32:14 -05:00
Rob Rix
77e79737fe
Abstract Evaluatable over the evaluator type.
2018-03-01 11:31:08 -05:00
Rob Rix
4d5969a077
Abstract evaluation under binders over the evaluator type.
2018-03-01 11:28:05 -05:00
Rob Rix
b25c9e6cd3
Move the AbstractValue constraint onto evaluation.
2018-03-01 11:18:53 -05:00
Rob Rix
06d24471f3
Abstract Addressable over the evaluator.
2018-03-01 11:14:30 -05:00
Rob Rix
590374884b
MonadEvaluator is a subclass of Monad.
2018-03-01 11:00:21 -05:00
Rob Rix
58b7c88b33
Define a MonadEvaluator typeclass abstracting the Evaluator type.
2018-03-01 10:59:55 -05:00
joshvera
41a538d7e1
Merge remote-tracking branch 'origin/master' into rename-semantic
2018-03-01 10:16:35 -05:00
Rob Rix
cec9e584e2
🔥 some commented-out imports.
2018-03-01 10:16:20 -05:00
Rob Rix
9cedb403bd
🔥 redundant imports.
2018-03-01 10:03:45 -05:00
Rob Rix
8c51acec71
Reformat the context for the AbstractFunction instance for values.
2018-03-01 10:02:58 -05:00
Rob Rix
9192a35b06
Merge branch 'eval-effect' into algebraic-evaluation
2018-03-01 09:56:12 -05:00
Rob Rix
6245e30c1c
Revert "Abstract over the top-level analysis."
...
This reverts commit d6d2a3d23ce3de9a4c2578e105bf6a096443eb7d.
2018-03-01 09:41:42 -05:00
Rob Rix
05c78f6aea
Abstract over the top-level analysis.
2018-03-01 09:41:38 -05:00
Josh Vera
553e8ae700
Merge pull request #1511 from github/prologue
...
Bring back Prologue
2018-02-28 15:45:58 -05:00
joshvera
83e2ba56e5
Merge remote-tracking branch 'origin/master' into prologue
2018-02-28 15:30:42 -05:00
joshvera
367cfc4f5c
Remove Control.Monad.Effect.Store
2018-02-28 15:30:17 -05:00
joshvera
9aed1b5516
bring back ws
2018-02-28 15:30:17 -05:00
joshvera
c58f21ad81
Rename Assignment.Table toList to toPairs
2018-02-28 15:30:17 -05:00
Rob Rix
a485c48ed6
Merge pull request #1510 from github/algebraic-evaluation
...
Algebraic evaluation
2018-02-28 14:53:58 -05:00
Rob Rix
3bdb7df2c2
Merge branch 'master' into algebraic-evaluation
2018-02-28 14:47:04 -05:00
Rob Rix
244f4722b6
🔥 a redundant import.
2018-02-28 14:29:28 -05:00
Rob Rix
0d62ca76f7
🔥 redundant Ord constraints.
2018-02-28 14:28:21 -05:00
Rob Rix
e0f5e3693c
Simplify the default instance.
2018-02-28 14:20:57 -05:00
Rob Rix
6501431dea
🔥 the effect list parameter from Evaluatable.
2018-02-28 14:14:45 -05:00
Rob Rix
e8cecb4e5f
Evaluator is a newtype.
2018-02-28 14:09:29 -05:00
Rob Rix
7198c506be
Evaluate in terms of Evaluator.
2018-02-28 14:09:06 -05:00
Rob Rix
965053dba1
The module table holds terms, not evaluators.
2018-02-28 14:01:40 -05:00
Josh Vera
786c92d94a
Merge branch 'master' into prologue
2018-02-28 12:36:29 -05:00
joshvera
383fbf747b
Merge remote-tracking branch 'origin/master' into prologue
2018-02-28 12:19:06 -05:00
Patrick Thomson
17223e058a
Merge pull request #1513 from github/haddock-fixes
...
Comment fixes to ensure `stack haddock` works.
2018-02-28 09:15:02 -08: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
654bbd26d6
Hide unless and when
2018-02-28 11:46:42 -05:00
joshvera
e2d30b286c
sort
2018-02-28 11:33:24 -05:00
joshvera
9963f4a2b0
expose Monoid typeclass
2018-02-28 11:27:25 -05:00
Rob Rix
f99972622a
Define a local modifier for the module evaluator table.
2018-02-28 10:57:38 -05:00
Rob Rix
48389d716b
Define a getter for the module evaluator table.
2018-02-28 10:50:02 -05:00
Rob Rix
d624686807
Define a modifier for the module table.
2018-02-28 10:48:55 -05:00
Rob Rix
3f1db36e64
Define a getter for the module table.
2018-02-28 10:48:21 -05:00
Rob Rix
df4b54ed11
Add the linker effects to Evaluator.
2018-02-28 10:47:13 -05:00
Rob Rix
a78089032e
Define a modifier for the store.
2018-02-28 10:42:39 -05:00