¿Es posible una declaración de tipo de ámbito?

Question

¿Es posible hacer lo siguiente:

foo = bar 
    where 
     type A = (Some, Huge, Type, Sig) 

     meh :: A -> (A, A) -> A 

que sólo tendrá que utilizar este tipo de encargo dentro de la cláusula where, por lo que no tiene sentido para definir globalmente.

Answer 1

Esto no es posible. ¿Por qué no simplemente definirlo arriba de la función? No tiene que exportarlo desde el módulo (solo use una lista de exportación explícita).

Por cierto, si realmente tiene un tipo tan grande, es probable que sea una señal de que debe factorizarlo en partes más pequeñas, especialmente si tiene muchas tuplas como sugiere su ejemplo; los tipos de datos serían más apropiados.

Answer 2

En realidad, hay uno, un poco ridícula, camino a la aproximación de esto:

{-# LANGUAGE TypeFamilies #-} 
{-# LANGUAGE ScopedTypeVariables #-} 

foo :: forall abbrv. (abbrv ~ (Some, Huge, Type, Sig)) 
    => abbrv -> abbrv 
foo x = meh x (x, x) 
    where meh :: abbrv -> (abbrv, abbrv) -> abbrv 
     meh x y = {- ... -} 

Realmente no puedo recomendar que permite dos extensiones del lenguaje por el simple hecho de abreviar tipos de firmas, aunque si ya está usándolos (o GADTs en lugar de escribir familias) Supongo que realmente no duele nada.

Tonterías aparte, debería considerar refaccionar sus tipos en casos como este, como sugiere el autor.