idris-0.9.0: lib/prelude/applicative.idr

module prelude.applicative

import builtins

---- Applicative functors/Idioms

infixl 2 <$> 

class Applicative (f : Set -> Set) where 
    pure  : a -> f a
    (<$>) : f (a -> b) -> f a -> f b