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