]> Git — Sourcephile - haskell/symantic.git/blob - Language/Symantic/Type/Ordering.hs
fix (->) by removing inline/val/lazy
[haskell/symantic.git] / Language / Symantic / Type / Ordering.hs
1 {-# LANGUAGE FlexibleContexts #-}
2 {-# LANGUAGE FlexibleInstances #-}
3 {-# LANGUAGE PatternSynonyms #-}
4 {-# LANGUAGE TypeFamilies #-}
5 {-# OPTIONS_GHC -fno-warn-orphans #-}
6 module Language.Symantic.Type.Ordering where
7
8 import Data.Proxy
9 import Language.Symantic.Type.Root
10 import Language.Symantic.Type.Type0
11
12 -- * Type 'Type_Ordering'
13 -- | The 'Ordering' type.
14 type Type_Ordering = Type_Type0 (Proxy Ordering)
15
16 pattern Type_Ordering :: Type_Ordering root Ordering
17 pattern Type_Ordering = Type_Type0 Proxy
18
19 instance -- String_from_Type
20 String_from_Type (Type_Ordering root) where
21 string_from_type _ = "Ordering"
22
23 -- | Inject 'Type_Ordering' within a root type.
24 type_ordering :: Lift_Type_Root Type_Ordering root => root Ordering
25 type_ordering = type_type0