[serokell#174] Remove 'type-operators' dependency

rockbmb · Aug 7, 2018 · e736db5 · e736db5
1 parent bb33704
commit e736db5
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 2 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -7,6 +7,8 @@
  Remove `ElementConstraint` from the `Container` class.
 
  _Migration guide:_ remove `ElementConstraint` from every instance and every type signature.
+* [#174](https:/serokell/universum/issues/174)
+ The 'type-operators' dependency has been removed.
 * [#177](https:/serokell/universum/issues/177):
  'mask_' is no longer reexported.
 * [#178](https:/serokell/universum/issues/178):

diff --git a/src/Universum/TypeOps.hs b/src/Universum/TypeOps.hs
@@ -28,7 +28,27 @@ import GHC.Prim (Constraint)
 import Data.Kind (Constraint)
 #endif
 
-import Control.Type.Operator (type ($), type (<+>))
+-- | Infix application.
+--
+-- @
+-- f :: Either String $ Maybe Int
+-- =
+-- f :: Either String (Maybe Int)
+-- @
+type f $ a = f a
+infixr 2 $
+
+-- | Map several constraints over a single variable.
+--
+-- @
+-- a :: [Show, Read] \<+> a => a -> a
+-- =
+-- a :: (Show a, Read a) => a -> a
+-- @
+type family (<+>) (c :: [k -> Constraint]) (a :: k) where
+ (<+>) '[] a = (() :: Constraint)
+ (<+>) (ch ': ct) a = (ch a, (<+>) ct a)
+infixl 9 <+>
 
 -- | Map several constraints over several variables.
 --

diff --git a/universum.cabal b/universum.cabal
@@ -84,7 +84,6 @@ library
  , stm
  , text
  , transformers
- , type-operators
  , unordered-containers
  , utf8-string
  , vector