shithub: MicroHs

ref: b4cd0bad3cab41cce85380c127b26af6a8dd083b
dir: /lib/Control/Applicative.hs/

View raw version 
module Control.Applicative(module Control.Applicative) where
import Primitives  -- for fixity
import Data.Functor

infixl 4 <*>

class Functor f => Applicative (f :: Type -> Type) where
  pure  :: forall a . a -> f a
  (<*>) :: forall a b . f (a -> b) -> f a -> f b