]> Git — Sourcephile - haskell/symantic.git/blob - Language/Symantic/Type/Bool.hs
init
[haskell/symantic.git] / Language / Symantic / Type / Bool.hs
1 {-# LANGUAGE FlexibleContexts #-}
2 {-# LANGUAGE FlexibleInstances #-}
3 {-# LANGUAGE ScopedTypeVariables #-}
4 {-# LANGUAGE TypeFamilies #-}
5 {-# OPTIONS_GHC -fno-warn-orphans #-}
6 module Language.Symantic.Type.Bool where
7
8 import Language.Symantic.Type.Common
9
10 -- * Type 'Type_Bool'
11 -- | The 'Bool' type.
12 type Type_Bool = Type_Type0 Bool
13
14 instance -- String_from_Type
15 String_from_Type (Type_Bool root) where
16 string_from_type Type_Type0{} = "Bool"
17
18 -- | Convenient alias to include a 'Type_Bool' within a type.
19 type_bool :: Lift_Type_Root Type_Bool root => root Bool
20 type_bool = type_type0