Restrictive Monad - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Jonathan Lorimer

does anyone have a definition for Restrictive Monad?

Asad Saeeduddin

@Jonathan Lorimer I've never heard of them before, but I found some google search results. Is it not defined where you found the term originally?

Jonathan Lorimer

No, it isn't. I found it in The Book of Monads and it is introduced to refer to Final, Initial, and Free monads

Jonathan Lorimer

Actually, I found something:
"Describing behaviors and processes within a DSL is our main goal in developing a custom monad. But there is another interesting goal, which is providing a restricted view of a set of operations... In general, a restrictive monad comes only with a subset of the operations that the larger monad provides"
i.e. a FileSystem monad to replace IO

Jonathan Lorimer

Okay, this makes sense now, I had read quite a ways past that and just forgot about it I guess