Safe Haskell	None
Language	Haskell98

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 #
Methods comult :: (Morphism a -> r) -> Morphism a -> Morphism a -> r Source #
(Commutative r, Monoidal r, Semiring r, PartialMonoid a) => CounitalCoalgebra r (Morphism a) Source #
Methods counit :: (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 #
Methods gfoldl :: (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 # dataTypeOf :: Morphism a -> DataType # 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 #
Methods compare :: 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 #
Methods readsPrec :: Int -> ReadS (Morphism a) # readList :: ReadS [Morphism a] # readPrec :: ReadPrec (Morphism a) # readListPrec :: ReadPrec [Morphism a] #
Show a => Show (Morphism a) Source #
Methods showsPrec :: Int -> Morphism a -> ShowS # show :: Morphism a -> String # showList :: [Morphism a] -> ShowS #
PartialSemigroup a => PartialSemigroup (Morphism a) Source #
Methods padd :: Morphism a -> Morphism a -> Maybe (Morphism a) Source #
PartialMonoid a => PartialMonoid (Morphism a) Source #
Methods pzero :: Morphism a Source #
PartialGroup a => PartialGroup (Morphism a) Source #
Methods pnegate :: Morphism a -> Maybe (Morphism a) Source # pminus :: Morphism a -> Morphism a -> Maybe (Morphism a) Source # psubtract :: Morphism a -> Morphism a -> Maybe (Morphism a) Source #