shithub: MicroHs

ref: 2367ff5c285d2343b48b8f9f3eea112c1eb657e6
dir: /lib/Control/Applicative.hs/

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

infixl 4 <*>
infixl 4 *>
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
  (*>)  :: forall a b . f a -> f b -> f b
  (<*)  :: forall a b . f a -> f b -> f a
  a1 *> a2 = (id <$ a1) <*> a2
  a1 <* a2 = (const <$> a1) <*> a2