Index of /data/main/a/agda-stdlib/2.1-4/src/Effect

• Parent Directory
• Applicative.agda
• Applicative/
• Choice.agda
• Comonad.agda
• Empty.agda
• Functor.agda
• Functor/
• Monad.agda
• Monad/