Applicative

Minimal Complete Definition

class Applicative f
  where
    (<*>) :: f (a -> b) -> f a -> f b

Methods

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

• ….

Type Class Laws

• ….