S | |
1 (Data Constructor) | Data.Category.Dialg |
2 (Data Constructor) | Data.Category.NNO |
3 (Type/Class) | Data.Category.Simplex |
4 (Data Constructor) | Data.Category.Cube |
5 (Type/Class) | Data.Category.Cube |
S0 | Data.Category.Cube |
Sign | Data.Category.Cube |
Sign0 | Data.Category.Cube |
Simplex | Data.Category.Simplex |
SM | Data.Category.Cube |
SP | Data.Category.Cube |
src | Data.Category |
srcF | Data.Category.NaturalTransformation |
State | Data.Category.CartesianClosed |
stateMonadJoin | Data.Category.CartesianClosed |
stateMonadReturn | Data.Category.CartesianClosed |
suc | Data.Category.Simplex |
succ | Data.Category.NNO |
Swap | Data.Category.Functor |
swap | Data.Category.Functor |