Searched defs:ReaderM (Results 1 – 2 of 2) sorted by relevance
112 instance ReaderM (Reader i) i where ask = derive_ask iso_R function
508 => ReaderM (WriterT i m) j where ask = t_ask function