Yoba

yoba.hs

module Main where

import qualified Control.Exception as E
import           Data.Data (Typeable)


data MyYobaException a = MyYobaException a deriving (Show, Typeable)

data Huy   = Huy deriving (Show, Typeable)
data Pizda = Pizda deriving (Show, Typeable)

instance (Show a, Typeable a) => E.Exception (MyYobaException a)


main :: IO ()
main = do
  catcher $ E.throwIO (MyYobaException Huy)
  catcher $ E.throwIO (MyYobaException Pizda)

catcher :: IO () -> IO ()
catcher io =
  io `E.catches`
    [ E.Handler (\(_ :: MyYobaException Huy) -> print "Huy")
    , E.Handler (\(_ :: MyYobaException Pizda) -> print "Pizda")
    ]