1
1
mirror of https://github.com/github/semantic.git synced 2024-12-14 17:31:48 +03:00

Define a carrier type for Unit.

Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
This commit is contained in:
Rob Rix 2018-12-11 15:39:20 -05:00
parent bbad0f54ed
commit d7550e5b65

View File

@ -25,6 +25,7 @@ module Control.Abstract.Value
, runWhile
, WhileC(..)
, Unit(..)
, UnitC(..)
) where
import Control.Abstract.Evaluator
@ -198,6 +199,7 @@ instance HFunctor (Unit value) where
instance Effect (Unit value) where
handle state handler (Unit k) = Unit (handler . (<$ state) . k)
newtype UnitC value m a = UnitC { runUnitC :: m a }
class Show value => AbstractIntro value where
-- | Construct an abstract unit value.