Math.FiniteCategories.One

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.

Documentation

data One

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

Constructors

One

Instances

PrettyPrint One

Defined in Math.FiniteCategories.One

Methods

pprint :: Int -> One -> String

pprintWithIndentations :: Int -> Int -> String -> One -> String

pprintIndent :: Int -> One -> String

Simplifiable One

Defined in Math.FiniteCategories.One

Methods

simplify :: One -> One

Generic One

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

Defined in Math.FiniteCategories.One

Methods

showsPrec :: Int -> One -> ShowS

show :: One -> String

showList :: [One] -> ShowS

Eq One

Defined in Math.FiniteCategories.One

Methods

(==) :: One -> One -> Bool

(/=) :: One -> One -> Bool

Morphism One One

Defined in Math.FiniteCategories.One

Methods

(@) :: One -> One -> One

(@?) :: One -> One -> Maybe One

source :: One -> One

target :: One -> One

Category One One One

Defined in Math.FiniteCategories.One

Methods

identity :: One -> One -> One

ar :: One -> One -> One -> Set One

genAr :: One -> One -> One -> Set One

decompose :: One -> One -> [One]

FiniteCategory One One One

Defined in Math.FiniteCategories.One

Methods

ob :: One -> Set One

type Rep One

Defined in Math.FiniteCategories.One

type Rep One = D1 ('MetaData "One" "Math.FiniteCategories.One" "FiniteCategories-0.6.4.0-inplace" 'False) (C1 ('MetaCons "One" 'PrefixI 'False) (U1 :: Type -> Type))