Agda
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.Tuple.Strict

Description

Complement Data.Strict.Tuple.

Synopsis

Documentation

(&!&) :: (a -> b) -> (a -> c) -> a -> Pair b c infixr 3 Source #

Strict version of (&&&).

module Data.Strict.Tuple