git.iko.soy/Idris-dev
on dcbab5e help sign in
Idris-dev/libs/base/Control/Monad
6 files
../ Identity.idrRemove needless Prelude imports RWS.idrChanging all lambdas to use comma separated style (e.g. '\x => \y =>' to '\x,y =>') Reader.idrAdd type class and instances for monad transformers State.idrAdd type class and instances for monad transformers Trans.idrAdd type class and instances for monad transformers Writer.idrAdd type class and instances for monad transformers