Comment faire des classes de types spécialisées pour certains types, l'implémentation par défaut pour le reste des types

Question

Je voudrais avoir une classe de types de types qui peuvent éventuellement être castés vers d'autres types lorsque c'est possible.

class Castable a b where 
    cast :: a -> Maybe b 
    cast _ = Nothing -- default implementation 

Maintenant, la classe serait mis en œuvre pour certains types et pour tous les autres je voudrais avoir la mise en œuvre par défaut.

Comment on peut faire ça?

Answer 1

Il est pas nécessairement une chose sûre ou Haskell-y faire, mais il est certainement possible, en utilisant OverlappingInstances

D'abord, leur permettre:

{-# LANGUAGE MultiParamTypeClasses #-} 
{-# LANGUAGE FlexibleInstances  #-} 
{-# LANGUAGE OverlappingInstances #-} 

Écrivez votre classe de coulée:

class Castable a b where 
    cast :: a -> Maybe b 
    cast _ = Nothing -- default implementation 

Une instance "optimisée":

instance Castable Int Bool where 
     cast 0 = Just False 
     cast _ = Just True 

et enfin, une instance générale pour tous les types:

instance Castable a b where 

Exemple d'utilisation:

main = do 
    print $ (cast (7 :: Int) :: Maybe Bool) 
    print $ (cast (7 :: Int) :: Maybe Integer) 

L'exécution de cette, la valeur par défaut est choisie lorsque les types ne sont pas spécialisés:

*Main> main 
Just True 
Nothing