module Operators where


(+++) :: [a] -> [a] -> [a]
[a]
a +++ :: forall a. [a] -> [a] -> [a]
+++ [a]
b = [a]
a [a] -> [a] -> [a]
forall a. [a] -> [a] -> [a]
++ [a]
b [a] -> [a] -> [a]
forall a. [a] -> [a] -> [a]
++ [a]
a

($$$) :: [a] -> [a] -> [a]
[a]
a $$$ :: forall a. [a] -> [a] -> [a]
$$$ [a]
b = [a]
b [a] -> [a] -> [a]
forall a. [a] -> [a] -> [a]
+++ [a]
a

(***) :: [a] -> [a] -> [a]
*** :: forall a. [a] -> [a] -> [a]
(***) [a]
a [] = [a]
a
(***) [a]
a (a
_:[a]
b) = [a]
a [a] -> [a] -> [a]
forall a. [a] -> [a] -> [a]
+++ ([a]
a [a] -> [a] -> [a]
forall a. [a] -> [a] -> [a]
*** [a]
b)

(*/\*) :: [[a]] -> [a] -> [a]
[[a]]
a */\* :: forall a. [[a]] -> [a] -> [a]
*/\* [a]
b = ([a] -> [a]) -> [[a]] -> [a]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap ([a] -> [a] -> [a]
forall a. [a] -> [a] -> [a]
*** [a]
b) [[a]]
a

(**/\**) :: [[a]] -> [[a]] -> [[a]]
[[a]]
a **/\** :: forall a. [[a]] -> [[a]] -> [[a]]
**/\** [[a]]
b = ([[a]] -> [a] -> [a]) -> [[[a]]] -> [[a]] -> [[a]]
forall a b c. (a -> b -> c) -> [a] -> [b] -> [c]
zipWith [[a]] -> [a] -> [a]
forall a. [[a]] -> [a] -> [a]
(*/\*) [[[a]]
a [[a]] -> [[a]] -> [[a]]
forall a. [a] -> [a] -> [a]
+++ [[a]]
b] ([[a]]
a [[a]] -> [[a]] -> [[a]]
forall a. [a] -> [a] -> [a]
$$$ [[a]]
b)


(#.#) :: a -> b -> (c -> (a, b))
a
a #.# :: forall a b c. a -> b -> c -> (a, b)
#.# b
b = (a, b) -> c -> (a, b)
forall a b. a -> b -> a
const ((a, b) -> c -> (a, b)) -> (a, b) -> c -> (a, b)
forall a b. (a -> b) -> a -> b
$ (a
a, b
b)