Control.Category.Cont

The Cont category

Category laws

data Cont f g

Utility functions

forget

withCont

lift

cont

Example: Composable sorter

Example: Composable actions

Example: Monoid