algebra-4.3.1: Constructive abstract algebra

Numeric.Coalgebra.Categorical

# Documentation

newtype Morphism a Source #

Constructors

 Morphism a

Instances

 (Commutative r, Monoidal r, Semiring r, PartialSemigroup a) => Coalgebra r (Morphism a) Source # Methodscomult :: (Morphism a -> r) -> Morphism a -> Morphism a -> r Source # (Commutative r, Monoidal r, Semiring r, PartialMonoid a) => CounitalCoalgebra r (Morphism a) Source # Methodscounit :: (Morphism a -> r) -> r Source # Eq a => Eq (Morphism a) Source # Methods(==) :: Morphism a -> Morphism a -> Bool #(/=) :: Morphism a -> Morphism a -> Bool # Data a => Data (Morphism a) Source # Methodsgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Morphism a -> c (Morphism a) #gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Morphism a) #toConstr :: Morphism a -> Constr #dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Morphism a)) #dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Morphism a)) #gmapT :: (forall b. Data b => b -> b) -> Morphism a -> Morphism a #gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Morphism a -> r #gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Morphism a -> r #gmapQ :: (forall d. Data d => d -> u) -> Morphism a -> [u] #gmapQi :: Int -> (forall d. Data d => d -> u) -> Morphism a -> u #gmapM :: Monad m => (forall d. Data d => d -> m d) -> Morphism a -> m (Morphism a) #gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Morphism a -> m (Morphism a) #gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Morphism a -> m (Morphism a) # Ord a => Ord (Morphism a) Source # Methodscompare :: Morphism a -> Morphism a -> Ordering #(<) :: Morphism a -> Morphism a -> Bool #(<=) :: Morphism a -> Morphism a -> Bool #(>) :: Morphism a -> Morphism a -> Bool #(>=) :: Morphism a -> Morphism a -> Bool #max :: Morphism a -> Morphism a -> Morphism a #min :: Morphism a -> Morphism a -> Morphism a # Read a => Read (Morphism a) Source # MethodsreadsPrec :: Int -> ReadS (Morphism a) # Show a => Show (Morphism a) Source # MethodsshowsPrec :: Int -> Morphism a -> ShowS #show :: Morphism a -> String #showList :: [Morphism a] -> ShowS # Source # Methodspadd :: Morphism a -> Morphism a -> Maybe (Morphism a) Source # Source # Methods Source # Methodspnegate :: Morphism a -> Maybe (Morphism a) Source #pminus :: Morphism a -> Morphism a -> Maybe (Morphism a) Source #psubtract :: Morphism a -> Morphism a -> Maybe (Morphism a) Source #