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

UsualCategories.Parallel

Description

The parallel category contains two objects A and B and two morphisms F : A -> B and G : A -> B.

Synopsis

Documentation

Object of the parallel category.

Constructors

A
B

Instances details

Eq ParallelOb Source #
Instance details Defined in UsualCategories.Parallel Methods (==) :: ParallelOb -> ParallelOb -> Bool (/=) :: ParallelOb -> ParallelOb -> Bool
Show ParallelOb Source #
Instance details Defined in UsualCategories.Parallel Methods showsPrec :: Int -> ParallelOb -> ShowS show :: ParallelOb -> String showList :: [ParallelOb] -> ShowS
PrettyPrintable ParallelOb Source #
Instance details Defined in UsualCategories.Parallel Methods pprint :: ParallelOb -> String Source #
Morphism ParallelAr ParallelOb Source #
Instance details Defined in UsualCategories.Parallel Methods (@) :: ParallelAr -> ParallelAr -> ParallelAr Source # source :: ParallelAr -> ParallelOb Source # target :: ParallelAr -> ParallelOb Source #
GeneratedFiniteCategory Parallel ParallelAr ParallelOb Source #
Instance details Defined in UsualCategories.Parallel Methods genAr :: Parallel -> ParallelOb -> ParallelOb -> [ParallelAr] Source # decompose :: Parallel -> ParallelAr -> [ParallelAr] Source # genArrows :: Parallel -> [ParallelAr] Source #
FiniteCategory Parallel ParallelAr ParallelOb Source #
Instance details Defined in UsualCategories.Parallel Methods ob :: Parallel -> [ParallelOb] Source # identity :: Parallel -> ParallelOb -> ParallelAr Source # ar :: Parallel -> ParallelOb -> ParallelOb -> [ParallelAr] Source # arrows :: Parallel -> [ParallelAr] Source #

Morphism of the parallel category.

Constructors

Instances details

Eq ParallelAr Source #
Instance details Defined in UsualCategories.Parallel Methods (==) :: ParallelAr -> ParallelAr -> Bool (/=) :: ParallelAr -> ParallelAr -> Bool
Show ParallelAr Source #
Instance details Defined in UsualCategories.Parallel Methods showsPrec :: Int -> ParallelAr -> ShowS show :: ParallelAr -> String showList :: [ParallelAr] -> ShowS
PrettyPrintable ParallelAr Source #
Instance details Defined in UsualCategories.Parallel Methods pprint :: ParallelAr -> String Source #
Morphism ParallelAr ParallelOb Source #
Instance details Defined in UsualCategories.Parallel Methods (@) :: ParallelAr -> ParallelAr -> ParallelAr Source # source :: ParallelAr -> ParallelOb Source # target :: ParallelAr -> ParallelOb Source #
GeneratedFiniteCategory Parallel ParallelAr ParallelOb Source #
Instance details Defined in UsualCategories.Parallel Methods genAr :: Parallel -> ParallelOb -> ParallelOb -> [ParallelAr] Source # decompose :: Parallel -> ParallelAr -> [ParallelAr] Source # genArrows :: Parallel -> [ParallelAr] Source #
FiniteCategory Parallel ParallelAr ParallelOb Source #
Instance details Defined in UsualCategories.Parallel Methods ob :: Parallel -> [ParallelOb] Source # identity :: Parallel -> ParallelOb -> ParallelAr Source # ar :: Parallel -> ParallelOb -> ParallelOb -> [ParallelAr] Source # arrows :: Parallel -> [ParallelAr] Source #

The parallel category.

Constructors

Instances details

Eq Parallel Source #
Instance details Defined in UsualCategories.Parallel Methods (==) :: Parallel -> Parallel -> Bool (/=) :: Parallel -> Parallel -> Bool
Show Parallel Source #
Instance details Defined in UsualCategories.Parallel Methods showsPrec :: Int -> Parallel -> ShowS show :: Parallel -> String showList :: [Parallel] -> ShowS
PrettyPrintable Parallel Source #
Instance details Defined in UsualCategories.Parallel Methods pprint :: Parallel -> String Source #
GeneratedFiniteCategory Parallel ParallelAr ParallelOb Source #
Instance details Defined in UsualCategories.Parallel Methods genAr :: Parallel -> ParallelOb -> ParallelOb -> [ParallelAr] Source # decompose :: Parallel -> ParallelAr -> [ParallelAr] Source # genArrows :: Parallel -> [ParallelAr] Source #
FiniteCategory Parallel ParallelAr ParallelOb Source #
Instance details Defined in UsualCategories.Parallel Methods ob :: Parallel -> [ParallelOb] Source # identity :: Parallel -> ParallelOb -> ParallelAr Source # ar :: Parallel -> ParallelOb -> ParallelOb -> [ParallelAr] Source # arrows :: Parallel -> [ParallelAr] Source #