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

Math.FiniteCategories.One

Description

The 1 category contains one object and its identity.

You can construct it using NumberCategory, it is defined as a standalone category because it is often used unlike other number categories.

Synopsis

data One = One

Documentation

data One Source #

One is a datatype used as the object type, the morphism type and the category type of 1.

Constructors

One

Instances

Instances details

PrettyPrint One Source #
Instance details Defined in Math.FiniteCategories.One Methods pprint :: Int -> One -> String Source # pprintWithIndentations :: Int -> Int -> String -> One -> String Source # pprintIndent :: Int -> One -> String Source #
Simplifiable One Source #
Instance details Defined in Math.FiniteCategories.One Methods simplify :: One -> One #
Generic One Source #
Instance details Defined in Math.FiniteCategories.One Associated Types type Rep One :: Type -> Type # Methods from :: One -> Rep One x # to :: Rep One x -> One #
Show One Source #
Instance details Defined in Math.FiniteCategories.One Methods showsPrec :: Int -> One -> ShowS # show :: One -> String # showList :: [One] -> ShowS #
Eq One Source #
Instance details Defined in Math.FiniteCategories.One Methods (==) :: One -> One -> Bool # (/=) :: One -> One -> Bool #
Morphism One One Source #
Instance details Defined in Math.FiniteCategories.One Methods (@) :: One -> One -> One Source # (@?) :: One -> One -> Maybe One Source # source :: One -> One Source # target :: One -> One Source #
Category One One One Source #
Instance details Defined in Math.FiniteCategories.One Methods identity :: One -> One -> One Source # ar :: One -> One -> One -> Set One Source # genAr :: One -> One -> One -> Set One Source # decompose :: One -> One -> [One] Source #
FiniteCategory One One One Source #
Instance details Defined in Math.FiniteCategories.One Methods ob :: One -> Set One Source #
type Rep One Source #
Instance details Defined in Math.FiniteCategories.One type Rep One = D1 ('MetaData "One" "Math.FiniteCategories.One" "FiniteCategories-0.6.0.1-L2v014CZIYe4CTCeXkyH5k" 'False) (C1 ('MetaCons "One" 'PrefixI 'False) (U1 :: Type -> Type))