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

use Type

Browse Source
This commit is contained in:
rnhmjoj 2016-11-28 19:39:27 +01:00
parent 4cc8bc1f24
commit d59417834d
No known key found for this signature in database
GPG Key ID: 362BB82B7E496B7C
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Data/Bool.hs
View File

@ -13,6 +13,7 @@
-- | 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.TypeClass (Eq, Enum, Show) import Data.TypeClass (Eq, Enum, Show)
import Data.Singletons.TH import Data.Singletons.TH
import Data.Singletons.Prelude.Enum import Data.Singletons.Prelude.Enum
@ -21,7 +22,7 @@ import Data.Singletons.Prelude.Enum
singletons [d| singletons [d|
-- | Boolean Type -- | Boolean Type
data 𝔹 ∷ ★ where data 𝔹 ∷ Type where
T ∷ 𝔹 -- ^ True T ∷ 𝔹 -- ^ True
F ∷ 𝔹 -- ^ False F ∷ 𝔹 -- ^ False
deriving (Eq, Show) deriving (Eq, Show)