Definition
A monad transformer consists of:
- A type constructor
t
of kind(* -> *) -> * -> *
- Monad operations
return
andbind
(or an equivalent formulation) for allt m
wherem
is a monad, satisfying the monad laws - An additional operation,
lift :: m a -> t m a
, satisfying the following laws: (the notation`bind`
below indicates infix application):lift . return = return
lift (m `bind` k) = (lift m) `bind` (lift . k)
Read more about this topic: Monad Transformer
Famous quotes containing the word definition:
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animalsjust as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)
“Im beginning to think that the proper definition of Man is an animal that writes letters.”
—Lewis Carroll [Charles Lutwidge Dodgson] (18321898)
“One definition of man is an intelligence served by organs.”
—Ralph Waldo Emerson (18031882)