License | BSD-style (see the file LICENSE) |
---|---|
Maintainer | sjoerd@w3future.com |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
2, or the Boolean category. It contains 2 objects, one for true and one for false. It contains 3 arrows, 2 identity arrows and one from false to true.
- data Fls
- data Tru
- data Boolean a b where
- trueProductMonoid :: MonoidObject (ProductFunctor Boolean) Tru
- falseCoproductComonoid :: ComonoidObject (CoproductFunctor Boolean) Fls
- trueProductComonoid :: ComonoidObject (ProductFunctor Boolean) Tru
- falseCoproductMonoid :: MonoidObject (CoproductFunctor Boolean) Fls
- trueCoproductMonoid :: MonoidObject (CoproductFunctor Boolean) Tru
- falseProductComonoid :: ComonoidObject (ProductFunctor Boolean) Fls
Documentation
type BinaryCoproduct Boolean Tru Fls Source # | |
type BinaryCoproduct Boolean Fls Tru Source # | |
type BinaryCoproduct Boolean Fls Fls Source # | |
type BinaryProduct Boolean Tru Fls Source # | |
type BinaryProduct Boolean Fls Tru Source # | |
type BinaryProduct Boolean Fls Fls Source # | |
type Exponential Boolean Tru Fls Source # | |
type Exponential Boolean Fls Tru Source # | |
type Exponential Boolean Fls Fls Source # | |
type BinaryCoproduct Boolean Tru Tru Source # | |
type BinaryCoproduct Boolean Tru Fls Source # | |
type BinaryCoproduct Boolean Fls Tru Source # | |
type BinaryProduct Boolean Tru Tru Source # | |
type BinaryProduct Boolean Tru Fls Source # | |
type BinaryProduct Boolean Fls Tru Source # | |
type Exponential Boolean Tru Tru Source # | |
type Exponential Boolean Tru Fls Source # | |
type Exponential Boolean Fls Tru Source # | |
data Boolean a b where Source #