data-category-0.11: Category theory

License	BSD-style (see the file LICENSE)
Maintainer	sjoerd@w3future.com
Stability	experimental
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Category.Enriched.Poset3

Description

Documentation

data One Source #

data Two Source #

data Three Source #

data PosetTest a b where Source #

Constructors

One :: PosetTest One One
Two :: PosetTest Two Two
Three :: PosetTest Three Three

Instances

Instances details

ECategory PosetTest Source #
Instance details Defined in Data.Category.Enriched.Poset3 Associated Types type V PosetTest :: Type -> Type -> Type Source # type PosetTest $ ab Source # Methods hom :: Obj PosetTest a -> Obj PosetTest b -> Obj (V PosetTest) (PosetTest $ (a, b)) Source # id :: Obj PosetTest a -> Arr PosetTest a a Source # comp :: Obj PosetTest a -> Obj PosetTest b -> Obj PosetTest c -> V PosetTest (BinaryProduct (V PosetTest) (PosetTest $ (b, c)) (PosetTest $ (a, b))) (PosetTest $ (a, c)) Source #
type V PosetTest Source #
Instance details Defined in Data.Category.Enriched.Poset3 type V PosetTest = Boolean
type PosetTest $ (a, b) Source #
Instance details Defined in Data.Category.Enriched.Poset3 type PosetTest $ (a, b) = Poset3 a b

type family Poset3 a b where ... Source #

Equations

Poset3 Two One = Fls
Poset3 Three One = Fls
Poset3 Three Two = Fls
Poset3 a b = Tru