BNFC-2.7.0.2: A compiler front-end generator.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Pair

Documentation

data Pair a Source #

Constructors

(:/:) infixl 2 

Fields

Instances

Instances details
Applicative Pair Source # 
Instance details

Defined in Data.Pair

Methods

pure :: a -> Pair a #

(<*>) :: Pair (a -> b) -> Pair a -> Pair b #

liftA2 :: (a -> b -> c) -> Pair a -> Pair b -> Pair c #

(*>) :: Pair a -> Pair b -> Pair b #

(<*) :: Pair a -> Pair b -> Pair a #

Functor Pair Source # 
Instance details

Defined in Data.Pair

Methods

fmap :: (a -> b) -> Pair a -> Pair b #

(<$) :: a -> Pair b -> Pair a #

AbelianGroup a => AbelianGroup (Pair a) Source # 
Instance details

Defined in Algebra.RingUtils

Methods

zero :: Pair a Source #

(+) :: Pair a -> Pair a -> Pair a Source #

AbelianGroupZ a => AbelianGroupZ (Pair a) Source # 
Instance details

Defined in Algebra.RingUtils

Methods

isZero :: Pair a -> Bool Source #

Show a => Show (Pair a) Source # 
Instance details

Defined in Data.Pair

Methods

showsPrec :: Int -> Pair a -> ShowS #

show :: Pair a -> String #

showList :: [Pair a] -> ShowS #

Matrix m => Matrix (O Pair m) Source # 
Instance details

Defined in Data.Matrix.Class

Methods

at :: AbelianGroupZ a => Int -> Int -> O Pair m a -> a Source #

extent :: O Pair m a -> Extent Source #

singleton :: AbelianGroupZ a => a -> O Pair m a Source #

glue :: AbelianGroup a => Dimension -> O Pair m a -> O Pair m a -> O Pair m a Source #

split :: AbelianGroupZ a => Dimension -> Int -> O Pair m a -> (O Pair m a, O Pair m a) Source #

zeroMatrix :: AbelianGroup a => Int -> Int -> O Pair m a Source #