idris-lang/Idris-dev — pull request #1155 by paulkoerbitz (2014-05-01 14:24:06+00:00)
Title: Fix/1047 repl doc for typeclasses

This pull request fixes #1047.

:i has been removed from the repl, :doc Applicative now looks like this:

Type class Applicative

Parameters:
f

Methods:
pure : Applicative f => a -> f a

<$> : Applicative f => (f (a -> b)) -> (f a) -> f b

infixl 2

Instances:
Applicative PrimIO
Applicative IO
Applicative Maybe
Applicative (Either e)
Applicative List
Applicative (Vect k)
Applicative Stream

Subclasses:
Monad m
Alternative f