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

UsualCategories.One

Description

The 1 category contains a unique object and its identity.

Synopsis

Documentation

A type that serves the purpose of being the 1 category, its object and its identity.

Constructors

Instances details

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