Copyright	Guillaume Sabbagh 2021
License	GPL-3
Maintainer	guillaumesabbagh@protonmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Subcategories.FullSubcategory

Description

Full subcategory a category C.

Synopsis

Documentation

The datatype for full subcategories of a given category containing given objects.

Constructors

Instances details

(Eq c, Eq o) => Eq (FullSubcategory c m o) Source #
Instance details Defined in Subcategories.FullSubcategory Methods (==) :: FullSubcategory c m o -> FullSubcategory c m o -> Bool (/=) :: FullSubcategory c m o -> FullSubcategory c m o -> Bool
(Show c, Show o) => Show (FullSubcategory c m o) Source #
Instance details Defined in Subcategories.FullSubcategory Methods showsPrec :: Int -> FullSubcategory c m o -> ShowS show :: FullSubcategory c m o -> String showList :: [FullSubcategory c m o] -> ShowS
(PrettyPrintable c, PrettyPrintable o) => PrettyPrintable (FullSubcategory c m o) Source #
Instance details Defined in Subcategories.FullSubcategory Methods pprint :: FullSubcategory c m o -> String Source #
(FiniteCategory c m o, Morphism m o, Eq m, Eq o) => GeneratedFiniteCategory (FullSubcategory c m o) m o Source #
Instance details Defined in Subcategories.FullSubcategory Methods genAr :: FullSubcategory c m o -> o -> o -> [m] Source # decompose :: FullSubcategory c m o -> m -> [m] Source # genArrows :: FullSubcategory c m o -> [m] Source #
(FiniteCategory c m o, Morphism m o, Eq m, Eq o) => FiniteCategory (FullSubcategory c m o) m o Source #
Instance details Defined in Subcategories.FullSubcategory Methods ob :: FullSubcategory c m o -> [o] Source # identity :: FullSubcategory c m o -> o -> m Source # ar :: FullSubcategory c m o -> o -> o -> [m] Source # arrows :: FullSubcategory c m o -> [m] Source #