]> Git — Sourcephile - haskell/symantic.git/blob - symantic-lib/Language/Symantic/Lib.hs
Reorganize symantic-document modules.
[haskell/symantic.git] / symantic-lib / Language / Symantic / Lib.hs
1 -- | Libraries.
2 module Language.Symantic.Lib
3 ( -- module Language.Symantic.Lib
4 module Language.Symantic.Lib.Alternative
5 , module Language.Symantic.Lib.Applicative
6 , module Language.Symantic.Lib.Bool
7 , module Language.Symantic.Lib.Bounded
8 , module Language.Symantic.Lib.Char
9 -- , module Language.Symantic.Lib.Constraint
10 , module Language.Symantic.Lib.Either
11 , module Language.Symantic.Lib.Enum
12 , module Language.Symantic.Lib.Eq
13 , module Language.Symantic.Lib.Foldable
14 , module Language.Symantic.Lib.Function
15 , module Language.Symantic.Lib.Functor
16 , module Language.Symantic.Lib.IO
17 , module Language.Symantic.Lib.If
18 , module Language.Symantic.Lib.Int
19 , module Language.Symantic.Lib.Integer
20 , module Language.Symantic.Lib.Integral
21 , module Language.Symantic.Lib.List
22 , module Language.Symantic.Lib.Map
23 , module Language.Symantic.Lib.Maybe
24 , module Language.Symantic.Lib.Monad
25 , module Language.Symantic.Lib.MonoFoldable
26 , module Language.Symantic.Lib.MonoFunctor
27 , module Language.Symantic.Lib.Monoid
28 , module Language.Symantic.Lib.NonNull
29 , module Language.Symantic.Lib.Num
30 , module Language.Symantic.Lib.Ord
31 , module Language.Symantic.Lib.Ratio
32 , module Language.Symantic.Lib.Real
33 , module Language.Symantic.Lib.Semigroup
34 , module Language.Symantic.Lib.Sequences
35 , module Language.Symantic.Lib.Show
36 , module Language.Symantic.Lib.Text
37 , module Language.Symantic.Lib.Traversable
38 , module Language.Symantic.Lib.Tuple2
39 , module Language.Symantic.Lib.Unit
40 ) where
41
42 import Language.Symantic.Lib.Alternative
43 import Language.Symantic.Lib.Applicative
44 import Language.Symantic.Lib.Bool
45 import Language.Symantic.Lib.Bounded
46 import Language.Symantic.Lib.Char
47 -- import Language.Symantic.Lib.Constraint
48 import Language.Symantic.Lib.Either
49 import Language.Symantic.Lib.Enum
50 import Language.Symantic.Lib.Eq
51 import Language.Symantic.Lib.Foldable
52 import Language.Symantic.Lib.Function
53 import Language.Symantic.Lib.Functor
54 import Language.Symantic.Lib.IO
55 import Language.Symantic.Lib.If
56 import Language.Symantic.Lib.Int
57 import Language.Symantic.Lib.Integer
58 import Language.Symantic.Lib.Integral
59 import Language.Symantic.Lib.List
60 import Language.Symantic.Lib.Map
61 import Language.Symantic.Lib.Maybe
62 import Language.Symantic.Lib.Monad
63 import Language.Symantic.Lib.MonoFoldable
64 import Language.Symantic.Lib.MonoFunctor
65 import Language.Symantic.Lib.Monoid
66 import Language.Symantic.Lib.NonNull
67 import Language.Symantic.Lib.Num
68 import Language.Symantic.Lib.Ord
69 import Language.Symantic.Lib.Ratio
70 import Language.Symantic.Lib.Real
71 import Language.Symantic.Lib.Semigroup
72 import Language.Symantic.Lib.Sequences
73 import Language.Symantic.Lib.Show
74 import Language.Symantic.Lib.Text
75 import Language.Symantic.Lib.Traversable
76 import Language.Symantic.Lib.Tuple2
77 import Language.Symantic.Lib.Unit
78
79 {-
80 import Data.Map.Strict (Map)
81 import Data.NonNull (NonNull)
82 import Data.Proxy (Proxy)
83 import Data.Ratio (Ratio)
84 import Data.Text (Text)
85 import System.IO as IO (IO, Handle, IOMode)
86 import qualified Data.MonoTraversable as MT
87 import qualified Data.Sequences as Seqs
88 import qualified Language.Symantic.Helper.Data.Type.List as Type
89 import Language.Symantic.Typing
90
91 -- * Type 'TyConstsLib'
92 -- | Usual 'TyConst's.
93 type TyConstsLib = TyConsts_Terms Type.++ TyConsts_Constraints
94
95 -- ** Type 'TyConsts_Terms'
96 -- | Usual 'TyConst's of /terms constructors/.
97 type TyConsts_Terms =
98 [ Proxy ()
99 , Proxy (,)
100 , Proxy (->)
101 , Proxy (#>)
102 , Proxy (#)
103 , Proxy []
104 , Proxy Bool
105 , Proxy Char
106 , Proxy Either
107 , Proxy Int
108 , Proxy Integer
109 , Proxy IO
110 , Proxy IO.Handle
111 , Proxy IO.IOMode
112 , Proxy Ordering
113 , Proxy Map
114 , Proxy Maybe
115 , Proxy NonNull
116 , Proxy Ratio
117 , Proxy Text
118 ]
119
120 -- ** Type 'TyConsts_Constraints'
121 -- | Usual 'TyConst's of /type constraint constructors/.
122 type TyConsts_Constraints =
123 [ Proxy Applicative
124 , Proxy Bounded
125 , Proxy Enum
126 , Proxy Eq
127 , Proxy Foldable
128 , Proxy Functor
129 , Proxy Integral
130 , Proxy Monad
131 , Proxy Monoid
132 , Proxy MT.MonoFoldable
133 , Proxy MT.MonoFunctor
134 , Proxy Num
135 , Proxy Ord
136 , Proxy Real
137 , Proxy Seqs.IsSequence
138 , Proxy Seqs.SemiSequence
139 , Proxy Show
140 , Proxy Traversable
141 ]
142 -}