-- | Complement "Data.Strict.Tuple".

module Agda.Utils.Tuple.Strict (module Agda.Utils.Tuple.Strict, module Data.Strict.Tuple) where

import Data.Strict.Tuple

-- | Strict version of '(&&&)'.

infixr 3 &!&

(&!&) :: (a -> b) -> (a -> c) -> a -> Pair b c
&!& :: forall a b c. (a -> b) -> (a -> c) -> a -> Pair b c
(&!&) a -> b
f a -> c
g !a
a = a -> b
f a
a b -> c -> Pair b c
forall a b. a -> b -> Pair a b
:!: a -> c
g a
a