github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 00:44:57 +03:00
Code Issues Projects Releases Wiki Activity

Define a Boolean effect.

Browse Source
This commit is contained in:
Rob Rix 2018-08-23 11:13:31 -04:00
parent cfdc8030b1
commit 956d572ace
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,4 +1,4 @@
{-# LANGUAGE GADTs, Rank2Types #-} {-# LANGUAGE GADTs, KindSignatures, Rank2Types #-}
module Control.Abstract.Value module Control.Abstract.Value
( AbstractValue(..) ( AbstractValue(..)
, AbstractIntro(..) , AbstractIntro(..)
@ -73,6 +73,16 @@ instance PureEffect (Function address value) where
handle handler (Request (Call fn self addrs) k) = Request (Call fn self addrs) (handler . k) handle handler (Request (Call fn self addrs) k) = Request (Call fn self addrs) (handler . k)
data Boolean value (m :: * -> *) result where
Boolean :: Bool -> Boolean value m value
AsBool :: value -> Boolean value m Bool
instance PureEffect (Boolean value)
instance Effect (Boolean value) where
handleState state handler (Request (Boolean b) k) = Request (Boolean b) (handler . (<$ state) . k)
handleState state handler (Request (AsBool v) k) = Request (AsBool v) (handler . (<$ state) . k)
class Show value => AbstractIntro value where class Show value => AbstractIntro value where
-- | Construct an abstract unit value. -- | Construct an abstract unit value.
-- TODO: This might be the same as the empty tuple for some value types -- TODO: This might be the same as the empty tuple for some value types