github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-04 21:47:07 +03:00
Code Issues Projects Releases Wiki Activity

Define a Boolean effect.

Browse Source
This commit is contained in:
Rob Rix 2018-05-23 14:31:01 -04:00
parent 477e34aca2
commit 30c0090ebd
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Control/Abstract/Value.hs
View File

@ -111,6 +111,11 @@ data Unit value return where
Unit :: Unit value value
data Boolean value return where
Bool :: Bool -> Boolean value value
AsBool :: value -> Boolean value Bool
data Value m location
= Closure [Name] (m (Value m location)) (Map Name location)
| Unit'