1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00

Align the associated type families.

This commit is contained in:
Rob Rix 2018-03-08 13:36:49 -05:00
parent eb3fbcc4db
commit 1eacebfab8

View File

@ -15,7 +15,7 @@ import Prologue
-- - a heap mapping addresses to (possibly sets of) values
-- - tables of modules available for import
class MonadFail m => MonadEvaluator m where
type TermFor m
type TermFor m
type ValueFor m
-- | Retrieve the global environment.