====== Annotation for a minimal complete definition ======
~~DISCUSSION~~

Format:<code>{-# MINIMAL function1 | function2 #-}</code>

Minimal pragmas are boolean expressions. For instance, with | as logical OR, either definition of the above functions must be defined. Comma indicates logical AND where both definitions must be defined.

See also: [[http://dev.stephendiehl.com/hask/#minimal-annotations|External Link]]

===== Example =====

<code>
{-# LANGUAGE GADTs #-}

module Main where

main :: IO ()
main = 
        do
                print x

data MayBe' a 
        where
                Just' :: Eq a => a -> MayBe' a
                Nothing' :: Eq a => MayBe' a

class Eq' a where
    (===) :: a -> a -> Bool
    (/==) :: a -> a -> Bool
    (===) x y = not (x /== y)
    x /== y = not (x === y)
    {-# MINIMAL (===) | (/==) #-}


instance Eq' (MayBe' a)
        where
                -- (===) (Just' x) (Just' y) = x == y
                -- (/==) (Just' x) (Just' y) = x /= y

x = (Just' 2) === (Just' 3)
</code>

...provides the warning...

<code>
app\Main.hs:23:10: warning: [-Wmissing-methods]
    * No explicit implementation for
        either `===' or `/=='
    * In the instance declaration for `Eq' (MayBe' a)'
   |
23 | instance Eq' (MayBe' a)
   | 
</code>

...whereas this code...

<code>
instance Eq' (MayBe' a)
        where
                -- (===) (Just' x) (Just' y) = x == y
                (/==) (Just' x) (Just' y) = x /= y

x = (Just' 2) === (Just' 3)
</code>

...leads to the following output:

<code>
False
</code>