Data.Pair

Documentation

data Pair a

Constructors

(:/:) infixl 2

Fields

• leftOf :: a
• rightOf :: a

Instances

Functor Pair

Defined in Data.Pair

Methods

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

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

Applicative Pair

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

Show a => Show (Pair a)

Defined in Data.Pair

Methods

showsPrec :: Int -> Pair a -> ShowS

show :: Pair a -> String

showList :: [Pair a] -> ShowS

AbelianGroupZ a => AbelianGroupZ (Pair a)

Defined in Algebra.RingUtils

Methods

isZero :: Pair a -> Bool

AbelianGroup a => AbelianGroup (Pair a)

Defined in Algebra.RingUtils

Methods

zero :: Pair a

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

Matrix m => Matrix (O Pair m)

Defined in Data.Matrix.Class

Methods

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

extent :: O Pair m a -> Extent

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

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

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

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