rnhmjoj/interlude
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

remove unused import

Browse Source
This commit is contained in:
rnhmjoj 2016-11-29 16:18:00 +01:00
parent 0d5d0f0885
commit f87952261a
No known key found for this signature in database
GPG Key ID: 362BB82B7E496B7C
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Data/Bool.hs
View File

@ -14,12 +14,10 @@
-- | Defines the boolean type and logical operators -- | Defines the boolean type and logical operators
module Data.Bool where module Data.Bool where
import Data.Kind (Type) import Data.Kind (Type)
import Data.TypeClass (Eq(..), Enum, Show) import Data.TypeClass (Eq(..), Enum, Show)
import GHC.Types (Bool(..)) import GHC.Types (Bool(..))
import Data.Singletons.TH import Data.Singletons.TH
import Data.Singletons.Prelude.Enum
class IfThenElse b where class IfThenElse b where