1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00

Define variable' requests.

Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
This commit is contained in:
Rob Rix 2018-05-23 12:48:39 -04:00
parent 433aa96cd7
commit a368e8d9f4

View File

@ -58,6 +58,9 @@ data Function m value return where
Lambda :: [Name] -> Set Name -> m value -> Function m value value
Call :: value -> [m value] -> Function m value value
variable' :: (Effectful m, Member (Variable value) effects) => Name -> m effects value
variable' = send . Variable
data Variable value return where
Variable :: Name -> Variable value value