Safe Haskell	None
Language	Haskell98

Numeric.Band.Rectangular

Synopsis

data Rect i j = Rect i j

Documentation

data Rect i j #

a rectangular band is a nowhere commutative semigroup. That is to say, if ab = ba then a = b. From this it follows classically that aa = a and that such a band is isomorphic to the following structure

Constructors

Rect i j

Instances

Semigroupoid Rect #
Instance details Defined in Numeric.Band.Rectangular Methods o :: Rect j k1 -> Rect i j -> Rect i k1 #
(Eq i, Eq j) => Eq (Rect i j) #
Instance details Defined in Numeric.Band.Rectangular Methods (==) :: Rect i j -> Rect i j -> Bool # (/=) :: Rect i j -> Rect i j -> Bool #
(Ord i, Ord j) => Ord (Rect i j) #
Instance details Defined in Numeric.Band.Rectangular Methods compare :: Rect i j -> Rect i j -> Ordering # (<) :: Rect i j -> Rect i j -> Bool # (<=) :: Rect i j -> Rect i j -> Bool # (>) :: Rect i j -> Rect i j -> Bool # (>=) :: Rect i j -> Rect i j -> Bool # max :: Rect i j -> Rect i j -> Rect i j # min :: Rect i j -> Rect i j -> Rect i j #
(Read i, Read j) => Read (Rect i j) #
Instance details Defined in Numeric.Band.Rectangular Methods readsPrec :: Int -> ReadS (Rect i j) # readList :: ReadS [Rect i j] # readPrec :: ReadPrec (Rect i j) # readListPrec :: ReadPrec [Rect i j] #
(Show i, Show j) => Show (Rect i j) #
Instance details Defined in Numeric.Band.Rectangular Methods showsPrec :: Int -> Rect i j -> ShowS # show :: Rect i j -> String # showList :: [Rect i j] -> ShowS #
Multiplicative (Rect i j) #
Instance details Defined in Numeric.Band.Rectangular Methods (*) :: Rect i j -> Rect i j -> Rect i j # pow1p :: Rect i j -> Natural -> Rect i j # productWith1 :: Foldable1 f => (a -> Rect i j) -> f a -> Rect i j #
Band (Rect i j) #
Instance details Defined in Numeric.Band.Rectangular