Definition
A monad transformer consists of:
- A type constructor
tof kind(* -> *) -> * -> * - Monad operations
returnandbind(or an equivalent formulation) for allt mwheremis 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 = returnlift (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)
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth mans fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)
“Im beginning to think that the proper definition of Man is an animal that writes letters.”
—Lewis Carroll [Charles Lutwidge Dodgson] (18321898)