Safe Haskell	None
Language	GHC2021

Control.Category.OneObject

Documentation

newtype OneObject m (a :: ()) (b :: ()) Source #

Constructors

OneObject m

Instances

Instances details

Monoid m => Category (OneObject m :: () -> () -> Type) Source #
Instance details Defined in Control.Category.OneObject Methods id :: forall (a :: ()). OneObject m a a # (.) :: forall (b :: ()) (c :: ()) (a :: ()). OneObject m b c -> OneObject m a b -> OneObject m a c #
Monoid m => Monoid (OneObject m a b) Source #
Instance details Defined in Control.Category.OneObject Methods mempty :: OneObject m a b # mappend :: OneObject m a b -> OneObject m a b -> OneObject m a b # mconcat :: [OneObject m a b] -> OneObject m a b #
Semigroup m => Semigroup (OneObject m a b) Source #
Instance details Defined in Control.Category.OneObject Methods (<>) :: OneObject m a b -> OneObject m a b -> OneObject m a b # sconcat :: NonEmpty (OneObject m a b) -> OneObject m a b # stimes :: Integral b0 => b0 -> OneObject m a b -> OneObject m a b #
Show m => Show (OneObject m a b) Source #
Instance details Defined in Control.Category.OneObject Methods showsPrec :: Int -> OneObject m a b -> ShowS # show :: OneObject m a b -> String # showList :: [OneObject m a b] -> ShowS #
Eq m => Eq (OneObject m a b) Source #
Instance details Defined in Control.Category.OneObject Methods (==) :: OneObject m a b -> OneObject m a b -> Bool # (/=) :: OneObject m a b -> OneObject m a b -> Bool #
Ord m => Ord (OneObject m a b) Source #
Instance details Defined in Control.Category.OneObject Methods compare :: OneObject m a b -> OneObject m a b -> Ordering # (<) :: OneObject m a b -> OneObject m a b -> Bool # (<=) :: OneObject m a b -> OneObject m a b -> Bool # (>) :: OneObject m a b -> OneObject m a b -> Bool # (>=) :: OneObject m a b -> OneObject m a b -> Bool # max :: OneObject m a b -> OneObject m a b -> OneObject m a b # min :: OneObject m a b -> OneObject m a b -> OneObject m a b #