Remove dependency on ghc-prim.

[haskell/symantic.git] / symantic-lib / Language / Symantic / Lib.hs

diff --git a/symantic-lib/Language/Symantic/Lib.hs b/symantic-lib/Language/Symantic/Lib.hs
index 7ca41db5178bfec10a5e14aed570f49351f12463..5ada9413207c07efbc918c743222a601ceffd4ab 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib.hs
+++ b/symantic-lib/Language/Symantic/Lib.hs
@@ -1,22 +1,23 @@
 -- | Libraries.
 module Language.Symantic.Lib
- ( module Language.Symantic.Lib
+ ( -- module Language.Symantic.Lib
+   module Language.Symantic.Lib.Alternative
  , module Language.Symantic.Lib.Applicative
- , module Language.Symantic.Lib.Alternative
  , module Language.Symantic.Lib.Bool
  , module Language.Symantic.Lib.Bounded
  , module Language.Symantic.Lib.Char
+ -- , module Language.Symantic.Lib.Constraint
  , module Language.Symantic.Lib.Either
- , module Language.Symantic.Lib.Eq
  , module Language.Symantic.Lib.Enum
+ , module Language.Symantic.Lib.Eq
  , module Language.Symantic.Lib.Foldable
+ , module Language.Symantic.Lib.Function
  , module Language.Symantic.Lib.Functor
+ , module Language.Symantic.Lib.IO
  , module Language.Symantic.Lib.If
  , module Language.Symantic.Lib.Int
  , module Language.Symantic.Lib.Integer
  , module Language.Symantic.Lib.Integral
- , module Language.Symantic.Lib.IO
- , module Language.Symantic.Lib.Lambda
  , module Language.Symantic.Lib.List
  , module Language.Symantic.Lib.Map
  , module Language.Symantic.Lib.Maybe
@@ -27,8 +28,8 @@ module Language.Symantic.Lib
  , module Language.Symantic.Lib.NonNull
  , module Language.Symantic.Lib.Num
  , module Language.Symantic.Lib.Ord
- , module Language.Symantic.Lib.Real
  , module Language.Symantic.Lib.Ratio
+ , module Language.Symantic.Lib.Real
  , module Language.Symantic.Lib.Semigroup
  , module Language.Symantic.Lib.Sequences
  , module Language.Symantic.Lib.Show
@@ -38,22 +39,23 @@ module Language.Symantic.Lib
  , module Language.Symantic.Lib.Unit
  ) where
 
-import Language.Symantic.Lib.Applicative
 import Language.Symantic.Lib.Alternative
+import Language.Symantic.Lib.Applicative
 import Language.Symantic.Lib.Bool
 import Language.Symantic.Lib.Bounded
 import Language.Symantic.Lib.Char
+-- import Language.Symantic.Lib.Constraint
 import Language.Symantic.Lib.Either
-import Language.Symantic.Lib.Eq
 import Language.Symantic.Lib.Enum
+import Language.Symantic.Lib.Eq
 import Language.Symantic.Lib.Foldable
+import Language.Symantic.Lib.Function
 import Language.Symantic.Lib.Functor
+import Language.Symantic.Lib.IO
 import Language.Symantic.Lib.If
 import Language.Symantic.Lib.Int
 import Language.Symantic.Lib.Integer
 import Language.Symantic.Lib.Integral
-import Language.Symantic.Lib.IO
-import Language.Symantic.Lib.Lambda
 import Language.Symantic.Lib.List
 import Language.Symantic.Lib.Map
 import Language.Symantic.Lib.Maybe
@@ -64,8 +66,8 @@ import Language.Symantic.Lib.Monoid
 import Language.Symantic.Lib.NonNull
 import Language.Symantic.Lib.Num
 import Language.Symantic.Lib.Ord
-import Language.Symantic.Lib.Real
 import Language.Symantic.Lib.Ratio
+import Language.Symantic.Lib.Real
 import Language.Symantic.Lib.Semigroup
 import Language.Symantic.Lib.Sequences
 import Language.Symantic.Lib.Show
@@ -74,6 +76,7 @@ import Language.Symantic.Lib.Traversable
 import Language.Symantic.Lib.Tuple2
 import Language.Symantic.Lib.Unit
 
+{-
 import Data.Map.Strict (Map)
 import Data.NonNull (NonNull)
 import Data.Proxy (Proxy)
@@ -83,10 +86,11 @@ import System.IO as IO (IO, Handle, IOMode)
 import qualified Data.MonoTraversable as MT
 import qualified Data.Sequences as Seqs
 import qualified Language.Symantic.Helper.Data.Type.List as Type
+import Language.Symantic.Typing
 
--- * Type 'TyConsts'
+-- * Type 'TyConstsLib'
 -- | Usual 'TyConst's.
-type TyConsts = TyConsts_Terms Type.++ TyConsts_Constraints
+type TyConstsLib = TyConsts_Terms Type.++ TyConsts_Constraints
 
 -- ** Type 'TyConsts_Terms'
 -- | Usual 'TyConst's of /terms constructors/.
@@ -94,6 +98,8 @@ type TyConsts_Terms =
  [ Proxy ()
  , Proxy (,)
  , Proxy (->)
+ , Proxy (#>)
+ , Proxy (#)
  , Proxy []
  , Proxy Bool
  , Proxy Char
@@ -133,3 +139,4 @@ type TyConsts_Constraints =
  , Proxy Show
  , Proxy Traversable
  ]
+-}