BNFC-2.8.1: A compiler front-end generator.
Data.Pair
data Pair a #
Constructors
Fields
Instances
Methods
fmap :: (a -> b) -> Pair a -> Pair b #
(<$) :: a -> Pair b -> Pair a #
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 #
showsPrec :: Int -> Pair a -> ShowS #
show :: Pair a -> String #
showList :: [Pair a] -> ShowS #
isZero :: Pair a -> Bool #
zero :: Pair a #
(+) :: Pair a -> Pair a -> Pair a #
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 #