Math.FiniteCategoryError

Provide a function to test the structure of a FiniteCategory.

Check structure

data FiniteCategoryError m o

A data type to represent an incoherence inside a finite category.

Instances

(Eq m, Eq o) => Eq (FiniteCategoryError m o)

Defined in Math.FiniteCategoryError

Methods

(==) :: FiniteCategoryError m o -> FiniteCategoryError m o -> Bool

(/=) :: FiniteCategoryError m o -> FiniteCategoryError m o -> Bool

(Show m, Show o) => Show (FiniteCategoryError m o)

Defined in Math.FiniteCategoryError

Methods

showsPrec :: Int -> FiniteCategoryError m o -> ShowS

show :: FiniteCategoryError m o -> String

showList :: [FiniteCategoryError m o] -> ShowS

checkFiniteCategory :: (FiniteCategory c m o, Morphism m o, Eq m, Eq o) => c -> Maybe (FiniteCategoryError m o)

Checks the category axioms for a FiniteCategory.

If an error is found in the category, Just a FiniteCategoryError is returned. Otherwise, Nothing is returned.