From ca19daf137d444f6e79a23f0bf4f3cf93738c7bf Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 21 Dec 2017 09:42:32 -0500 Subject: [PATCH] :memo: Boolean. --- src/Data/Abstract/Value.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Data/Abstract/Value.hs b/src/Data/Abstract/Value.hs index 394862a1d..31e9fd7b3 100644 --- a/src/Data/Abstract/Value.hs +++ b/src/Data/Abstract/Value.hs @@ -45,6 +45,7 @@ instance Eq1 Unit where liftEq = genericLiftEq instance Ord1 Unit where liftCompare = genericLiftCompare instance Show1 Unit where liftShowsPrec = genericLiftShowsPrec +-- | Boolean values. newtype Boolean term = Boolean Prelude.Bool deriving (Eq, Generic1, Ord, Show)