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 -}